[cfe-commits] r109491 - in /cfe/trunk: include/clang/Analysis/Analyses/FormatString.h lib/Analysis/FormatString.cpp lib/Analysis/ScanfFormatString.cpp lib/Sema/SemaChecking.cpp
Michael J. Spencer
bigcheesegs at gmail.com
Mon Jul 26 21:46:02 PDT 2010
Author: mspencer
Date: Mon Jul 26 23:46:02 2010
New Revision: 109491
URL: http://llvm.org/viewvc/llvm-project?rev=109491&view=rev
Log:
Revert r109428 "Hoist argument type checking into CheckFormatHandler. This is prep for scanf format"
Got errors about ASTContext being undefined with Visual Studio 2010.
Modified:
cfe/trunk/include/clang/Analysis/Analyses/FormatString.h
cfe/trunk/lib/Analysis/FormatString.cpp
cfe/trunk/lib/Analysis/ScanfFormatString.cpp
cfe/trunk/lib/Sema/SemaChecking.cpp
Modified: cfe/trunk/include/clang/Analysis/Analyses/FormatString.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/Analyses/FormatString.h?rev=109491&r1=109490&r2=109491&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/Analyses/FormatString.h (original)
+++ cfe/trunk/include/clang/Analysis/Analyses/FormatString.h Mon Jul 26 23:46:02 2010
@@ -305,8 +305,6 @@
public:
FormatSpecifier(bool isPrintf)
: CS(isPrintf), UsesPositionalArg(false), argIndex(0) {}
-
- virtual ~FormatSpecifier();
void setLengthModifier(LengthModifier lm) {
LM = lm;
@@ -341,17 +339,6 @@
bool usesPositionalArg() const { return UsesPositionalArg; }
bool hasValidLengthModifier() const;
-
- /// \brief Returns the type that a data argument
- /// paired with this format specifier should have. This method
- /// will an invalid ArgTypeResult if the format specifier does not have
- /// a matching data argument or the matching argument matches
- /// more than one type.
- virtual ArgTypeResult getArgType(ASTContext &Ctx) const = 0;
-
- const ConversionSpecifier &getConversionSpecifier() const {
- return CS;
- }
};
} // end analyze_format_string namespace
@@ -451,9 +438,9 @@
return getConversionSpecifier().consumesDataArgument();
}
- /// \brief Returns the type that a data argument
+ /// \brief Returns the builtin type that a data argument
/// paired with this format specifier should have. This method
- /// will an invalid ArgTypeResult if the format specifier does not have
+ /// will return null if the format specifier does not have
/// a matching data argument or the matching argument matches
/// more than one type.
ArgTypeResult getArgType(ASTContext &Ctx) const;
@@ -481,11 +468,6 @@
bool hasValidPrecision() const;
bool hasValidFieldWidth() const;
-
- static bool classof(const analyze_format_string::FormatSpecifier *FS) {
- return FS->getConversionSpecifier().isPrintfKind();
- }
-
};
} // end analyze_printf namespace
@@ -510,7 +492,6 @@
}
};
-using analyze_format_string::ArgTypeResult;
using analyze_format_string::LengthModifier;
using analyze_format_string::OptionalAmount;
using analyze_format_string::OptionalFlag;
@@ -542,13 +523,6 @@
bool consumesDataArgument() const {
return CS.consumesDataArgument() && !SuppressAssignment;
}
-
- /// \brief Returns the type that a data argument
- /// paired with this format specifier should have. This method
- /// will an invalid ArgTypeResult if the format specifier does not have
- /// a matching data argument or the matching argument matches
- /// more than one type.
- ArgTypeResult getArgType(ASTContext &Ctx) const;
static ScanfSpecifier Parse(const char *beg, const char *end);
};
Modified: cfe/trunk/lib/Analysis/FormatString.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/FormatString.cpp?rev=109491&r1=109490&r2=109491&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/FormatString.cpp (original)
+++ cfe/trunk/lib/Analysis/FormatString.cpp Mon Jul 26 23:46:02 2010
@@ -379,11 +379,9 @@
}
//===----------------------------------------------------------------------===//
-// Methods on FormatSpecifier.
+// Methods on ConversionSpecifier.
//===----------------------------------------------------------------------===//
-FormatSpecifier::~FormatSpecifier() {}
-
bool FormatSpecifier::hasValidLengthModifier() const {
switch (LM.getKind()) {
case LengthModifier::None:
Modified: cfe/trunk/lib/Analysis/ScanfFormatString.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/ScanfFormatString.cpp?rev=109491&r1=109490&r2=109491&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/ScanfFormatString.cpp (original)
+++ cfe/trunk/lib/Analysis/ScanfFormatString.cpp Mon Jul 26 23:46:02 2010
@@ -218,10 +218,4 @@
return false;
}
-ArgTypeResult ScanfSpecifier::getArgType(ASTContext &Ctx) const {
- // FIXME: Fill in.
- return ArgTypeResult();
-}
-
-
Modified: cfe/trunk/lib/Sema/SemaChecking.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaChecking.cpp?rev=109491&r1=109490&r2=109491&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/SemaChecking.cpp (original)
+++ cfe/trunk/lib/Sema/SemaChecking.cpp Mon Jul 26 23:46:02 2010
@@ -1174,11 +1174,6 @@
const analyze_format_string::ConversionSpecifier &CS,
const char *startSpecifier, unsigned specifierLen,
unsigned argIndex);
-
- void CheckArgType(const analyze_format_string::FormatSpecifier &FS,
- const analyze_format_string::ConversionSpecifier &CS,
- const char *startSpecifier, unsigned specifierLen,
- unsigned argIndex);
};
}
@@ -1304,52 +1299,6 @@
return true;
}
-void CheckFormatHandler::CheckArgType(
- const analyze_format_string::FormatSpecifier &FS,
- const analyze_format_string::ConversionSpecifier &CS,
- const char *startSpecifier, unsigned specifierLen, unsigned argIndex) {
-
- const Expr *Ex = getDataArg(argIndex);
- const analyze_format_string::ArgTypeResult &ATR = FS.getArgType(S.Context);
-
- if (ATR.isValid() && !ATR.matchesType(S.Context, Ex->getType())) {
- // Check if we didn't match because of an implicit cast from a 'char'
- // or 'short' to an 'int'. This is done because scanf/printf are varargs
- // functions.
- if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Ex))
- if (ICE->getType() == S.Context.IntTy)
- if (ATR.matchesType(S.Context, ICE->getSubExpr()->getType()))
- return;
-
- if (const analyze_printf::PrintfSpecifier *PFS =
- dyn_cast<analyze_printf::PrintfSpecifier>(&FS)) {
- // We may be able to offer a FixItHint if it is a supported type.
- analyze_printf::PrintfSpecifier fixedFS(*PFS);
- if (fixedFS.fixType(Ex->getType())) {
- // Get the fix string from the fixed format specifier
- llvm::SmallString<128> buf;
- llvm::raw_svector_ostream os(buf);
- fixedFS.toString(os);
-
- S.Diag(getLocationOfByte(CS.getStart()),
- diag::warn_printf_conversion_argument_type_mismatch)
- << ATR.getRepresentativeType(S.Context) << Ex->getType()
- << getSpecifierRange(startSpecifier, specifierLen)
- << Ex->getSourceRange()
- << FixItHint::CreateReplacement(
- getSpecifierRange(startSpecifier, specifierLen), os.str());
- }
- else {
- S.Diag(getLocationOfByte(CS.getStart()),
- diag::warn_printf_conversion_argument_type_mismatch)
- << ATR.getRepresentativeType(S.Context) << Ex->getType()
- << getSpecifierRange(startSpecifier, specifierLen)
- << Ex->getSourceRange();
- }
- }
- }
-}
-
//===--- CHECK: Printf format string checking ------------------------------===//
namespace {
@@ -1621,8 +1570,47 @@
if (!CheckNumArgs(FS, CS, startSpecifier, specifierLen, argIndex))
return false;
- CheckArgType(FS, CS, startSpecifier, specifierLen, argIndex);
-
+ // Now type check the data expression that matches the
+ // format specifier.
+ const Expr *Ex = getDataArg(argIndex);
+ const analyze_printf::ArgTypeResult &ATR = FS.getArgType(S.Context);
+ if (ATR.isValid() && !ATR.matchesType(S.Context, Ex->getType())) {
+ // Check if we didn't match because of an implicit cast from a 'char'
+ // or 'short' to an 'int'. This is done because printf is a varargs
+ // function.
+ if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Ex))
+ if (ICE->getType() == S.Context.IntTy)
+ if (ATR.matchesType(S.Context, ICE->getSubExpr()->getType()))
+ return true;
+
+ // We may be able to offer a FixItHint if it is a supported type.
+ PrintfSpecifier fixedFS = FS;
+ bool success = fixedFS.fixType(Ex->getType());
+
+ if (success) {
+ // Get the fix string from the fixed format specifier
+ llvm::SmallString<128> buf;
+ llvm::raw_svector_ostream os(buf);
+ fixedFS.toString(os);
+
+ S.Diag(getLocationOfByte(CS.getStart()),
+ diag::warn_printf_conversion_argument_type_mismatch)
+ << ATR.getRepresentativeType(S.Context) << Ex->getType()
+ << getSpecifierRange(startSpecifier, specifierLen)
+ << Ex->getSourceRange()
+ << FixItHint::CreateReplacement(
+ getSpecifierRange(startSpecifier, specifierLen),
+ os.str());
+ }
+ else {
+ S.Diag(getLocationOfByte(CS.getStart()),
+ diag::warn_printf_conversion_argument_type_mismatch)
+ << ATR.getRepresentativeType(S.Context) << Ex->getType()
+ << getSpecifierRange(startSpecifier, specifierLen)
+ << Ex->getSourceRange();
+ }
+ }
+
return true;
}
More information about the cfe-commits
mailing list