Repro for #890

SonarSource · Aug 8, 2019 · 1bd602e · 1bd602e
1 parent f0e079d
commit 1bd602e
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/sonaranalyzer-dotnet/tests/SonarAnalyzer.UnitTest/TestCases/NullPointerDereference.cs b/sonaranalyzer-dotnet/tests/SonarAnalyzer.UnitTest/TestCases/NullPointerDereference.cs
@@ -705,4 +705,18 @@ public static IEnumerable<string> LoopWithYeildBreak(IEnumerable<string> list)
         }
 
     }
+
+    // see https://github.com/SonarSource/sonar-dotnet/issues/890
+    class TestForLoop
+    {
+        string Foo()
+        {
+            string s = null;
+            for (int i = 0; i < 10; i++)
+            {
+                s = "";
+            }
+            return s.Trim(); // Noncompliant FP due to loop traversal
+        }
+    }
 }