]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 427e369 4b81dd4)
Rollup merge of #66926 - RalfJung:miri-stop, r=oli-obk
authorMazdak Farrokhzad <twingoow@gmail.com>
Mon, 2 Dec 2019 03:09:07 +0000 (04:09 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Dec 2019 03:09:07 +0000 (04:09 +0100)
commitcd47551a0e4f9e04d9bf4e648601667ebfdd78fc
tree83d09d793be00ebbe835ca8d70dc3bd2ab11d589tree | snapshot
parent427e3690f5b2aac03f0bff21d630ccf2028a6371commit | diff
parent4b81dd43e071fb46c13d09f1c3851bd33e39376ccommit | diff
Rollup merge of #66926 - RalfJung:miri-stop, r=oli-obk

add reusable MachineStop variant to Miri engine error enum

Replace the Miri-tool-specific `Exit` error variant with something dynamically typed that all clients of the Miri engine can use.

r? @oli-obk
Cc https://github.com/rust-lang/rust/issues/66902
src/librustc_mir/transform/const_prop.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.