diff options
| author | Adam Balogh <adam.balogh@ericsson.com> | 2018-06-28 07:35:23 +0000 |
|---|---|---|
| committer | Adam Balogh <adam.balogh@ericsson.com> | 2018-06-28 07:35:23 +0000 |
| commit | 77660ee89a016c3460c39f7953deda20bce0d4bb (patch) | |
| tree | de16dd9188a63ead72902f91132d74aaa275fe2f /lldb/packages/Python/lldbsuite/test/python_api/signals/TestSignalsAPI.py | |
| parent | 17a098dedf80d19f72fd1f607b820a535d1e1030 (diff) | |
| download | bcm5719-llvm-77660ee89a016c3460c39f7953deda20bce0d4bb.tar.gz bcm5719-llvm-77660ee89a016c3460c39f7953deda20bce0d4bb.zip | |
[Analyzer] Constraint Manager Negates Difference
If range [m .. n] is stored for symbolic expression A - B, then we can deduce the range for B - A which is [-n .. -m]. This is only true for signed types, unless the range is [0 .. 0].
Differential Revision: https://reviews.llvm.org/D35110
llvm-svn: 335814
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/signals/TestSignalsAPI.py')
0 files changed, 0 insertions, 0 deletions
