diff options
| author | Florian Hahn <flo@fhahn.com> | 2023-11-08 14:07:28 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2023-11-08 14:07:28 +0000 |
| commit | 26ab444e88fc8fdd554e5a9381a68b7b5e63b6fd (patch) | |
| tree | 6d8afb6425fc028c97a6bda166734746bf8d4d4e /lldb/test/API/functionalities/scripted_process/TestScriptedProcess.py | |
| parent | 067632e141b28806d7dff5f7ef606292d914b90f (diff) | |
[ConstraintElim] Make sure add-rec is for the current loop.
Update addInfoForInductions to also check if the add-rec is for the
current loop. Otherwise we might add incorrect facts or crash.
Fixes a miscompile & crash introduced by 00396e6a1a0b.
Diffstat (limited to 'lldb/test/API/functionalities/scripted_process/TestScriptedProcess.py')
0 files changed, 0 insertions, 0 deletions