Commits · 4f26eb727072d49c2699cc7fac20742f16eb75c1 · Roger Ferrer / llvm-epi-0.8

"git@repo.hca.bsc.es:lalbano/llvm-bpevl.git" did not exist on "92a8c36735ec3dc2a9c1604916153293497eaedb"

Feb 06, 2008

Fixed bug when allocating a ValueStateImpl object in getPersistentState() · 4ff4e7ce

Ted Kremenek authored Feb 06, 2008

using the bump-pointer allocator and a placed new; we accidentally allocated
a ValueStateImpl* instead, causing an overrun when we did a placed new().

llvm-svn: 46793

4ff4e7ce

Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). · 03e7b55f
Ted Kremenek authored Feb 06, 2008
```
This action will add constraints to the possible values of a symbol.
Still needs to be debugged.

llvm-svn: 46789
```
03e7b55f

Feb 05, 2008
- Moved subclasses of LValue and NonLValue into their own namespaces. · 1e3fa134
  Ted Kremenek authored Feb 05, 2008
```
This noticeably cleans up the naming of these classes.

llvm-svn: 46770
```
  1e3fa134
- Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and... · 1cc95f6c
  Ted Kremenek authored Feb 05, 2008
```
Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758
```
  1cc95f6c
- Overhauling of "ValueState" so that it represents its own functional data · d8902e06
  Ted Kremenek authored Feb 05, 2008
```
structure that can contain several maps, not just one.

llvm-svn: 46744
```
  d8902e06
- Implemented initial transfer function support for '&&', '||', '?', and · 3f2f1ade
  Ted Kremenek authored Feb 05, 2008
```
__builtin_choose.

llvm-svn: 46731
```
  3f2f1ade
Feb 04, 2008
- Added file that should have been in my previous commit. · 7746a627
  Ted Kremenek authored Feb 04, 2008
```
llvm-svn: 46722
```
  7746a627