From fd3befe60a23e16887a7f4089eed336cba13f046 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sat, 17 Jun 2023 15:45:28 +0200
Subject: [PATCH] Added a regression test for FP #10681 uninitvar. (#5168)

Test case is from: https://trac.cppcheck.net/ticket/10681#comment:10
---
 test/testuninitvar.cpp | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/test/testuninitvar.cpp b/test/testuninitvar.cpp
index 995a1c81c..1dc1e647f 100644
--- a/test/testuninitvar.cpp
+++ b/test/testuninitvar.cpp
@@ -6875,6 +6875,23 @@ private:
                         "}\n");
         ASSERT_EQUALS("", errout.str());
 
+        valueFlowUninit("struct S {\n"
+                        "   int t[1];\n"
+                        "   int u;\n"
+                        "};\n"
+                        "\n"
+                        "int f(const S* ps) {\n"
+                        "   return ps->t[0];\n"
+                        "}\n"
+                        "\n"
+                        "int main(void)\n"
+                        "{\n"
+                        "   S s;\n"
+                        "   s.t[0] = 1;\n"
+                        "   f(&s);\n"
+                        "}");
+        ASSERT_EQUALS("", errout.str());
+
         valueFlowUninit("struct X {\n"
                         "   int a, b;\n"
                         "};\n"