Fix #14191 FP uninitvar with conditional pointer reassignment (danmar#7875)

Co-authored-by: chrchr-github <[email protected]>

Author: chrchr-github

lib/vf_analyzers.cpp

@@ -608,6 +608,8 @@ struct ValueFlowAnalyzer : Analyzer {
             for (const ValueFlow::Value& v:ref->astOperand1()->values()) {
                 if (!v.isLocalLifetimeValue())
                     continue;
+                if (v.conditional)
+                    continue;
                 if (lifeTok)
                     return Action::None;
                 lifeTok = v.tokvalue;

test/testuninitvar.cpp

@@ -7936,6 +7936,20 @@ class TestUninitVar : public TestFixture {
                         "    return s;\n"
                         "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        valueFlowUninit("struct S { int i; };\n" // #14191
+                        "bool g(S*);\n"
+                        "void f( struct S *p) {\n"
+                        "    struct S s;\n"
+                        "    if (!p) {\n"
+                        "        p = &s;\n"
+                        "        if (g(p))\n"
+                        "            return;\n"
+                        "    }\n"
+                        "    printf(\"%i\", p->i);\n"
+                        "    p = &s;\n"
+                        "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     template<size_t size>