@@ -10,6 +10,7 @@ use std::{fmt, process};
10
10
11
11
use rand:: rngs:: StdRng ;
12
12
use rand:: { Rng , SeedableRng } ;
13
+ use rustc_abi:: { Align , ExternAbi , Size } ;
13
14
use rustc_attr:: InlineAttr ;
14
15
use rustc_data_structures:: fx:: { FxHashMap , FxHashSet } ;
15
16
#[ allow( unused) ]
@@ -21,8 +22,6 @@ use rustc_middle::ty::{self, Instance, Ty, TyCtxt};
21
22
use rustc_session:: config:: InliningThreshold ;
22
23
use rustc_span:: def_id:: { CrateNum , DefId } ;
23
24
use rustc_span:: { Span , SpanData , Symbol } ;
24
- use rustc_target:: abi:: { Align , Size } ;
25
- use rustc_target:: spec:: abi:: Abi ;
26
25
27
26
use crate :: concurrency:: cpu_affinity:: { self , CpuAffinityMask } ;
28
27
use crate :: concurrency:: data_race:: { self , NaReadType , NaWriteType } ;
@@ -1006,7 +1005,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
1006
1005
fn find_mir_or_eval_fn (
1007
1006
ecx : & mut MiriInterpCx < ' tcx > ,
1008
1007
instance : ty:: Instance < ' tcx > ,
1009
- abi : Abi ,
1008
+ abi : ExternAbi ,
1010
1009
args : & [ FnArg < ' tcx , Provenance > ] ,
1011
1010
dest : & MPlaceTy < ' tcx > ,
1012
1011
ret : Option < mir:: BasicBlock > ,
@@ -1033,7 +1032,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
1033
1032
fn call_extra_fn (
1034
1033
ecx : & mut MiriInterpCx < ' tcx > ,
1035
1034
fn_val : DynSym ,
1036
- abi : Abi ,
1035
+ abi : ExternAbi ,
1037
1036
args : & [ FnArg < ' tcx , Provenance > ] ,
1038
1037
dest : & MPlaceTy < ' tcx > ,
1039
1038
ret : Option < mir:: BasicBlock > ,
@@ -1075,7 +1074,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
1075
1074
// Call the lang item.
1076
1075
let panic = ecx. tcx . lang_items ( ) . get ( reason. lang_item ( ) ) . unwrap ( ) ;
1077
1076
let panic = ty:: Instance :: mono ( ecx. tcx . tcx , panic) ;
1078
- ecx. call_function ( panic, Abi :: Rust , & [ ] , None , StackPopCleanup :: Goto {
1077
+ ecx. call_function ( panic, ExternAbi :: Rust , & [ ] , None , StackPopCleanup :: Goto {
1079
1078
ret : None ,
1080
1079
unwind : mir:: UnwindAction :: Unreachable ,
1081
1080
} ) ?;
0 commit comments