S2259: Add FP repro for #6241

SonarSource · Oct 25, 2022 · 2bd1cb4 · 2bd1cb4
1 parent e11100d
commit 2bd1cb4
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/...tests/SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/NullPointerDereference.cs b/...tests/SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/NullPointerDereference.cs
@@ -1703,3 +1703,33 @@ public void StringIsNullOrEmpty(string value)
         }
     }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/6241
+public class Repro_6241<T>
+{
+    public void WithGenericValue()
+    {
+        HashSet<T> value = null;
+        if (value is null)
+        {
+            value.ToString(); // FN
+        }
+        else
+        {
+            value.ToString(); // Noncompliant FP
+        }
+    }
+
+    public void WithNormalValue(List<object> inputs)
+    {
+        HashSet<object> value = null;
+        if (value is null)
+        {
+            value.ToString(); // Noncompliant
+        }
+        else
+        {
+            value.ToString(); // Compliant
+        }
+    }
+}