Fix #13844 FP knownConditionTrueFalse when passing callable to template function (#8832)

Author: chrchr-github

lib/astutils.cpp

@@ -1159,6 +1159,8 @@ bool exprDependsOnThis(const Token* expr, bool onVar, nonneg int depth)
         }
         if (expr->isOperatorKeyword() && !Token::simpleMatch(expr->next()->astParent(), "."))
             return true;
+        if (expr->variable() && expr->variable()->isArgument() && !expr->variable()->type() && expr->variable()->scope()->function && expr->variable()->scope()->function->templateDef)
+            return true;
     }
     if (onVar && expr->variable()) {
         const Variable* var = expr->variable();

test/testvalueflow.cpp

@@ -3257,6 +3257,17 @@ class TestValueFlow : public TestFixture {
                "    if (x) {}\n"
                "}\n";
         ASSERT_EQUALS(true, testValueOfXKnown(code, 5U, 0));
+
+        code = "struct S {\n" // #13844
+               "    int x{};\n"
+               "    template <typename T>\n"
+               "    void f(T t) {\n"
+               "        x = 0;\n"
+               "        t();\n"
+               "        if (x == 0) {}\n"
+               "    }\n"
+               "};\n";
+        ASSERT_EQUALS(false, testValueOfXKnown(code, 7U, 0));
     }
 
     void valueFlowAfterSwap()