From fe3bf914e5f6fbfe34f7053982cdf16a0efcb706 Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Sat, 13 Apr 2024 15:32:21 +0200
Subject: [PATCH] Add test for #12401 (#6289)

---
 test/testuninitvar.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/test/testuninitvar.cpp b/test/testuninitvar.cpp
index 08b1a0908d3..ade4a61cbd6 100644
--- a/test/testuninitvar.cpp
+++ b/test/testuninitvar.cpp
@@ -7502,6 +7502,16 @@ class TestUninitVar : public TestFixture {
                         "  int len = strlen(arr);\n"
                         "}\n");
         ASSERT_EQUALS("[test.cpp:8]: (error) Uninitialized variable: arr\n", errout_str());
+
+        valueFlowUninit("struct S1 { int x; };\n" // #12401
+                        "struct S2 { struct S1 s1; };\n"
+                        "struct S2 f() {\n"
+                        "    struct S2 s2;\n"
+                        "    struct S1* s1 = &s2.s1;\n"
+                        "    s1->x = 0;\n"
+                        "    return s2;\n"
+                        "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void uninitvar_memberfunction() {