Commits · 622c193a32ed4a963739b77197c83b8c5265ac26 · Roger Ferrer / llvm-epi-0.8

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