Uninitvar: Added TODO test case for false negatives. Related with #4652

2013-06-02 18:26:03 +02:00 · 2013-06-02 18:26:03 +02:00 · 2d955bb9a6
parent ffb5317c61
commit 2d955bb9a6
1 changed files with 9 additions and 0 deletions
--- a/test/testuninitvar.cpp
+++ b/test/testuninitvar.cpp
@ -2627,6 +2627,15 @@ private:
                        "    }\n"
                        "}");
        ASSERT_EQUALS("", errout.str());
+
+        checkUninitVar2("void f(int x) {\n"
+                        "    int i;\n"
+                        "    if (x) i = 0;\n"
+                        "    while (condition) {\n"
+                        "        i++;\n"
+                        "    }\n"
+                        "}");
+        TODO_ASSERT_EQUALS("error", "", errout.str());
    }

    void uninitvar2_structmembers() { // struct members