Added regression test for Ticket 11822 - FP knownConditionTrueFalse

danmar · Jul 1, 2024 · 7814411 · 7814411
1 parent 84782cc
commit 7814411
Showing 1 changed file with 19 additions and 1 deletion.
diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -4633,7 +4633,7 @@ class TestCondition : public TestFixture {
               "}\n");
         ASSERT_EQUALS("", errout_str());
 
-        check("int h();\n"
+        check("int h();\n" // #12858
               "bool g() {\n"
               "    bool b{};\n"
               "    try {\n"
@@ -4652,6 +4652,24 @@ class TestCondition : public TestFixture {
               "    if (g()) {}\n"
               "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        check("int f(int x, int y) {\n" // #11822
+              "    if (x) {\n"
+              "        switch (y) {\n"
+              "        case 1:\n"
+              "            return 7;\n"
+              "        }\n"
+              "    }\n"
+              " \n"
+              "    if (y)\n"
+              "        return 8;\n"
+              " \n"
+              "    if (x)\n"
+              "        return 9;\n"
+              " \n"
+              "    return 0;\n"
+              "}");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void alwaysTrueSymbolic()