cppcheck-opensource#8206 - Added a regression test

orbitcowboy · orbitcowboy · commit b5719418ea46 · 2021-04-09T08:53:01.000+02:00
diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -3087,6 +3087,14 @@ class TestCondition : public TestFixture {
               "}");
         ASSERT_EQUALS("", errout.str());
 
+        // #8206 - knownCondition always false
+        check("void f(int i)\n"
+"{\n"
+"        if(i > 4)\n"
+"          for( int x = 0; i < 3; ++x){}\n" // << 
+"}");
+        ASSERT_EQUALS("[test.cpp:3] -> [test.cpp:4]: (style) Condition 'i<3' is always false\n", errout.str());
+
         // Skip literals
         check("void f() { if(true) {} }");
         ASSERT_EQUALS("", errout.str());
