S3900: Add Repro for #9500 (#9501)

SonarSource · Jul 4, 2024 · 91b02b7 · 91b02b7
1 parent 7333beb
commit 91b02b7
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/...er.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs b/...er.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs
@@ -861,3 +861,12 @@ public void Method(object @event)
         @event.ToString(); // Noncompliant {{Refactor this method to add validation of parameter '@event' before using it.}}
     }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/9500
+public class Repro_9500
+{
+    void Method(List<int> list)
+    {
+        _ = list.Where(x => true);  // FN
+    }
+}