Remove unreachable intrinsic

This commit is contained in:
Nazım Can Altınova 2020-07-18 12:48:26 +02:00
parent 515287f114
commit d1aee6965b

View File

@ -37,7 +37,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
let (dest, ret) = match ret {
None => match intrinsic_name {
"miri_start_panic" => return this.handle_miri_start_panic(args, unwind),
"unreachable" => throw_ub!(Unreachable),
_ => throw_unsup_format!("unimplemented (diverging) intrinsic: {}", intrinsic_name),
},
Some(p) => p,