From 02150e741d374f85c814d84c937811f0b1219c7c Mon Sep 17 00:00:00 2001 From: Paul Fultz II Date: Wed, 30 Oct 2019 06:12:02 -0500 Subject: [PATCH] Fix issue 7836: Add regression test (#2308) --- test/testuninitvar.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test/testuninitvar.cpp b/test/testuninitvar.cpp index 3bc79ddd8..7cae853c7 100644 --- a/test/testuninitvar.cpp +++ b/test/testuninitvar.cpp @@ -4272,6 +4272,15 @@ private: " if (a) {}\n" "}"); ASSERT_EQUALS("[test.cpp:8]: (error) Uninitialized variable: a\n", errout.str()); + + valueFlowUninit("void test(int p) {\n" + " int f;\n" + " if (p > 0)\n" + " f = 0;\n" + " if (p > 1)\n" + " f += 1;\n" + "}\n"); + ASSERT_EQUALS("", errout.str()); } void uninitvar_ipa() {