Add Valuetype type and sign for stdint macros

Author: swasti16

addons/test/misra/misra-test.c

@@ -725,7 +725,7 @@ static void misra_10_3(uint32_t u32a, uint32_t u32b) {
     res = 0.1f; // 10.3
     const char c = '0'; // no-warning
     bool b = true; // no-warning
-    uint32_t u = UINT32_C(10); // 17.3 no-warning
+    uint32_t u = UINT32_C(10); // no-warning
 }
 
 static void misra_10_4(u32 x, s32 y) {

lib/symboldatabase.cpp

@@ -7531,6 +7531,15 @@ static const Function* getFunction(const Token* tok) {
     return nullptr;
 }
 
+static int getIntegerConstantMacroWidth(const std::string &name) {
+    int intnum = 0;
+    for (const char c : name) {
+        if (std::isdigit(c))
+            intnum = (intnum * 10) + c - 48;
+    }
+    return intnum;
+}
+
 void SymbolDatabase::setValueTypeInTokenList(bool reportDebugWarnings, Token *tokens)
 {
     if (!tokens)
@@ -7672,6 +7681,27 @@ void SymbolDatabase::setValueTypeInTokenList(bool reportDebugWarnings, Token *to
                 }
             }
 
+            // functions from stdint.h
+            else if (Token::Match(tok->previous(), "INT16_C|INT32_C|INT64_C|INT8_C|UINT16_C|UINT32_C|UINT64_C|UINT8_C (")) {
+                ValueType valuetype;
+                const int macroWidth = getIntegerConstantMacroWidth(tok->previous()->str());
+                if (macroWidth == 8)
+                    valuetype.type = ValueType::Type::CHAR;
+                else if (macroWidth == 16)
+                    valuetype.type = ValueType::Type::SHORT;
+                else if (macroWidth == 32)
+                    valuetype.type = ValueType::Type::INT;
+                else if (macroWidth == 64)
+                    valuetype.type = ValueType::Type::LONGLONG;
+                else
+                    valuetype.type = ValueType::Type::INT;
+                if (tok->previous()->str()[0] == 'U')
+                    valuetype.sign = ValueType::Sign::UNSIGNED;
+                else
+                    valuetype.sign = ValueType::Sign::SIGNED;
+                setValueType(tok, valuetype);
+            }
+
             // function style cast
             else if (tok->previous() && tok->previous()->isStandardType()) {
                 ValueType valuetype;

test/testsymboldatabase.cpp

@@ -622,6 +622,8 @@ class TestSymbolDatabase : public TestFixture {
         TEST_CASE(dumpFriend); // Check if isFriend added to dump file
 
         TEST_CASE(smartPointerLookupCtor); // #13719);
+
+        TEST_CASE(stdintFunction);
     }
 
     void array() {
@@ -11317,6 +11319,16 @@ class TestSymbolDatabase : public TestFixture {
 
         ASSERT(db);
     }
+
+    void stdintFunction() {
+        GET_SYMBOL_DB("static void example1(void){\n"
+                      "  uint32_t val = 1000;\n"
+                      "  uint8_t a = (uint8_t)(val / UINT32_C(60));\n"
+                      "}\n");
+        const Token* tok = Token::findsimplematch(tokenizer.tokens(), "UINT32_C (");
+        ASSERT_EQUALS(tok->next()->valueType()->sign, ValueType::Sign::UNSIGNED);
+        ASSERT_EQUALS(tok->next()->valueType()->type, ValueType::Type::INT);
+    }
 };
 
 REGISTER_TEST(TestSymbolDatabase)