| commit | 862d5bbd90f6bdf18246f0e774d745e8c15cf31d | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Feb 06 00:54:14 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Feb 06 00:54:14 2008 +0000 |
| tree | 61a85eb47e19fcf405a8788bf203347cd1b32a06 | |
| parent | e1e798524777271eff0cce556260cc1ec6c97e2e [diff] |
Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). This action will add constraints to the possible values of a symbol. Still needs to be debugged. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46789 91177308-0d34-0410-b5e6-96231b3b80d8