Ticket #8407: Added regression test

orbitcowboy · orbitcowboy · commit f09b4139fe8c · 2021-10-12T09:42:18.000+02:00
diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -4031,6 +4031,15 @@ class TestCondition : public TestFixture {
               "}");
         ASSERT_EQUALS("[test.cpp:3]: (style) Condition 'x==-5' is always false\n", errout.str());
 
+        // #8407
+        check("int f(void) {\n"
+              "    for(int i = 0; i <1; ++i)\n"
+              "        if(i == 0) return 1; \n" // <<
+              "        else return 0;\n"
+              "    return -1;\n"
+              "}");
+        ASSERT_EQUALS("[test.cpp:3]: (style) Condition 'i==0' is always true\n", errout.str());
+
         check("void f(unsigned int u1, unsigned int u2) {\n"
               "    if (u1 <= 10 && u2 >= 20) {\n"
               "        if (u1 != u2) {}\n"
