Index: clang-tools-extra/trunk/clang-tidy/google/IntegerTypesCheck.cpp =================================================================== --- clang-tools-extra/trunk/clang-tidy/google/IntegerTypesCheck.cpp +++ clang-tools-extra/trunk/clang-tidy/google/IntegerTypesCheck.cpp @@ -11,6 +11,7 @@ #include "clang/AST/ASTContext.h" #include "clang/ASTMatchers/ASTMatchFinder.h" #include "clang/ASTMatchers/ASTMatchers.h" +#include "clang/Basic/AttrKinds.h" #include "clang/Basic/CharInfo.h" #include "clang/Basic/IdentifierTable.h" #include "clang/Basic/TargetInfo.h" @@ -56,7 +57,16 @@ // Find all TypeLocs. The relevant Style Guide rule only applies to C++. if (!getLangOpts().CPlusPlus) return; - Finder->addMatcher(typeLoc(loc(isInteger())).bind("tl"), this); + // Match any integer types, unless they are passed to a printf-based API: + // + // http://google.github.io/styleguide/cppguide.html#64-bit_Portability + // "Where possible, avoid passing arguments of types specified by + // bitwidth typedefs to printf-based APIs." + Finder->addMatcher(typeLoc(loc(isInteger()), + unless(hasAncestor(callExpr( + callee(functionDecl(hasAttr(attr::Format))))))) + .bind("tl"), + this); IdentTable = llvm::make_unique(getLangOpts()); } Index: clang-tools-extra/trunk/test/clang-tidy/google-runtime-int.cpp =================================================================== --- clang-tools-extra/trunk/test/clang-tidy/google-runtime-int.cpp +++ clang-tools-extra/trunk/test/clang-tidy/google-runtime-int.cpp @@ -72,3 +72,20 @@ B a, b; a = b; } + +__attribute__((__format__ (__printf__, 1, 2))) +void myprintf(const char* s, ...); + +void doprint_no_warning() { + uint64 foo = 23; + myprintf("foo %lu %lu", (unsigned long)42, (unsigned long)foo); +} + +void myprintf_no_attribute(const char* s, ...); + +void doprint_warning() { + uint64 foo = 23; + myprintf_no_attribute("foo %lu %lu", (unsigned long)42, (unsigned long)foo); +// CHECK-MESSAGES: [[@LINE-1]]:41: warning: consider replacing 'unsigned long' +// CHECK-MESSAGES: [[@LINE-2]]:60: warning: consider replacing 'unsigned long' +}