Miri engine: support extra function (pointer) values#62245

Merged

bors merged 8 commits intorust-lang:masterfrom

RalfJung:miri-extra-fn

Jul 6, 2019

Commits on Jul 4, 2019

Add basic support for "other" kinds of values for function pointers, determined by the machine instance.
RalfJung
committed
add machine hook to handle calls to 'extra' function values
RalfJung
committed
fix determinig the size of foreign static allocations
RalfJung
committed
fix for tidy
RalfJung
committed
make Memory::get_fn take a Scalar like most of the Memory API surface
RalfJung
committed
use get_size_and_align to test if an allocation is live
RalfJung
committed
turns out that dangling pointer branch is dead code; remove it and improve the error that actually gets shown a bit
RalfJung
committed
improve validity error range printing for singleton ranges
RalfJung
committed