Add test for #8192

danmar · Dec 13, 2023 · e95caf6 · e95caf6
1 parent ad35c54
commit e95caf6
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -5194,6 +5194,16 @@ class TestCondition : public TestFixture {
               "    for (int i = 0; i < N; a[i++] = false);\n"
               "}\n");
         ASSERT_EQUALS("", errout.str());
+
+        check("void f() {\n" // #8192
+              "    for (int i = 0; i > 10; ++i) {}\n"
+              "}\n");
+        TODO_ASSERT_EQUALS("[test.cpp:2]: (style) Condition 'i>10' is always false\n", "", errout.str());
+
+        check("void f() {\n"
+              "    for (int i = 1000; i < 20; ++i) {}\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:2]: (style) Condition 'i<20' is always false\n", errout.str());
     }
 
     void alwaysTrueTryCatch()