Add test for #11731

chrchr-github · Aug 11, 2023 · ff08154 · ff08154
1 parent 98afe8e
commit ff08154
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/testuninitvar.cpp b/test/testuninitvar.cpp
@@ -6160,6 +6160,15 @@ class TestUninitVar : public TestFixture {
                         "    init(s2.s1.a);\n"
                         "}\n");
         ASSERT_EQUALS("", errout.str());
+
+        valueFlowUninit("struct S { int i; };\n" // #11731
+                        "void f(const S*& p);\n"
+                        "int g() {\n"
+                        "   const S* s;\n"
+                        "   f(s);\n"
+                        "   return s->i;\n"
+                        "}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 
     void valueFlowUninitBreak() { // Do not show duplicate warnings about the same uninitialized value