Commits · 5888e603c321ec13e0a26dc2de0345137721aad1 · Roger Ferrer / llvm-epi-0.8

Aug 25, 2008

Ted Kremenek authored Aug 25, 2008

Added 'getExtent()' to StoreManager.
Implemented 'getExtent()' for BasicStoreManager.

llvm-svn: 55321

2a2c875b

Aug 23, 2008
- Simplify interface to Store::AddDecl · 4e7713c0
  Ted Kremenek authored Aug 23, 2008
```
llvm-svn: 55213
```
  4e7713c0
Aug 22, 2008
- Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. · d95495f6
  Zhongxing Xu authored Aug 21, 2008
```
llvm-svn: 55144
```
  d95495f6
Aug 20, 2008
- Move store pretty-printing logic inside of StoreManager (previously in GRState). · 19edd216
  Ted Kremenek authored Aug 19, 2008
```
llvm-svn: 55013
```
  19edd216
Aug 19, 2008

Patch by Zhongxing Xu! · 67102b28

Ted Kremenek authored Aug 19, 2008

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

67102b28

Jul 17, 2008

Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual... · 88a6b7fa

Ted Kremenek authored Jul 17, 2008

Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager.

llvm-svn: 53726

88a6b7fa

Jul 11, 2008

Refactored most of the "Store" piece of ValueState into a Store type. The · a7b8ffb0

Ted Kremenek authored Jul 10, 2008

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

a7b8ffb0