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 | 2619be072ccc6a722278d1ec39b98eae068d3da3 (patch) | |
| tree | b590b3472399ec453443e1f639797029b5657e72 /lib/CodeGen/CGDebugInfo.cpp | |
| parent | b238c3e81e1334cb3cb909dc6174f8c71241eb9e (diff) | |
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).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54493 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CGDebugInfo.cpp')
0 files changed, 0 insertions, 0 deletions