diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2023-04-25 16:40:37 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2023-04-25 16:40:37 +0700 |
| commit | ab07cbe4377a1c5aca3693fd01c347eea7ac6988 (patch) | |
| tree | 6811d33831f02e0d0cb711b6e1189148df828619 /lldb/unittests/ScriptInterpreter/Python | |
| parent | a1677bda7975a0f690292587a04b9e053aacd1dc (diff) | |
| download | llvm-ab07cbe4377a1c5aca3693fd01c347eea7ac6988.zip llvm-ab07cbe4377a1c5aca3693fd01c347eea7ac6988.tar.gz llvm-ab07cbe4377a1c5aca3693fd01c347eea7ac6988.tar.bz2 | |
[SCEV] Support sub in and negative constants willNotOverflow
This lifts two TODOs from this function, allowing us to prove
no-overflow whether it happens through max int (up) or through
min int (down) for both and and sub.
Differential Revision: https://reviews.llvm.org/D148618
Reviewed By: dmakogon
Diffstat (limited to 'lldb/unittests/ScriptInterpreter/Python')
0 files changed, 0 insertions, 0 deletions