Fix #13475 FP unreachableCode for empty statement (danmar#7136)

Author: chrchr-github

lib/checkother.cpp

@@ -903,6 +903,8 @@ void CheckOther::checkUnreachableCode()
             }
             while (Token::simpleMatch(secondBreak, "}") && secondBreak->scope()->type == Scope::ScopeType::eUnconditional)
                 secondBreak = secondBreak->next();
+            if (Token::simpleMatch(secondBreak, ";"))
+                continue;
 
             // Statements follow directly, no line between them. (#3383)
             // TODO: Try to find a better way to avoid false positives due to preprocessor configurations.

test/testother.cpp

@@ -5644,6 +5644,11 @@ class TestOther : public TestFixture {
               "    } while (i < 10);\n"
               "}\n");
         ASSERT_EQUALS("[test.cpp:5]: (style) 'continue' is redundant since it is the last statement in a loop.\n", errout_str());
+
+        check("int f() {\n" // #13475
+              "    { return 0; };\n"
+              "}\n");
+        ASSERT_EQUALS("", errout_str());
     }