summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRState.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Make the destructor of ConstraintManager virtual.Ted Kremenek2008-08-271-1/+5
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-238/+0
* adjust to changes in various APIs from LLVM. We can't printChris Lattner2008-08-231-4/+6
* Simplify interface to Store::AddDeclTed Kremenek2008-08-231-2/+3
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-0/+18
* Patch by Zhongxing Xu:Ted Kremenek2008-08-201-34/+2
* Patch by Zhongxing Xu: We should set back the modified ConstEq map.Ted Kremenek2008-08-201-1/+2
* Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek2008-08-191-18/+6
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-2/+3
* various updates to match r54873 on mainline.Chris Lattner2008-08-171-2/+2
* Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ...Ted Kremenek2008-08-171-27/+26
* Added GRStateTrait.h, which includes boilerplate code for creating specializa...Ted Kremenek2008-08-171-38/+4
* GRState:Ted Kremenek2008-08-161-34/+120
* Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek2008-08-141-5/+22
* Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek2008-08-131-10/+11
* Rename ValueState.h -> GRState.hTed Kremenek2008-08-131-0/+575
OpenPOWER on IntegriCloud