aboutsummaryrefslogtreecommitdiff
path: root/lib/Sema/SemaChecking.cpp
AgeCommit message (Expand)Author
2010-05-06Rearchitect -Wconversion and -Wsign-compare. Instead of computing themJohn McCall
2010-05-06optimize builtin_isnan/isinf to not do an extraneous extension fromChris Lattner
2010-04-29Add FunctionDecl::isVariadic() to match BlockDecl::isVariadic() and ObjCMetho...Ted Kremenek
2010-04-28Completely reimplement __builtin_offsetof, based on a patch by RobertoDouglas Gregor
2010-04-24Actually produce base paths for CastExprs of kind CK_DerivedToBase.Anders Carlsson
2010-04-24isValue is set to false by default.Anders Carlsson
2010-04-23Add an InheritancePath parameter to the ImplicitCastExpr constructor.Anders Carlsson
2010-04-19Remove the argument number from the constant integer diagnostic.Eric Christopher
2010-04-17Consolidate most of the integer constant expression builtin requirementEric Christopher
2010-04-16Collapse the three separate initialization paths inDouglas Gregor
2010-04-16Expand the argument diagnostics for too many arguments and giveEric Christopher
2010-04-16Expand argument diagnostic for too few arguments to give the numberEric Christopher
2010-04-07Teach -Wsign-compare to treat 1 << blah as "idiomatically non-negative".John McCall
2010-03-26Do not mark the destructor of a function parameter's type. Fixes PR6709.Douglas Gregor
2010-03-25Remove support for nand atomic builtins. They are inconsistently implemented inDaniel Dunbar
2010-03-25Fix two bugs in format-string checking:Ted Kremenek
2010-03-20Refactor CFG-based warnings in Sema to be run by a worked object called Analy...Ted Kremenek
2010-03-19Promote enum types during -Wsign-compare. Fixes some spurious warnings,John McCall
2010-03-16Let SourceManager::getBufferData return StringRef instead of a pair of two co...Benjamin Kramer
2010-03-16Give SourceManager a Diagnostic object with which to report errors,Douglas Gregor
2010-03-15Introduce a new BufferResult class to act as the return type ofDouglas Gregor
2010-03-11Warn about comparing an unsigned expression with 0 in tautological ways.John McCall
2010-03-01Keep an explicit stack of function and block scopes, each element ofDouglas Gregor
2010-02-27Fix crasher caused by setting a bit in a possibly empty bitvector whileTed Kremenek
2010-02-27For printf format string checking, add support for positional format strings.Ted Kremenek
2010-02-26For printf format string checking, move the tracking of the data argument ind...Ted Kremenek
2010-02-23Don't assert on compound assignment operators that operate in FP types whenJohn McCall
2010-02-23Move the rest of the unreachable code analysis from libSemaTed Kremenek
2010-02-23Simplify check for basic block with a CXXTryStmt terminator.Ted Kremenek
2010-02-23Start moving some of the logic for the unreachable code analysis out of libSemaTed Kremenek
2010-02-23Convert use of std::queue to llvm::SmallVector and fix buildbot.Ted Kremenek
2010-02-23Use SmallVectorImpl::iterator.Ted Kremenek
2010-02-23Simplify logic for determining values of 'ReturnsVoid' and 'HasNoReturn' flags.Ted Kremenek
2010-02-16Rename argument so the name reflects what it's doing.Benjamin Kramer
2010-02-16Refactor the logic for printf argument type-checking into analyze_printf::Arg...Ted Kremenek
2010-02-15Add Sema support for __builtin_fpclassify by extending the existing check for...Benjamin Kramer
2010-02-11Uncomment lines I never meant to have left commented in a commit.Ted Kremenek
2010-02-11Patch by Cristian Draghici:Ted Kremenek
2010-02-10Convert tabs to spaces.Ted Kremenek
2010-02-06Don't diagnose missing noreturns for uninstantiated templates. Fixes PR6247.Anders Carlsson
2010-02-05Standardize the parsing of function type attributes in a way thatJohn McCall
2010-02-04Move ParseFormatString() and FormatStringHandler back into the analyze_printf...Ted Kremenek
2010-02-02Mark dtors for parameter variables and eliminate some redundant type munging.John McCall
2010-02-02Access control for implicit destructor calls. Diagnostic could be orders ofJohn McCall
2010-02-01In C++, an initializer on a variable doesn't necessarily mean it's the defini...Sebastian Redl
2010-02-01Use early return as suggested by Cristian Draghici.Ted Kremenek
2010-02-01Format string checking: selectively ignore implicit casts to 'int'Ted Kremenek
2010-02-01Fix for PR5185. C99 [*] VLA notation should be disallowed in function definit...Sam Weinig
2010-01-30Add basic type checking of format string conversion specifiers and their argu...Ted Kremenek
2010-01-29Be a little more permissive than C99: allow 'unsigned' to be used forTed Kremenek