diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-03-23 01:21:23 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-03-23 01:21:23 +0000 |
| commit | 59d179e9d2971e8b9abd1d5f01e6815f2ac02b3e (patch) | |
| tree | 2b0a82d4f94e52800b69813effa42956d22c0c62 /clang/utils/analyzer/CmpRuns.py | |
| parent | 604d0bbba579e934a10609a4f9cea85170337750 (diff) | |
| download | bcm5719-llvm-59d179e9d2971e8b9abd1d5f01e6815f2ac02b3e.tar.gz bcm5719-llvm-59d179e9d2971e8b9abd1d5f01e6815f2ac02b3e.zip | |
[analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.
We can support the full range of comparison operations between two locations
by canonicalizing them as subtraction, as in the previous commit.
This won't work (well) if either location includes an offset, or (again)
if the comparisons are not consistent about which region comes first.
<rdar://problem/13239003>
llvm-svn: 177803
Diffstat (limited to 'clang/utils/analyzer/CmpRuns.py')
0 files changed, 0 insertions, 0 deletions
