Commits · 0747e7e025b3b07f2582739d5df0a5648b05fd5b · Roger Ferrer / llvm-epi-0.8

Oct 21, 2008
- Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. · 8f6855e6
  Zhongxing Xu authored Oct 21, 2008
```
llvm-svn: 57896
```
  8f6855e6
- Process decls in RegionStore. Individual elements of fixed size arrays are · 83aff707
  Zhongxing Xu authored Oct 21, 2008
```
initialized to UndefinedVal.

llvm-svn: 57892
```
  83aff707
Oct 17, 2008

- constify some uses of MemRegion* (MemRegion should be immutable). · 8b103c65

Ted Kremenek authored Oct 17, 2008

- Added new region "SymbolicRegion", which maps symbol values to the region domain.
- Enhanced BasicStore::getFieldLValue() to return a FieldRegion (using SymbolicRegion)
- Added some utility methods to GRState for fetch svals from the store.
- Fixed regression in CheckNSError (we weren't getting the value bound to the parameter)

llvm-svn: 57717

8b103c65

This patch did the following renaming. There should be no functional changes. · 27f17421
Zhongxing Xu authored Oct 17, 2008
```
RVal => SVal
LVal => Loc
NonLVal => NonLoc
lval => loc
nonlval => nonloc

llvm-svn: 57671
```
27f17421

Oct 08, 2008

This is the first step to implement a field-sensitive store model. Other... · d9959aee

Zhongxing Xu authored Oct 08, 2008

This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc.

llvm-svn: 57285

d9959aee