Add reproducer for #8378

SonarSource · Nov 29, 2023 · 2b7764d · 2b7764d
1 parent 2bfacf0
commit 2b7764d
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/...SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs b/...SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs
@@ -3391,3 +3391,25 @@ public void Method()
     void DoSomeWork() { }
     void LogError(Exception exception) { }
 }
+
+
+// Reproducer for https://github.com/SonarSource/sonar-dotnet/issues/8378
+public class Repro_8378
+{
+    public void Method()
+    {
+        var success = true;
+        try
+        {
+            var result = 100 / DateTime.Now.Second;
+        }
+        catch (Exception ex)
+        {
+            success = false;
+        }
+        if (success)    // NoncompliantFP
+        {
+            Console.WriteLine("Success!");
+        }
+    }
+}