ICE on invalid MIR

This commit is contained in:
Ralf Jung 2019-11-16 14:10:07 +01:00
parent 09180d71fd
commit 8952c8aa42

View file

@ -264,10 +264,7 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
match instance.def {
ty::InstanceDef::Intrinsic(..) => {
if caller_abi != Abi::RustIntrinsic && caller_abi != Abi::PlatformIntrinsic {
throw_ub_format!("Rust intrinsic called with an ABI other than \
`RustIntrinsic` and `PlatformIntrinsic`.");
}
assert!(caller_abi == Abi::RustIntrinsic || caller_abi == Abi::PlatformIntrinsic);
let old_stack = self.cur_frame();
let old_bb = self.frame().block;