Index: cfe/trunk/lib/AST/FormatString.cpp =================================================================== --- cfe/trunk/lib/AST/FormatString.cpp +++ cfe/trunk/lib/AST/FormatString.cpp @@ -386,6 +386,8 @@ case BuiltinType::SChar: case BuiltinType::Char_U: case BuiltinType::UChar: + if (T == C.UnsignedShortTy || T == C.ShortTy) + return NoMatchPedantic; return T == C.UnsignedCharTy || T == C.SignedCharTy ? Match : NoMatch; case BuiltinType::Short: Index: cfe/trunk/lib/Sema/SemaChecking.cpp =================================================================== --- cfe/trunk/lib/Sema/SemaChecking.cpp +++ cfe/trunk/lib/Sema/SemaChecking.cpp @@ -8119,9 +8119,13 @@ // function. if (ICE->getType() == S.Context.IntTy || ICE->getType() == S.Context.UnsignedIntTy) { - // All further checking is done on the subexpression. - if (AT.matchesType(S.Context, ExprTy)) + // All further checking is done on the subexpression + const analyze_printf::ArgType::MatchKind ImplicitMatch = + AT.matchesType(S.Context, ExprTy); + if (ImplicitMatch == analyze_printf::ArgType::Match) return true; + if (ImplicitMatch == analyze_printf::ArgType::NoMatchPedantic) + Pedantic = true; } } } else if (const CharacterLiteral *CL = dyn_cast(E)) { Index: cfe/trunk/test/FixIt/format.m =================================================================== --- cfe/trunk/test/FixIt/format.m +++ cfe/trunk/test/FixIt/format.m @@ -205,9 +205,7 @@ // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:11-[[@LINE-1]]:13}:"%f" // CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-2]]:16-[[@LINE-2]]:16}:"(unichar)" - NSLog(@"%C", (char)0x260300); // expected-warning{{format specifies type 'unichar' (aka 'unsigned short') but the argument has type 'char'}} - // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:11-[[@LINE-1]]:13}:"%c" - // CHECK-NOT: fix-it:"{{.*}}":{[[@LINE-2]]:16-[[@LINE-2]]:22}:"(unichar)" + NSLog(@"%C", (char)0x260300); NSLog(@"%C", 'a'); // expected-warning{{format specifies type 'unichar' (aka 'unsigned short') but the argument has type 'char'}} // CHECK: fix-it:"{{.*}}":{[[@LINE-1]]:11-[[@LINE-1]]:13}:"%c" Index: cfe/trunk/test/Sema/format-strings-enum-fixed-type.cpp =================================================================== --- cfe/trunk/test/Sema/format-strings-enum-fixed-type.cpp +++ cfe/trunk/test/Sema/format-strings-enum-fixed-type.cpp @@ -79,10 +79,10 @@ printf("%hhd", input); // no-warning printf("%hhd", CharConstant); // no-warning - // This is not correct but it is safe. We warn because '%hd' shows intent. - printf("%hd", input); // expected-warning{{format specifies type 'short' but the argument has underlying type 'char'}} - printf("%hd", CharConstant); // expected-warning{{format specifies type 'short'}} - + // This is not correct, but it is safe. Only warned in pedantic mode because '%hd' shows intent. + printf("%hd", input); + printf("%hd", CharConstant); + // This is not correct but it matches the promotion rules (and is safe). printf("%d", input); // no-warning printf("%d", CharConstant); // no-warning Index: cfe/trunk/test/Sema/format-strings-pedantic.c =================================================================== --- cfe/trunk/test/Sema/format-strings-pedantic.c +++ cfe/trunk/test/Sema/format-strings-pedantic.c @@ -0,0 +1,10 @@ +// RUN: %clang_cc1 -fsyntax-only -verify -Wformat -Wformat-pedantic -isystem %S/Inputs %s + +int printf(const char *restrict, ...); + +typedef unsigned char uint8_t; + +void print_char_as_short() { + printf("%hu\n", (unsigned char)1); // expected-warning{{format specifies type 'unsigned short' but the argument has type 'unsigned char'}} + printf("%hu\n", (uint8_t)1); // expected-warning{{format specifies type 'unsigned short' but the argument has type 'uint8_t' (aka 'unsigned char')}} +} Index: cfe/trunk/test/Sema/format-strings.c =================================================================== --- cfe/trunk/test/Sema/format-strings.c +++ cfe/trunk/test/Sema/format-strings.c @@ -277,8 +277,8 @@ void should_understand_small_integers() { printf("%hhu", (short) 10); // expected-warning{{format specifies type 'unsigned char' but the argument has type 'short'}} - printf("%hu\n", (unsigned char) 1); // expected-warning{{format specifies type 'unsigned short' but the argument has type 'unsigned char'}} - printf("%hu\n", (uint8_t)1); // expected-warning{{format specifies type 'unsigned short' but the argument has type 'uint8_t'}} + printf("%hu\n", (unsigned char)1); // warning with -Wformat-pedantic only + printf("%hu\n", (uint8_t)1); // warning with -Wformat-pedantic only } void test11(void *p, char *s) {