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