Update testcondition.cpp

danmar · Aug 23, 2024 · 53ff026 · 53ff026
1 parent 9c65e40
commit 53ff026
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -4893,6 +4893,15 @@ class TestCondition : public TestFixture {
               "      }\n"
               "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        check("void f(bool a, bool b) {\n" // #12937
+              "    bool c = !a && b;\n"
+              "    if (a) {}\n"
+              "    else {\n"
+              "        if (c) {}\n"
+              "    }\n"
+              "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void alwaysTrueInfer() {