From 8d97cce81bb17ba7a206df319da43df9871daef4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 25 May 2021 07:31:01 +0200 Subject: [PATCH] Uninitialized variables; Added true positive test --- test/testuninitvar.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/testuninitvar.cpp b/test/testuninitvar.cpp index 414ba2457..5acb6289c 100644 --- a/test/testuninitvar.cpp +++ b/test/testuninitvar.cpp @@ -1625,6 +1625,12 @@ private: "}\n"); ASSERT_EQUALS("", errout.str()); + checkUninitVar("void foo() {\n" + " char buf[1024];\n" + " char x = *(char *) (((uintptr_t) buf + 63) & ~(uintptr_t) 63);\n" + "}\n"); + ASSERT_EQUALS("[test.cpp:3]: (error) Uninitialized variable: buf\n", errout.str()); + // Passing array to function checkUninitVar("void f(int i);\n" "void foo()\n"