Fix #14864 FN knownConditionTrueFalse with default initialized user type pointer (#8672)

Author: chrchr-github

lib/valueflow.cpp

@@ -4099,6 +4099,8 @@ static bool isVariableInit(const Token *tok)
         return false;
     if (var->nameToken() != tok->astOperand1())
         return false;
+    if (var->isPointer())
+        return true;
     const ValueType* vt = var->valueType();
     if (!vt)
         return false;

test/testvalueflow.cpp

@@ -3188,6 +3188,18 @@ class TestValueFlow : public TestFixture {
                "    return x;\n"
                "}\n";
         ASSERT_EQUALS(true, testValueOfXKnown(code, 3U, -1));
+
+        code = "A* f() {\n" // #14864
+               "    A* x{};\n"
+               "    return x;\n"
+               "}\n";
+        ASSERT_EQUALS(true, testValueOfXKnown(code, 3U, 0));
+
+        code = "A* f() {\n"
+               "    A* x{ nullptr };\n"
+               "    return x;\n"
+               "}\n";
+        ASSERT_EQUALS(true, testValueOfXKnown(code, 3U, 0));
     }
 
     void valueFlowAfterSwap()