Fix #13313 FP knownArgument with macro (#7013)

Author: chrchr-github

Diff for: lib/checkother.cpp

@@ -3902,7 +3902,7 @@ void CheckOther::checkKnownArgument()
     const SymbolDatabase *symbolDatabase = mTokenizer->getSymbolDatabase();
     for (const Scope *functionScope : symbolDatabase->functionScopes) {
         for (const Token *tok = functionScope->bodyStart; tok != functionScope->bodyEnd; tok = tok->next()) {
-            if (!tok->hasKnownIntValue())
+            if (!tok->hasKnownIntValue() || tok->isExpandedMacro())
                 continue;
             if (Token::Match(tok, "++|--|%assign%"))
                 continue;

Diff for: test/testother.cpp

@@ -12195,6 +12195,12 @@ class TestOther : public TestFixture {
         ASSERT_EQUALS("[test.cpp:3]: (style) Argument 'i-1*i' to init list { is always 0. It does not matter what value 'i' has.\n"
                       "[test.cpp:4]: (style) Argument 'i-1*i' to constructor S is always 0. It does not matter what value 'i' has.\n",
                       errout_str());
+
+        checkP("#define MACRO(X) std::abs(X ? 0 : a)\n"
+               "int f(int a) {\n"
+               "    return MACRO(true);\n"
+               "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void knownArgumentHiddenVariableExpression() {