summaryrefslogtreecommitdiff
path: root/include
Commit message (Expand)AuthorAge
* Make a ctor protectedChris Lattner2008-03-15
* move the ASTContext argument to be first in the argument list of Chris Lattner2008-03-15
* Switch over functiondecl. This makes it obvious that the ASTContextChris Lattner2008-03-15
* switch the VarDecl allocation model to go through ASTContext.Chris Lattner2008-03-15
* start switching decls over to using an allocator controlled by ASTContext. Chris Lattner2008-03-15
* Emit warnings for undefined control-flow.Ted Kremenek2008-03-14
* Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek2008-03-14
* Make the preprocessor own its PPCallbacks, fixing a memory leak.Chris Lattner2008-03-14
* ISO/IEC TR 18037 Nate Begeman2008-03-14
* Fix commentNate Begeman2008-03-13
* The LiveVariables analysis no longer requires a FunctionDecl&; this allows itTed Kremenek2008-03-13
* improve DeclStmt to be able to store SourceRange info correctly.Chris Lattner2008-03-13
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek2008-03-12
* Fixed regression in SymbolManager introduced in r48272.Ted Kremenek2008-03-12
* Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek2008-03-12
* Expanded graph-visualization to include optional pretty-printing of checker-s...Ted Kremenek2008-03-11
* Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"Ted Kremenek2008-03-11
* Expanded graph visualization interface to include specifying a range ofTed Kremenek2008-03-11
* Added main skeleton for CFRetain transfer function logic.Ted Kremenek2008-03-11
* Add some missing #includes for GCC mainline, patch by Shantonu Sen!Chris Lattner2008-03-10
* Add transfer function support for pointer arithmetic where theTed Kremenek2008-03-10
* implement simple support for arbitrary token lookahead. Change the Chris Lattner2008-03-10
* More edge-case handling with using liveness information to prune dead state v...Ted Kremenek2008-03-10
* More cleanups with using the liveness analysis to removed dead symbols andTed Kremenek2008-03-10
* When processing the transfer function for a statement, evaluateTed Kremenek2008-03-09
* Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into theTed Kremenek2008-03-09
* Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek2008-03-09
* rename HandleEndOfMacro -> HandleEndOfTokenLexerChris Lattner2008-03-09
* split the MacroArgs class out of TokenLexer.cpp/h intoChris Lattner2008-03-09
* rename some MacroExpander-related ivars to TokenLexer.Chris Lattner2008-03-09
* Rename MacroExpander.cpp/h -> TokenLexer.cpp/hChris Lattner2008-03-09
* rename the MacroExpander class to TokenLexer. It handles bothChris Lattner2008-03-09
* rename MacroTokens -> Tokens. When this is a token stream, there is no macroChris Lattner2008-03-09
* add some comments.Chris Lattner2008-03-08
* make float format handling more regular.Chris Lattner2008-03-08
* simplify all the type info accessors in TargeTInfo to return scalars,Chris Lattner2008-03-08
* Fix a fixme by allowing pointers in different address spaces to haveChris Lattner2008-03-08
* eliminate the TargetInfoImpl stuff, simplifying the target implementations.Chris Lattner2008-03-08
* eliminate ComputeWCharInfo.Chris Lattner2008-03-08
* Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek2008-03-07
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-07
* Add fastcall/stdcall attribute supportNate Begeman2008-03-07
* Refined divide-by-zero checking to distinguish between must and mayTed Kremenek2008-03-07
* Patch by Nuno Lopes:Ted Kremenek2008-03-07
* fix typosGabor Greif2008-03-06
* Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek2008-03-06
* Added "CheckerState" field to ValueState.Ted Kremenek2008-03-05
* Small bug fix when handling CallExprs that generate sink nodes.Ted Kremenek2008-03-05
* Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek2008-03-05
* Fixed a horribly insidious bit-masking bug in the implementation ofTed Kremenek2008-03-05