diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-07 22:30:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-07 22:30:22 +0000 |
| commit | 4b1327960d65d6bf5dd24992824e65a493855ada (patch) | |
| tree | 5945844633d2d22de3c855addc2b34187b448806 /llvm/lib/ExecutionEngine/Interpreter/Interpreter.cpp | |
| parent | 18391f432b5e8c91649ee44486988625e78af646 (diff) | |
| download | llvm-4b1327960d65d6bf5dd24992824e65a493855ada.zip llvm-4b1327960d65d6bf5dd24992824e65a493855ada.tar.gz llvm-4b1327960d65d6bf5dd24992824e65a493855ada.tar.bz2 | |
Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later).
llvm-svn: 54493
Diffstat (limited to 'llvm/lib/ExecutionEngine/Interpreter/Interpreter.cpp')
0 files changed, 0 insertions, 0 deletions