Fix #13918 FP doubleFree reported for struct member freed in ifs (danmar#7619)

Author: chrchr-github

lib/checkleakautovar.cpp

@@ -1024,7 +1024,7 @@ void CheckLeakAutoVar::functionCall(const Token *tokName, const Token *tokOpenin
             arg = arg->astOperand2() ? arg->astOperand2() : arg->astOperand1();
         const Token * const argTypeStartTok = arg;
 
-        while (Token::Match(arg, "%name% .|:: %name%"))
+        while (Token::Match(arg, "%name% :: %name%"))
             arg = arg->tokAt(2);
 
         if ((Token::Match(arg, "%var% [-,)] !!.") && !(arg->variable() && arg->variable()->isArray())) ||

test/testleakautovar.cpp

@@ -108,6 +108,7 @@ class TestLeakAutoVar : public TestFixture {
         TEST_CASE(doublefree15);
         TEST_CASE(doublefree16);
         TEST_CASE(doublefree17); // #8109: delete with comma operator
+        TEST_CASE(doublefree18);
 
         // exit
         TEST_CASE(exit1);
@@ -1801,6 +1802,18 @@ class TestLeakAutoVar : public TestFixture {
         ASSERT_EQUALS("[test.cpp:5:5] -> [test.cpp:6:16]: (error) Memory pointed to by 'c' is freed twice. [doubleFree]\n", errout_str());
     }
 
+    void doublefree18() {
+        check("typedef struct {\n" // #13918
+              "    FILE * fp;\n"
+              "} S;\n"
+              "void f(S* s, FILE* x) {\n"
+              "    if (fclose(s->fp)) {}\n"
+              "    s->fp = x;\n"
+              "    if (fclose(s->fp)) {}\n"
+              "}\n");
+        ASSERT_EQUALS("", errout_str());
+    }
+
     void exit1() {
         check("void f() {\n"
               "    char *p = malloc(10);\n"