Another fix for #12393 Stack overflow in accumulateStructMembers() (#…

…5934)
danmar · Feb 2, 2024 · 998ffe3 · 998ffe3
1 parent 63ac630
commit 998ffe3
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -1139,7 +1139,7 @@ static size_t bitCeil(size_t x)
 
 static size_t getAlignOf(const ValueType& vt, const Settings& settings)
 {
-    if (vt.pointer || vt.isPrimitive()) {
+    if (vt.pointer || vt.reference != Reference::None || vt.isPrimitive()) {
         auto align = ValueFlow::getSizeOf(vt, settings);
         return align == 0 ? 0 : bitCeil(align);
     }
@@ -1161,7 +1161,7 @@ static nonneg int getSizeOfType(const Token *typeTok, const Settings &settings)
 
 size_t ValueFlow::getSizeOf(const ValueType &vt, const Settings &settings)
 {
-    if (vt.pointer)
+    if (vt.pointer || vt.reference != Reference::None)
         return settings.platform.sizeof_pointer;
     if (vt.type == ValueType::Type::BOOL || vt.type == ValueType::Type::CHAR)
         return 1;

diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp
@@ -1448,6 +1448,16 @@ class TestValueFlow : public TestFixture {
         values = tokenValues(code, "( X )");
         ASSERT_EQUALS(1U, values.size());
         ASSERT_EQUALS(12, values.back().intvalue);
+
+        code = "struct T;\n"
+               "struct S { T& r; };\n"
+               "struct T { S s{ *this }; };\n"
+               "void f() {\n"
+               "    sizeof(T) == sizeof(void*);\n"
+               "}\n";
+        values = tokenValues(code, "==");
+        ASSERT_EQUALS(1U, values.size());
+        ASSERT_EQUALS(1LL, values.back().intvalue);
     }
 
     void valueFlowComma()