diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-21 17:23:51 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-21 17:23:51 +0000 |
| commit | 3af5b28f478060d07d033ed11580493480957bbe (patch) | |
| tree | fe706f3922bdef7b61eeb474afb590e29c3bff26 /lldb/source/Plugins/ScriptInterpreter/Python | |
| parent | 54dab70bb75eabe1319fe1b1c94c0930230eb06d (diff) | |
| download | llvm-3af5b28f478060d07d033ed11580493480957bbe.zip llvm-3af5b28f478060d07d033ed11580493480957bbe.tar.gz llvm-3af5b28f478060d07d033ed11580493480957bbe.tar.bz2 | |
[ValueTracking] Use ConstantRange based overflow check for signed sub
This is D59450, but for signed sub. This case is not NFC, because
the overflow logic in ConstantRange is more powerful than the existing
check. This resolves the TODO in the function.
I've added two tests to show that this indeed catches more cases than
the previous logic, but the main correctness test coverage here is in
the existing ConstantRange unit tests.
Differential Revision: https://reviews.llvm.org/D59617
llvm-svn: 356685
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python')
0 files changed, 0 insertions, 0 deletions