interpret: on a signed deref check, mention the right pointer in the error#128482

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:ptr-signed-offset

Aug 1, 2024

+277-334

Commits on Aug 1, 2024

on a signed deref check, mention the right pointer in the error
RalfJung
committed
interpret: simplify pointer arithmetic logic
RalfJung
committed
fix the way we detect overflow for inbounds arithmetic (and tweak the error message)
RalfJung
committed