S2589: Add FP Repro for #8570 (#8759)

analyzers/tests/SonarAnalyzer.Test/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs

@@ -2266,7 +2266,7 @@ static void CompliantMethod5(string[] args)
         private bool Cond = new Random().Next() % 2 == 1;
     }
 
-    
+
 
     class Repro2442
     {
@@ -4033,4 +4033,26 @@ void Method()
         }
         Console.WriteLine(success);
     }
-}
+}
+
+// https://github.com/SonarSource/sonar-dotnet/issues/8570
+class Repro_8570
+{
+    void Method(int[] more)
+    {
+        var list = new List<int>();
+        list.AddRange(more);
+
+        if (list.Count == 0)            // Noncompliant {{Change this condition so that it does not always evaluate to 'False'. Some code paths are unreachable.}}
+                                        // FP, we do not know if "more" is empty or not
+        {
+            Console.WriteLine();        // Secondary FP
+        }
+
+        if (list.Count() != 0)          // Noncompliant {{Change this condition so that it does not always evaluate to 'True'.}}
+                                        // FP, we do not know if "more" is empty or not
+        {
+            Console.WriteLine();
+        }
+    }
+}