diff options
| author | Nikita Popov <npopov@redhat.com> | 2022-01-18 10:54:06 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2022-01-18 11:24:11 +0100 |
| commit | 3ec7f46e99b3690d8d25def158c2d58793ca4b28 (patch) | |
| tree | 36a0e9aa636dab1decc79ffae6d27e22a126c289 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptedPythonInterface.cpp | |
| parent | b7bf96a258653582a996dbc0225fc4a38def5d3f (diff) | |
[LVI] Handle implication from icmp of trunc (PR51867)
Similar to the existing urem code, if we have (trunc X) >= C,
then also X >= C.
Proof: https://alive2.llvm.org/ce/z/RF4YR2
Fixes https://github.com/llvm/llvm-project/issues/51867.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptedPythonInterface.cpp')
0 files changed, 0 insertions, 0 deletions