Uninitialized variables: Fixed false positives for loops. Ticket: #3369

lib/checkuninitvar.cpp

@@ -1115,6 +1115,12 @@ bool CheckUninitVar::checkScopeForVariable(const Token *tok, const unsigned int
             }
         }
 
+        // TODO: handle loops etc
+        if (Token::simpleMatch(tok, ") {")) {
+            ret = true;
+            return false;
+        }
+
         if (Token::Match(tok, "return|break|continue|throw"))
             ret = true;
 

test/testuninitvar.cpp

@@ -1754,6 +1754,16 @@ private:
                         "}\n");
         ASSERT_EQUALS("", errout.str());
 
+        // for, while
+        checkUninitVar2("void f() {\n"
+                        "    int x;\n"
+                        "    while (a) {\n"
+                        "        if (b) x++;\n"
+                        "        else x = 0;\n"
+                        "    }\n"
+                        "}\n");
+        ASSERT_EQUALS("", errout.str());
+
         // exit
         checkUninitVar2("void f() {\n"
                         "    int x;\n"