commit | 2619be072ccc6a722278d1ec39b98eae068d3da3 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Thu Aug 07 22:30:22 2008 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Thu Aug 07 22:30:22 2008 +0000 |
tree | b590b3472399ec453443e1f639797029b5657e72 | |
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