S2583: Add FP repro for #8470

SonarSource · Dec 18, 2023 · 4e9ed5c · 4e9ed5c
1 parent 2adeba2
commit 4e9ed5c
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/...SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs b/...SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs
@@ -3483,3 +3483,21 @@ public static void Foo()
         }
     }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/8470
+public class Repro_8470
+{
+    public string Go()
+    {
+        double t = 0.5;
+        if (t <= 0)
+        {
+            return "a";
+        }
+        if (t >= 1) // Noncompliant FP
+        {
+            return "b";
+        }
+        return "c"; // Secondary FP
+    }
+}