diff options
| author | Nikita Popov <npopov@redhat.com> | 2025-01-29 09:09:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-29 09:09:14 +0100 |
| commit | 07efe2c18a63423943a4f9d9daeada23601f84c8 (patch) | |
| tree | 7823ae43cd3eb7db5e137dab53cdb5c0e727beb9 /lldb/unittests/ScriptInterpreter/Python/PythonDataObjectsTests.cpp | |
| parent | a3aa452a21f983237873fa85c866b9f0224789bd (diff) | |
[SCEV] Check correct value for UB (#124302)
This is a followup to #117152. That patch introduced a check for
UB/poison on BEValue. However, the SCEV we're actually going to use is
Shifted. In some cases, it's possible for Shifted to contain UB, while
BEValue doesn't.
In the test case the values are:
BEValue: (-1 * (zext i8 (-83 + ((-83 /u {1,+,1}<%loop>) *
{-1,+,-1}<%loop>)) to i32))<nuw><nsw>
Shifted: (-173 + (-1 * (zext i8 ((-83 /u {0,+,1}<%loop>) *
{0,+,-1}<%loop>) to i32))<nuw><nsw>)<nuw><nsw>
Fixes https://github.com/llvm/llvm-project/issues/123550.
Diffstat (limited to 'lldb/unittests/ScriptInterpreter/Python/PythonDataObjectsTests.cpp')
0 files changed, 0 insertions, 0 deletions