Miri engine: proper support for `Assert` MIR terminators - #66874

Merged

bors merged 9 commits into

rust-lang:masterfrom

RalfJung:miri-assert-panic

Dec 2, 2019

Commits on Dec 2, 2019

Miri: add machine hook for MIR-level assertion panics
RalfJung
committed
b1aa3ca
expose span to M::assert_panic, and provide helper to turn that into CallerLocation
RalfJung
committed
a8eea62
Add From instances for Pointer -> ScalarMaybeUndef and Pointer -> Immediate
RalfJung
committed
cde17d9
Miri: add helper fn to allocate string; simplify alloc_caller_location
RalfJung
committed
56356a0
add and use helper method to get SourceInfo of current instruction in frame
RalfJung
committed
c8743db
make alloc_extra machine hook a bit nicer
RalfJung
committed
96ea142
fat -> wide
RalfJung
committed
386a2bb
Assert terminator is never executed in ConstProp
RalfJung
committed
9a52543
fix init_allocation_extra
RalfJung
committed
5e51a15