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

Merged

bors merged 8 commits into

rust-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
1297a27
add machine hook to handle calls to 'extra' function values
RalfJung
committed
5612feb
fix determinig the size of foreign static allocations
RalfJung
committed
486720f
fix for tidy
RalfJung
committed
b4be08a
make Memory::get_fn take a Scalar like most of the Memory API surface
RalfJung
committed
842bbd2
use get_size_and_align to test if an allocation is live
RalfJung
committed
317c6ac
turns out that dangling pointer branch is dead code; remove it and improve the error that actually gets shown a bit
RalfJung
committed
d9d6b3b
improve validity error range printing for singleton ranges
RalfJung
committed
ceb496c