miri engine: Fix run-time validation - #54955

Merged

bors merged 12 commits into

rust-lang:masterfrom

RalfJung:miri-validate2

Oct 13, 2018

Commits on Oct 13, 2018

fix validation around transmuting copy_op
RalfJung
committed
5b75ec0
check return type even for uninhabited case
RalfJung
committed
a05914e
validate return value on stack pop
RalfJung
committed
f79a22c
size_and_align_of can return no result for extern types
RalfJung
committed
93f53e5
seems like for generators we cannot access the freevars
RalfJung
committed
d0c585c
foreign types: use size and align from layout
RalfJung
committed
3272c98
make ENFORCE_VALIDITY a function
RalfJung
committed
69576fc
Fix and test upvar name printing for validity
RalfJung
committed
c96eb70
validation: accept pointers in integer arrays
RalfJung
committed
dc4b277
address nits
RalfJung
committed
b2ddd27
run-time validation: accept undef in int arrays, as we do for ints
RalfJung
committed
06a4911
update miri
RalfJung
committed
6426cbe