don't UB on dangling ptr deref, instead check inbounds on projections - #114330

Merged

bors merged 8 commits into

rust-lang:masterfrom

RalfJung:dagling-ptr-deref

Oct 16, 2023

Commits on Oct 15, 2023

don't UB on dangling ptr deref, instead check inbounds on projections
RalfJung
committed
b1ebf00
avoid re-checking the offset while iterating an array/slice
RalfJung
committed
ea9a24e
place evaluation: require the original pointer to be aligned if an access happens
RalfJung
committed
f3f9b79
avoid computing misalignment if we won't act on it
RalfJung
committed
cbf47a1
more precise error for 'based on misaligned pointer' case
RalfJung
committed
e24835c
separate bounds-check from alignment check
RalfJung
committed
b131fc1
update MIR place semantics UB comment
RalfJung
committed
28b0c87

Commits on Oct 16, 2023

add oversized-ref test back
RalfJung
committed
1ac153f