diff options
| author | Florian Hahn <flo@fhahn.com> | 2020-02-07 10:31:35 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2020-02-07 10:41:18 +0000 |
| commit | 14ef87bda67d53f351217c4522150e41fb5695e8 (patch) | |
| tree | 011025f5ee49812fc927437a72365aafa49685a2 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 74734e809ac778beb01776ee207643184c09c2a0 (diff) | |
[ValueTracking] usub(a, b) cannot overflow if a >= b.
If we know that a >= b (unsigned), usub.with.overflow(a, b) cannot
overflow. Similarly, if b > a, the same expression overflows.
Reviewers: nikic, RKSimon, lebedev.ri, spatel
Reviewed By: nikic, Gerolf
Differential Revision: https://reviews.llvm.org/D74066
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions