Skip to content

Commit

Permalink
abort intrinsic is handled by librustc_mir now
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Mar 15, 2020
1 parent 956692d commit 17a677f
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions src/shims/intrinsics.rs
Original file line number Diff line number Diff line change
Expand Up @@ -35,10 +35,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),
"abort" => {
// FIXME: remove, once the intrinsic on the rustc side is fixed.
throw_machine_stop!(TerminationInfo::Abort);
}
_ => throw_unsup_format!("unimplemented (diverging) intrinsic: {}", intrinsic_name),
},
Some(p) => p,
Expand Down

0 comments on commit 17a677f

Please sign in to comment.