aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/FormatString.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-07-13 20:20:58 +0000
committerTed Kremenek <kremenek@apple.com>2011-07-13 20:20:58 +0000
commit8da9316c5a97887da0bf84a2ea45daf43ddf572b (patch)
treef1c62d2f3763358aa1a6f376d9411bac1603230a /lib/Analysis/FormatString.cpp
parent84ff0fccb180098b70504c03c3072a19e6d573af (diff)
format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using
an "int" format specifier with a "long" type in 32-bit. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@135075 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/FormatString.cpp')
-rw-r--r--lib/Analysis/FormatString.cpp19
1 files changed, 9 insertions, 10 deletions
diff --git a/lib/Analysis/FormatString.cpp b/lib/Analysis/FormatString.cpp
index 5f3cd4c615..74f1e92794 100644
--- a/lib/Analysis/FormatString.cpp
+++ b/lib/Analysis/FormatString.cpp
@@ -206,6 +206,10 @@ clang::analyze_format_string::ParseLengthModifier(FormatSpecifier &FS,
// Methods on ArgTypeResult.
//===----------------------------------------------------------------------===//
+static bool hasSameSize(ASTContext &astContext, QualType typeA, QualType typeB) {
+ return astContext.getTypeSize(typeA) == astContext.getTypeSize(typeB);
+}
+
bool ArgTypeResult::matchesType(ASTContext &C, QualType argTy) const {
switch (K) {
case InvalidTy:
@@ -226,26 +230,21 @@ bool ArgTypeResult::matchesType(ASTContext &C, QualType argTy) const {
break;
case BuiltinType::Char_S:
case BuiltinType::SChar:
- return T == C.UnsignedCharTy;
case BuiltinType::Char_U:
case BuiltinType::UChar:
- return T == C.SignedCharTy;
+ return hasSameSize(C, T, C.UnsignedCharTy);
case BuiltinType::Short:
- return T == C.UnsignedShortTy;
case BuiltinType::UShort:
- return T == C.ShortTy;
+ return hasSameSize(C, T, C.ShortTy);
case BuiltinType::Int:
- return T == C.UnsignedIntTy;
case BuiltinType::UInt:
- return T == C.IntTy;
+ return hasSameSize(C, T, C.IntTy);
case BuiltinType::Long:
- return T == C.UnsignedLongTy;
case BuiltinType::ULong:
- return T == C.LongTy;
+ return hasSameSize(C, T, C.LongTy);
case BuiltinType::LongLong:
- return T == C.UnsignedLongLongTy;
case BuiltinType::ULongLong:
- return T == C.LongLongTy;
+ return hasSameSize(C, T, C.LongLongTy);
}
return false;
}