Skip to content

[LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap#147047

Merged
fhahn merged 11 commits intollvm:mainfrom
fhahn:laa-deref-assumption
Aug 1, 2025
Merged

[LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap#147047
fhahn merged 11 commits intollvm:mainfrom
fhahn:laa-deref-assumption

Commits

Commits on Jul 8, 2025