aboutsummaryrefslogtreecommitdiff
path: root/lib/Sema/SemaChecking.cpp
AgeCommit message (Expand)Author
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
2010-01-29Switch Sema over to using the new implementation of format stringTed Kremenek
2010-01-29Alternate format string checking: issue warnings for incomplete format specif...Ted Kremenek
2010-01-29Alternate format string checking: issue a warning for invalid conversion spec...Ted Kremenek
2010-01-29Alternate format string checking: check for excess data arguments.Ted Kremenek
2010-01-29Alternate format string checking: check if the number of format specifiers ex...Ted Kremenek
2010-01-29Alternate format string checking: warn of '%n' as being potentially insecure.Ted Kremenek
2010-01-29Add precision/field width checking to AlternateCheckPrintfString().Ted Kremenek
2010-01-28Start fleshing out Sema::AlternateCheckPrintfString():Ted Kremenek
2010-01-28Add placeholder function in Sema for new format string checking logic.Ted Kremenek
2010-01-28Fix 80 col violation.Ted Kremenek
2010-01-28Remove invalid conversion specifiers from format string checking.Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek