- 63bbe53 Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing by Ted Kremenek · 16 years ago
- 6d39760 add initial support for generating an llvm.globalctors list. Patch by David Chisnall by Chris Lattner · 16 years ago
- 1121519 Only compute targetinfo once and don't leak it. Patch by Sam Bishop! by Chris Lattner · 16 years ago
- eb50ed8 Make the preprocessor own its PPCallbacks, fixing a memory leak. by Chris Lattner · 16 years ago
- 5af27e0 ISO/IEC TR 18037 by Nate Begeman · 16 years ago
- 2b59a2c Fix comment by Nate Begeman · 16 years ago
- 7cb1593 The LiveVariables analysis no longer requires a FunctionDecl&; this allows it by Ted Kremenek · 16 years ago
- 043a0b5 handle __extension__ properly at block scope. by Chris Lattner · 16 years ago
- 691a38b instead of passing in null end location info, pass in the same as start. by Chris Lattner · 16 years ago
- 81c018d improve DeclStmt to be able to store SourceRange info correctly. by Chris Lattner · 16 years ago
- 3de54ff Add note about asm constraints. by Anders Carlsson · 16 years ago
- 4102af9 Added bandaid support in CFG construction for ObjCForEachStmt and ObjCAtTryStmt: by Ted Kremenek · 16 years ago
- 5518e7c Two fixes to RewriteTest::RewriteObjCIvarRefExpr(): by Steve Naroff · 16 years ago
- 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 16 years ago
- 819173c Minor aesthetic improvement (after I reviewed my last commit). by Steve Naroff · 16 years ago
- 39bbd9f Avoid using the "unnamed struct field" extension (enabled with -fms-extensions). This feature/extension silently does the wrong thing in g++. As far as I can tell, g++ simply throws the field away entirely (note that it works fine with gcc). Since I am now always casting the object (for other reasons), accessing protected/public fields simply requires the cast refer to the defining class. This solution is simpler all around (thanks to Chris for suggesting it). by Steve Naroff · 16 years ago
- 199e1a0 Added generation of symbolic values for the return values of functions that have by Ted Kremenek · 16 years ago
- f923a91 In GRSimpleVals, added the generation of symbolic values for the return values by Ted Kremenek · 16 years ago
- e0e0c94 Update to reflect changes in parameter attribute api. by Chris Lattner · 16 years ago
- dbb6543 Use the "used" attribute. Without it, g++ removes all the meta-data:-( This doesn't happen when compiling straight C code. by Steve Naroff · 16 years ago
- 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 16 years ago
- 3c64d9e -Add missing visitor for ObjCIvarRefExpr. by Steve Naroff · 16 years ago
- b1f4080 Since the rewriter now outputs C++, it no longer makes sense to pipe the output to clang. by Steve Naroff · 16 years ago
- a8b5364 Fixed regression in SymbolManager introduced in r48272. by Ted Kremenek · 16 years ago
- 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 16 years ago
- 8eb4a5e Remove more dependencies on C "flexible array member" idiom (when generating meta-data). by Steve Naroff · 16 years ago
- 05b8c78 Make ivar rewrite C++ friendly (since C++ forces a unified namespace for typedefs/structures). The previous version of the rewriter generated both a type def and structure def for each class (which doesn't fly in C++). by Steve Naroff · 16 years ago
- f394804 Added pretty-printing support for checker-specific state for the CFRefCount checker. by Ted Kremenek · 16 years ago
- 75da3e8 Expanded graph-visualization to include optional pretty-printing of checker-specific state. by Ted Kremenek · 16 years ago
- 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 16 years ago
- 493d7a2 Expanded graph visualization interface to include specifying a range of by Ted Kremenek · 16 years ago
- 23f4127 Make "super" rewrite for class methods C++ friendly (follow-up from last commit). by Steve Naroff · 16 years ago
- 73c750b Added bookkeeping of error nodes. by Ted Kremenek · 16 years ago
- 1ac08d6 Added main logic for typestate tracking for the CFRetain checker. by Ted Kremenek · 16 years ago
- c0a123c Make "super" rewrite C++ friendly (since it doesn't support Compound Literals). by Steve Naroff · 16 years ago
- 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 16 years ago
- 946a693 Generate meta-data in a C++ compatible way (remove 2 dependencies on C "flexible array member" idiom and perform some extra casts). by Steve Naroff · 16 years ago
- ba9ac4e Missed a couple "_IMPL" suffixes. by Steve Naroff · 16 years ago
- 61ed9ca Fix dangling pointer and give the implementation struct for a class a unique name. by Steve Naroff · 16 years ago
- 456e79d Add support for the 'N' constraint. by Anders Carlsson · 16 years ago
- 4f943c2 Pass LangOptions to RewriteTest(). by Steve Naroff · 16 years ago
- 15bd799 rewriter tests are darwin specific, don't run them on other platforms. by Chris Lattner · 16 years ago
- 8ce68d2 Fix "error: explicit template specialization cannot have a storage class" by Chris Lattner · 16 years ago
- 87cf5ac Add some missing #includes for GCC mainline, patch by Shantonu Sen! by Chris Lattner · 16 years ago
- 3f91650 Add transfer function support for pointer arithmetic where the by Ted Kremenek · 16 years ago
- 5f9e24c add comments about some simple optimizations that may become by Chris Lattner · 16 years ago
- 6b88450 implement simple support for arbitrary token lookahead. Change the by Chris Lattner · 16 years ago
- 3bbad55 More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 16 years ago
- 0d093d3 More cleanups with using the liveness analysis to removed dead symbols and by Ted Kremenek · 16 years ago
- 512c913 When processing the transfer function for a statement, evaluate by Ted Kremenek · 16 years ago
- daa497e Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into the by Ted Kremenek · 16 years ago
- 3ce9214 Bug fix in the transfer function for compound assignments: if the value by Ted Kremenek · 16 years ago
- efdfa77 Handle the 'n' constraint by Anders Carlsson · 16 years ago
- f3dabbd Fix a ted-o by Chris Lattner · 16 years ago
- 89413fe Fixed crash where SetBlkExpr would attempt to query the liveness data when by Ted Kremenek · 16 years ago
- 7d39d74 improve comment. by Chris Lattner · 16 years ago
- 1072509 move PP::LookupFile from PPLexerChange -> PPDirectives.cpp by Chris Lattner · 16 years ago
- 4f2d57c Add PPLexerChange.cpp to the project. by Chris Lattner · 16 years ago
- 8c32b1a Move a bunch more code out of Preprocessor.cpp into PPLexerChange.cpp by Chris Lattner · 16 years ago
- 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
- a3b605e split macro expansion support out of Preprocessor.cpp into PPMacroExpansion.cpp by Chris Lattner · 16 years ago
- ec9426c Propagate calling convention information to function declarations and CallInst by Nate Begeman · 16 years ago
- fde2bf9 rename HandleEndOfMacro -> HandleEndOfTokenLexer by Chris Lattner · 16 years ago
- e5c8ffe split the MacroArgs class out of TokenLexer.cpp/h into MacroArgs.cpp/h by Chris Lattner · 16 years ago
- 7928125 update documentation by Chris Lattner · 16 years ago
- 6cfe759 rename some MacroExpander-related ivars to TokenLexer. by Chris Lattner · 16 years ago
- 5d75de0 Rename MacroExpander.cpp/h -> TokenLexer.cpp/h by Chris Lattner · 16 years ago
- 1543e9c rename the MacroExpander class to TokenLexer. It handles both by Chris Lattner · 16 years ago
- 8d89643 rename MacroTokens -> Tokens. When this is a token stream, there is no macro by Chris Lattner · 16 years ago
- d283292 fix clang xcode build by Nate Begeman · 16 years ago
- 141e71f split preprocesor directive handling out of Preprocessor.cpp into Directives.cpp by Chris Lattner · 16 years ago
- 177b1c7 secondary targets are gone, simplify this. by Chris Lattner · 16 years ago
- 6fd9fa1 simplify triple processing code now that there can be only one arch specified. by Chris Lattner · 16 years ago
- 0ec8242 be more quiet when building headers. by Chris Lattner · 16 years ago
- 9c4bea1 add some comments. by Chris Lattner · 16 years ago
- cd4fc42 make float format handling more regular. by Chris Lattner · 16 years ago
- 9e9b6dc simplify all the type info accessors in TargeTInfo to return scalars, by Chris Lattner · 16 years ago
- f72a443 Fix a fixme by allowing pointers in different address spaces to have by Chris Lattner · 16 years ago
- 0eaed12 eliminate the TargetInfoImpl stuff, simplifying the target implementations. by Chris Lattner · 16 years ago
- 3901611 eliminate ComputeWCharInfo. by Chris Lattner · 16 years ago
- dfbc957 Increased worklist limit for GRSimpleVals. by Ted Kremenek · 16 years ago
- ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 16 years ago
- e97ca06 Improved graph visualization of ExplodedGraphs to include source line and column by Ted Kremenek · 16 years ago
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
- b6789ca Add new test by Nate Begeman · 16 years ago
- 440b456 Add fastcall/stdcall attribute support by Nate Begeman · 16 years ago
- 4d839b4 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 16 years ago
- aa8f976 Patch by Nuno Lopes: by Ted Kremenek · 16 years ago
- 843e934 fix typos by Gabor Greif · 16 years ago
- 5617fae Fixed mismatched deallocation in GRBlockCounter::Factory::~Factory. by Ted Kremenek · 16 years ago
- 2a625bc remove two obsolete tests, not sure why my previous commit didn't commit the removal. by Chris Lattner · 16 years ago
- 2fff37e Added boilerplate to execute the CF reference count checker (which isn't yet implemented). by Ted Kremenek · 16 years ago
- cb0ab29 Added "CheckerState" field to ValueState. by Ted Kremenek · 16 years ago
- 55aea31 Added transfer function support for __builtin_expect. by Ted Kremenek · 16 years ago
- 5dc7f8b Small bug fix when handling CallExprs that generate sink nodes. by Ted Kremenek · 16 years ago
- f34729a Update vcproj files. by Steve Naroff · 16 years ago
- 4bf38da Fixed bug that could case unwanted bifurcation of states when evaluating calls. by Ted Kremenek · 16 years ago
- 1aa9a58 Fixed bogus assumption mistakenly introduced in r47955. by Ted Kremenek · 16 years ago
- 596f0a1 Fixed a horribly insidious bit-masking bug in the implementation of by Ted Kremenek · 16 years ago
- 8ecfc85 Minor cleanups (mainly indentation). by Ted Kremenek · 16 years ago