]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 74be487 f80bf10)
Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk
authorYuki Okushi <jtitor@2k36.org>
Mon, 25 Jul 2022 22:14:49 +0000 (07:14 +0900)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2022 22:14:49 +0000 (07:14 +0900)
commit2973b00ca6bc85ba3552282657de81d4baf864cc
tree0b9b3bfb623d03cefd8f28f7984a75f0c8196a43tree | snapshot
parent74be487ca093e67bc840a83414a916d91b825081commit | diff
parentf80bf1013d52c50e308746a977ed6a7cdd28c6a5commit | diff
Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk

don't ICE on invalid dyn calls

Due to https://github.com/rust-lang/rust/issues/50781 this is actually reachable.
Fixes https://github.com/rust-lang/miri/issues/2432

r? ``@oli-obk``
compiler/rustc_const_eval/src/interpret/terminator.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.