diff options
| author | Philip Reames <preames@rivosinc.com> | 2024-08-01 13:17:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-01 13:17:07 -0700 |
| commit | f0944f4be0b3187fa39e9161bc7b344029c200f5 (patch) | |
| tree | 801b72504d93e054f9030984913549ac687c540c /lldb/source/Plugins/ScriptInterpreter/Python/Interfaces/ScriptedProcessPythonInterface | |
| parent | e89129ed30d64ed61e38269b1722adc18844a31c (diff) | |
[SCEV] Prove no-self-wrap from negative power of two step (#101416)
We have existing code which reasons about a step evenly dividing the
iteration space is a finite loop with a single exit implying
no-self-wrap. The sign of the step doesn't effect this.
---------
Co-authored-by: Nikita Popov <github@npopov.com>
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/Interfaces/ScriptedProcessPythonInterface')
0 files changed, 0 insertions, 0 deletions