Repository navigation

miri engine: Fix run-time validation - #54955

Merged

bors merged 12 commits into

rust-lang:masterfrom

RalfJung:miri-validate2

Oct 13, 2018

Merged

miri engine: Fix run-time validation#54955
bors merged 12 commits into
rust-lang:masterfrom
RalfJung:miri-validate2

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