Fix `memOutOfBounds` handling of negative pointer offsets#2017

Merged

sim642 merged 7 commits into

memsafety-neg-offset

May 7, 2026

Commits on May 7, 2026

Replace roundabout less-equal computation with less-equal call

karoliineh
and
sim642
authored
Refactor ptr_size_lt_offs to ptr_size_le_offs to avoid confusion
karoliineh
committed
Add regtests to distinguish between ptr value and deref bounds
karoliineh
committed