diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-09-04 11:32:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-04 11:32:33 +0100 |
| commit | b400fd115145ccea0b62944e37e74eedc9da223f (patch) | |
| tree | 29cbe2f2410c3d2a0b4dd1c7eab1878d679caca0 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | c14052e20b87bc74a031d09fb312723e0751ed0f (diff) | |
[LAA] Support assumptions with non-constant deref sizes. (#156758)
Update evaluatePtrAddrecAtMaxBTCWillNotWrap to support non-constant
sizes in dereferenceable assumptions.
Apply loop-guards in a few places needed to reason about expressions
involving trip counts of the from (BTC - 1).
PR: https://github.com/llvm/llvm-project/pull/156758
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions