From 7814411c4f63cc1c6ad5331e78208833c0044cab Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Mon, 1 Jul 2024 22:05:39 +0200
Subject: [PATCH] Added regression test for Ticket 11822 - FP
 knownConditionTrueFalse

---
 test/testcondition.cpp | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/test/testcondition.cpp b/test/testcondition.cpp
index 458ddf6e717..3d317934288 100644
--- 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()