summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRState.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Make the destructor of ConstraintManager virtual.Ted Kremenek2008-08-271-1/+5
| | | | llvm-svn: 55448
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-238/+0
| | | | llvm-svn: 55412
* adjust to changes in various APIs from LLVM. We can't printChris Lattner2008-08-231-4/+6
| | | | | | | | an APInt directly to an ostream now, so add some hacks. It would be better to switch all of the bugreport (and friends) stuff over to raw_ostream. llvm-svn: 55264
* Simplify interface to Store::AddDeclTed Kremenek2008-08-231-2/+3
| | | | llvm-svn: 55213
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-0/+18
| | | | llvm-svn: 55144
* Patch by Zhongxing Xu:Ted Kremenek2008-08-201-34/+2
| | | | | | This patch moves some code in GRStateManager::RemoveDeadBindings() to EnvironmentManager::RemoveDeadBindings(). llvm-svn: 55064
* Patch by Zhongxing Xu: We should set back the modified ConstEq map.Ted Kremenek2008-08-201-1/+2
| | | | llvm-svn: 55060
* Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek2008-08-191-18/+6
| | | | llvm-svn: 55013
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-2/+3
| | | | | | | This patch extends BasicStoreManager::getInitialStore() to include code that symbolicates input variables. It also removes redundant handling of ImplicitParamDecl, since it is a subclass of VarDecl. llvm-svn: 54993
* various updates to match r54873 on mainline.Chris Lattner2008-08-171-2/+2
| | | | llvm-svn: 54874
* Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ↵Ted Kremenek2008-08-171-27/+26
| | | | | | use the generic data map instead. llvm-svn: 54860
* Added GRStateTrait.h, which includes boilerplate code for creating ↵Ted Kremenek2008-08-171-38/+4
| | | | | | | | specializations of GRStateTrait<>. Modified GRStateTrait<ConstNotEq> in GRState to use the boilerplate in GRStateTrait<> for ImmutableMaps. llvm-svn: 54859
* GRState:Ted Kremenek2008-08-161-34/+120
| | | | | | | | | | | | | | - Remove ConstNotEq from GRState/GRStateManager (!= tracking uses GDM instead). - GRStateManager now can book-keep "contexts" (e.g., factory objects) for uses with data elements stored into the GDM. - Refactor pretty-printing of states to use GRState::Printer objects exclusively. This removed a huge amount of pretty-printing logic from GRExprEngine. CFRefCount - Simplified some API calls based on refinements to the GDM api. llvm-svn: 54835
* Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek2008-08-141-5/+22
| | | | | | | | | | | | | | of using CheckerState). Removed CheckerState from GRState. Added class GRStateRef which wraps GRState* and GRStateManager*. This is handy for generating new states with a single handle. Added member template set/get functions to GRStateRef/GRState/GRStateManager for accessing the Generic Data Map. llvm-svn: 54788
* Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek2008-08-131-10/+11
| | | | | | Updated checker state printer interface to allow transfer functions to return an arbitrary number of GRState::Printers. llvm-svn: 54762
* Rename ValueState.h -> GRState.hTed Kremenek2008-08-131-0/+575
Rename ValueState.cpp -> GRState.cpp llvm-svn: 54722
OpenPOWER on IntegriCloud