fixed #13743 - FP AssignmentAddressToInteger for double cast

Author: firewave

lib/token.cpp

@@ -134,8 +134,7 @@ void Token::update_property_info()
             else if (mStr == "asm") { // TODO: not a keyword
                 tokType(eKeyword);
             }
-            // TODO: remove condition? appears to be (no longer necessary) protection for reset of varids in Tokenizer::setVarId()
-            else if (mTokType != eVariable && mTokType != eFunction && mTokType != eType && mTokType != eKeyword) {
+            else {
                 tokType(eName);
                 // some types are not being treated as keywords
                 update_property_isStandardType();
@@ -183,8 +182,7 @@ void Token::update_property_info()
     } else {
         tokType(eNone);
     }
-    // TODO: make sure varid is only set for eVariable
-    //assert(!mImpl->mVarId || mTokType == eVariable);
+    assert(!mImpl->mVarId || mTokType == eVariable);
     // TODO: validate type for linked token?
 }
 

lib/token.h

@@ -956,15 +956,7 @@ class CPPCHECKLIB Token {
             return;
 
         mImpl->mVarId = id;
-        // TODO: remove special handling?
-        if (id != 0) {
-            tokType(eVariable);
-            isStandardType(false);
-            // TODO: clear fIsLong
-            // TODO: clear fIsControlFlowKeyword
-        } else {
-            update_property_info();
-        }
+        update_property_info();
     }
 
     nonneg int exprId() const {

lib/tokenize.cpp

@@ -3543,6 +3543,7 @@ void Tokenizer::combineOperators()
             }
             if (simplify) {
                 tok->str(tok->str() + ":");
+                tok->tokType(Token::Type::eKeyword); // we need to preserve the keyword type after setting a non-keyword string
                 tok->deleteNext();
             }
         } else if (tok->str() == "->") {
@@ -10278,6 +10279,8 @@ void Tokenizer::simplifyOperatorName()
     for (Token *tok = list.front(); tok; tok = tok->next()) {
         if (Token::Match(tok, "using|:: operator %op%|%name% ;")) {
             tok->next()->str("operator" + tok->strAt(2));
+            tok->next()->tokType(Token::Type::eKeyword); // we need to preserve the keyword type after setting a non-keyword string
+            // TODO: tok->next()->isOperatorKeyword(true);
             tok->next()->deleteNext();
             continue;
         }
@@ -10287,6 +10290,8 @@ void Tokenizer::simplifyOperatorName()
         // operator op
         if (Token::Match(tok, "operator %op% (") && !operatorEnd(tok->linkAt(2))) {
             tok->str(tok->str() + tok->strAt(1));
+            tok->tokType(Token::Type::eKeyword); // we need to preserve the keyword type after setting a non-keyword string
+            // TODO: tok->isOperatorKeyword(true);
             tok->deleteNext();
             continue;
         }
@@ -10359,11 +10364,15 @@ void Tokenizer::simplifyOperatorName()
         const bool returnsRef = Token::simpleMatch(par, "( & (") && tok->next()->isName();
         if (par && !op.empty()) {
             if (returnsRef) {
-                par->next()->insertToken("operator" + op)->isOperatorKeyword(true);
+                Token* tok_op = par->next()->insertToken("operator" + op);
+                // TODO: tok_op->tokType(Token::Type::eKeyword); // the given token is not a keyword but should be treated as such
+                tok_op->isOperatorKeyword(true);
                 tok->deleteThis();
             }
             else {
                 tok->str("operator" + op);
+                tok->tokType(Token::Type::eKeyword); // we need to preserve the keyword type after setting a non-keyword string
+                // TODO: tok->isOperatorKeyword(true);
                 Token::eraseTokens(tok, par);
             }
         }

test/testtoken.cpp

@@ -123,6 +123,8 @@ class TestToken : public TestFixture {
         TEST_CASE(update_property_info_ecomparisonop_link);
         TEST_CASE(update_property_info_etype_c);
         TEST_CASE(update_property_info_etype_cpp);
+        TEST_CASE(update_property_info_replace);
+
         TEST_CASE(varid_reset);
     }
 
@@ -1341,13 +1343,6 @@ class TestToken : public TestFixture {
             tok.varId(17);
             assert_tok(&tok, Token::Type::eVariable);
         }
-        {
-            TokensFrontBack tokensFrontBack(list);
-            Token tok(tokensFrontBack);
-            tok.varId(17);
-            tok.str("var1");
-            assert_tok(&tok, Token::Type::eVariable);
-        }
     }
 
     void update_property_info_ekeyword_c() const
@@ -1496,6 +1491,16 @@ class TestToken : public TestFixture {
         }
     }
 
+    void update_property_info_replace() const
+    {
+        TokensFrontBack tokensFrontBack(list);
+        Token tok(tokensFrontBack);
+        tok.str("size_t");
+        assert_tok(&tok, Token::Type::eType, false, true);
+        tok.str("long");
+        assert_tok(&tok, Token::Type::eType, false, true);
+    }
+
     void varid_reset() const
     {
         TokenList list_c{&settingsDefault};