diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-11-20 19:03:45 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-11-20 21:01:26 +0100 |
| commit | cd84cab6b37f615d0babd0b1c7b9e3acef5586c2 (patch) | |
| tree | 3a1af895e7a4d6bf6d9e5a34cb6615cdc365d0ca /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 25a9ee52f139edc71043fbb218818aa735faa7b4 (diff) | |
[LVI] Support urem in implied conditions
If (X urem M) >= C we know that X >= C. Make use of this fact
when computing the implied condition range.
In some cases we could also establish an upper bound, but that's
both tricker and not interesting in practice.
Alive: https://alive2.llvm.org/ce/z/R5ZGSW
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions