Miri engine cleanup - #53671

Merged

bors merged 21 commits into

rust-lang:masterfrom

RalfJung:miri-refactor

Aug 29, 2018

Commits on Aug 27, 2018

Miri Memory Work
RalfJung
committed
c141ccf
without all those copies of constants, we can finally make eval_operand take &self
RalfJung
committed
2592b20
allow Machine to hook into foreign statics; remove unused HasMemory trait
RalfJung
committed
286fc5c
simplify const_to_allocation_provider because it is used for statics only
RalfJung
committed
66d64ba
Clean up function calling
RalfJung
committed
aa645f3
terminator/drop.rs is just one fn... merge it together with the other terminator stuff
RalfJung
committed
a5baea6
switch validation to use operand, not mplace
RalfJung
committed
035c69f
move const_eval out of rustc_mir::interpret
RalfJung
committed
ef96a60
get rid of FinishStatic hack from stack clenaup; const_eval can do that itself
RalfJung
committed
9cfc9f0
dedicated handling for binops on bool and char (UB if they are not valid)
RalfJung
committed
548b373
validate enum discriminant whenever it is read
RalfJung
committed
89cfd08
fix handling of unsized types in validation; validate str to be UTF-8
RalfJung
committed
c898e19
expand comment on how statics work
RalfJung
committed
07bdd48
fix len() on non-array but array-layout types (e.g. SIMD)
RalfJung
committed
c38cc89
get rid of *most* of the fn call hack by honoring mir.spread_arg
RalfJung
committed
5b737db
use associated const for machine controlling mutable statics
RalfJung
committed
6c78fa8

Commits on Aug 28, 2018