Commits · 509bd9e30a09646489e36fe73afbdcc2d1795fad · Roger Ferrer / llvm-epi-0.8

Oct 24, 2008
- Fix 80-col violation. · c7796d34
  Zhongxing Xu authored Oct 24, 2008
```
llvm-svn: 58070
```
  c7796d34
- Add a bunch of dummy methods to make RegionStoreManager non-virtual. · cebb741f
  Zhongxing Xu authored Oct 24, 2008
```
llvm-svn: 58061
```
  cebb741f
- Added getLValueElement() to RegionStore. Only handle constant array for now. · a8d2cbe4
  Zhongxing Xu authored Oct 24, 2008
```
llvm-svn: 58058
```
  a8d2cbe4
- Make the analyzer store (memory model) a command line option. · 6779f893
  Ted Kremenek authored Oct 24, 2008
```
llvm-svn: 58056
```
  6779f893
Oct 22, 2008
- Add a bunch of getLValue* methods to RegionStore. · 2fbc3544
  Zhongxing Xu authored Oct 22, 2008
```
llvm-svn: 57977
```
  2fbc3544
Oct 21, 2008
- Preliminary support for function overloading · 5251f1b2
  Douglas Gregor authored Oct 21, 2008
```
llvm-svn: 57909
```
  5251f1b2
- 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