Fix #12244 FN: unreachableCode with unconditional scope (#7130)

Author: chrchr-github

lib/checkother.cpp

@@ -887,6 +887,8 @@ void CheckOther::checkUnreachableCode()
                         tok2 = tok2->link();
                     if (tok2->str() == ";") {
                         secondBreak = tok2->next();
+                        while (Token::simpleMatch(secondBreak, "}") && secondBreak->scope()->type == Scope::ScopeType::eUnconditional)
+                            secondBreak = secondBreak->next();
                         break;
                     }
                 }

test/testother.cpp

@@ -5606,6 +5606,15 @@ class TestOther : public TestFixture {
               "    } while (0);\n"
               "}\n");
         ASSERT_EQUALS("[test.cpp:4]: (style) Statements following 'break' will never be executed.\n", errout_str());
+
+        check("void f() {\n" // #12244
+              "    {\n"
+              "        std::cout << \"x\";\n"
+              "        return;\n"
+              "    }\n"
+              "    std::cout << \"y\";\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:6]: (style) Statements following 'return' will never be executed.\n", errout_str());
     }
 
     void redundantContinue() {