Commits · 1f3d4a73f54a7864760691625b385fb78191e0cd · Roger Ferrer / llvm-epi-0.8

Feb 08, 2008
- Implemented transfer functions for "<<" and ">>" when the RValues are · fd39e73b
  Ted Kremenek authored Feb 08, 2008
```
ConcreteInts.

llvm-svn: 46883
```
  fd39e73b
- More variable renamings. · fd641f10
  Ted Kremenek authored Feb 08, 2008
```
llvm-svn: 46875
```
  fd641f10
- Renamed InvalidValue to UnknownVal. · 173743da
  Ted Kremenek authored Feb 08, 2008
```
Renamed UninitializedValue to UninitializedVal.

llvm-svn: 46874
```
  173743da
Feb 07, 2008
- Added some more opcode pretty-printing. · e187d051
  Ted Kremenek authored Feb 07, 2008
```
Minor cleanups with generating nodes for NULL-pointer dereferences.

llvm-svn: 46851
```
  e187d051
- Added recording of "implicit" NULL dereferences of symbolic pointers. · e324704e
  Ted Kremenek authored Feb 07, 2008
```
llvm-svn: 46843
```
  e324704e
- get the tree building again · 6bd4c7f9
  Chris Lattner authored Feb 07, 2008
```
llvm-svn: 46840
```
  6bd4c7f9
- Added transfer function logic for ReturnStmts. · 43523e0f
  Ted Kremenek authored Feb 07, 2008
```
Fixed insidious bug in handling dereferences.

llvm-svn: 46835
```
  43523e0f
Feb 06, 2008

Major code refactoring/cleanup with transfer function logic. Now the · cdd0be1d
Ted Kremenek authored Feb 06, 2008
```
code structure is more suitable for additional symbolic analysis.

llvm-svn: 46831
```
cdd0be1d
Added assumption logic for symbolic non-lvalues when used in conditions such as · 17b65b55
Ted Kremenek authored Feb 06, 2008
```
"if(x)". On the true branch we know the value is != 0, and on the false branch
we know it is 0.

llvm-svn: 46814
```
17b65b55

Fixed signedness bug in cast transfer function when casting integers to pointers. · d17f0543

Ted Kremenek authored Feb 06, 2008

Removed lval::SymIntConstraintVal; wrappers for symbolic constraints are not lvalues (only integers that evaluate to !0 or 0).

llvm-svn: 46796

d17f0543

Added pretty-printing support for lval::SymIntConstraintVal and · 38b32e97

Ted Kremenek authored Feb 05, 2008

nonlval::SymIntConstraintVal.

Reworked transfer function for '==' and '!=' for LValues to return
SymIntConstraintVal when comparing a symbol with a constant.

llvm-svn: 46778

38b32e97

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 "SymIntConstraint", a utility class to represent intermediate values for · a4aa95bd
  Ted Kremenek authored Feb 05, 2008
```
transfer function evaluation that represent constraints between symbolic values
and constant integers.

llvm-svn: 46769
```
  a4aa95bd
Feb 04, 2008
- Implemented transfer function for unary '~'. · 2cdfd667
  Ted Kremenek authored Feb 04, 2008
```
llvm-svn: 46708
```
  2cdfd667
Feb 01, 2008
- Implemented casts for ConcreteInt and ConcreteIntLValue. · effdafa6
  Ted Kremenek authored Feb 01, 2008
```
Implemented '==' and '!=' for ConcreteIntLValue.

llvm-svn: 46630
```
  effdafa6
Jan 31, 2008
- Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. · 28387998
  Ted Kremenek authored Jan 31, 2008
```
Moved ValueKey/ValueMap declaration to ValueState.h.

llvm-svn: 46618
```
  28387998