Fix #8992: Add originalTypeToken to auto (#1701)

This commit is contained in:
rikardfalkeborn 2019-02-27 06:44:31 +01:00 committed by Daniel Marjamäki
parent c9efc26578
commit 0e988cc755
2 changed files with 10 additions and 0 deletions

View File

@ -5227,6 +5227,7 @@ static const Token * parsedecl(const Token *type, ValueType * const valuetype, V
if (vt->sign != ValueType::Sign::UNKNOWN_SIGN) if (vt->sign != ValueType::Sign::UNKNOWN_SIGN)
valuetype->sign = vt->sign; valuetype->sign = vt->sign;
valuetype->constness = vt->constness; valuetype->constness = vt->constness;
valuetype->originalTypeName = vt->originalTypeName;
while (Token::Match(type, "%name%|*|&|::") && !type->variable()) while (Token::Match(type, "%name%|*|&|::") && !type->variable())
type = type->next(); type = type->next();
break; break;

View File

@ -72,6 +72,7 @@ private:
TEST_CASE(testReturnValueTypeStdLib); TEST_CASE(testReturnValueTypeStdLib);
TEST_CASE(testPrintfTypeAlias1); TEST_CASE(testPrintfTypeAlias1);
TEST_CASE(testPrintfAuto); // #8992
} }
void check(const char* code, bool inconclusive = false, bool portability = false, Settings::PlatformType platform = Settings::Unspecified) { void check(const char* code, bool inconclusive = false, bool portability = false, Settings::PlatformType platform = Settings::Unspecified) {
@ -4720,6 +4721,14 @@ private:
"[test.cpp:8]: (warning) %f in format string (no. 3) requires 'double' but the argument type is 'const signed int *'.\n", errout.str()); "[test.cpp:8]: (warning) %f in format string (no. 3) requires 'double' but the argument type is 'const signed int *'.\n", errout.str());
} }
void testPrintfAuto() { // #8992
check("void f() {\n"
" auto s = sizeof(int);\n"
" printf(\"%zu\", s);\n"
" printf(\"%f\", s);\n"
"}\n", false, true);
ASSERT_EQUALS("[test.cpp:4]: (portability) %f in format string (no. 1) requires 'double' but the argument type is 'size_t {aka unsigned long}'.\n", errout.str());
}
}; };
REGISTER_TEST(TestIO) REGISTER_TEST(TestIO)