aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRState.cpp
AgeCommit message (Expand)Author
2008-08-27Make the destructor of ConstraintManager virtual.Ted Kremenek
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
2008-08-23adjust to changes in various APIs from LLVM. We can't printChris Lattner
2008-08-23Simplify interface to Store::AddDeclTed Kremenek
2008-08-21Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu
2008-08-20Patch by Zhongxing Xu:Ted Kremenek
2008-08-20Patch by Zhongxing Xu: We should set back the modified ConstEq map.Ted Kremenek
2008-08-19Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek
2008-08-19Patch by Zhongxing Xu!Ted Kremenek
2008-08-17various updates to match r54873 on mainline.Chris Lattner
2008-08-17Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ...Ted Kremenek
2008-08-17Added GRStateTrait.h, which includes boilerplate code for creating specializa...Ted Kremenek
2008-08-16GRState:Ted Kremenek
2008-08-14Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek
2008-08-13Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek
2008-08-13Rename ValueState.h -> GRState.hTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-04 09:50:36 +0000