diff options
| author | Ryotaro Kasuga <kasuga.ryotaro@fujitsu.com> | 2025-07-26 03:25:01 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-26 03:25:01 +0900 |
| commit | b06f10d96c6d0fb89253c75c7f1d75c4cf519339 (patch) | |
| tree | 0f4a21425bf8cdf4c73689e51f57a46436e6d962 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 80594820512605f25993b28d0aab2214d5308d59 (diff) | |
[DA] Add check for base pointer invariance (#148241)
As specified in #53942, DA assumes base pointer invariance in its
process. Some cases were fixed by #116628. However, that PR only
addressed the parts related to AliasAnalysis, so the original issue
persists in later stages, especially when the AliasAnalysis results in
`MustAlias`.
This patch insert an explicit loop-invariant checks for the base pointer
and skips analysis when it is not loop-invariant.
Fix the cases added in #148240.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions