Commits · ae3429f5f1287cc953f5f4cafcc99b684e9f1e96 · Roger Ferrer / llvm-epi-0.8 · GitLab

This is an archived project. Repository and other project resources are read-only.

Feb 28, 2008

Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) · e0c79380

Ted Kremenek authored Feb 28, 2008

This current implementation only works when both operands are concrete values; later we will add support for symbolic values.

llvm-svn: 47726

e0c79380

Feb 19, 2008
- Added missing case in constant propagation logic for handling the Xor of · 4ae99852
  Ted Kremenek authored Feb 19, 2008
```
two concrete integer values.

llvm-svn: 47341
```
  4ae99852
Feb 16, 2008
- Further cleanup. Moved definitions for SymbolManager and ValueManager into · 074965c5
  Ted Kremenek authored Feb 16, 2008
```
their own [.cpp;.h] files.

llvm-svn: 47201
```
  074965c5