Raising: rewrite pointer induction to indexed accesses - #3011

Open

wsmoses wants to merge 2 commits into

pb/buffer-normalizationsfrom

pb/pointer-induction

Commits on Aug 28, 2026

Raising: rewrite pointer induction to indexed accesses

wsmoses
and
claude
committed
8f719f2
Pointer induction: used finals, runtime strides, lagging alias iter args

wsmoses
and
claude
committed
f790cbb