interpret, miri: uniform treatments of intrinsics/functions with and without return block#124715

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-noreturnRalfJung/rust:interpret-noreturnCopy head branch name to clipboard