commit | 26da970ce22173d2b55d542aa354708f0785f8d2 | [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 | 14dbe32b735c7dbc5732d21c663a5777a7a89306 [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