diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-05-23 15:14:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-23 15:14:34 +0200 |
| commit | 27392a35ef052aa515f38359de89aced11a4363d (patch) | |
| tree | 85ad478ab21656ae9452b013fc2f98a704b06035 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 300e5b91144249a5b142b02d6331fcb33e13cf1d (diff) | |
[SCCP] Don't allow undef ranges when performing operations (#93163)
When performing some range operation (e.g. and) on a constant range that
includes undef, we currently just ignore the undef value, which is
obviously incorrect. Instead, we can do one of two things:
* Say that the result range also includes undef.
* Treat undef as a full range.
This patch goes with the second approach -- I'd expect it to be a bit
better overall, e.g. it allows preserving the fact that a zext of a
range with undef isn't a full range.
Fixes https://github.com/llvm/llvm-project/issues/93096.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions