Fix #13208 FP knownConditionTrueFalse with local type definition (danmar#6902)

Author: chrchr-github

lib/valueflow.cpp

@@ -3022,6 +3022,11 @@ static void valueFlowAfterAssign(TokenList &tokenlist,
             continue;
         std::unordered_map<nonneg int, std::unordered_set<nonneg int>> backAssigns;
         for (auto* tok = const_cast<Token*>(scope->bodyStart); tok != scope->bodyEnd; tok = tok->next()) {
+            if (!tok->scope()->isExecutable()) {
+                tok = const_cast<Token*>(tok->scope()->bodyEnd); // skip local type definition
+                continue;
+            }
+
             // Assignment
             bool isInit = false;
             if (tok->str() != "=" && !(isInit = isVariableInit(tok)))

test/testvalueflow.cpp

@@ -2840,6 +2840,18 @@ class TestValueFlow : public TestFixture {
                "    return x;\n"
                "}";
         ASSERT_EQUALS(true, testValueOfX(code, 4U, 123));
+
+        code = "bool f() {\n" // #13208
+               "    struct S {\n"
+               "        bool b = true;\n"
+               "        bool get() const { return b; }\n"
+               "    };\n"
+               "    S s;\n"
+               "    s.b = false;\n"
+               "    bool x = s.get();\n"
+               "    return x;\n"
+               "}\n";
+        ASSERT_EQUALS(false, testValueOfXKnown(code, 9U, 1));
     }
 
     void valueFlowAfterSwap()