summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicStore.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Simplify interface to Store::AddDeclTed Kremenek2008-08-231-5/+9
| | | | llvm-svn: 55213
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-1/+68
| | | | llvm-svn: 55144
* Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek2008-08-191-1/+22
| | | | llvm-svn: 55013
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-3/+37
| | | | | | | 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
* Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual ↵Ted Kremenek2008-07-171-17/+78
| | | | | | RemoveDeadBindings method in StoreManager. llvm-svn: 53726
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-0/+141
current store implementation is now encapsulated by BasicStore. These changes prompted some long due constification of ValueState. Much of the diffs in this patch include adding "const" qualifiers. llvm-svn: 53423
OpenPOWER on IntegriCloud