@@ -30,7 +30,7 @@ use crate::interpret::{
30
30
self , InterpCx , ScalarMaybeUndef , Immediate , OpTy ,
31
31
StackPopCleanup , LocalValue , LocalState , AllocId , Frame ,
32
32
Allocation , MemoryKind , ImmTy , Pointer , Memory , PlaceTy ,
33
- Operand as InterpOperand ,
33
+ StackPopInfo , Operand as InterpOperand ,
34
34
} ;
35
35
use crate :: const_eval:: error_to_const_error;
36
36
use crate :: transform:: { MirPass , MirSource } ;
@@ -143,6 +143,7 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine {
143
143
_args : & [ OpTy < ' tcx > ] ,
144
144
_dest : Option < PlaceTy < ' tcx > > ,
145
145
_ret : Option < BasicBlock > ,
146
+ _unwind : Option < BasicBlock > ,
146
147
) -> InterpResult < ' tcx , Option < & ' mir Body < ' tcx > > > {
147
148
Ok ( None )
148
149
}
@@ -162,7 +163,7 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine {
162
163
_span : Span ,
163
164
_instance : ty:: Instance < ' tcx > ,
164
165
_args : & [ OpTy < ' tcx > ] ,
165
- _dest : PlaceTy < ' tcx > ,
166
+ _dest : Option < PlaceTy < ' tcx > > ,
166
167
) -> InterpResult < ' tcx > {
167
168
throw_unsup_format ! ( "calling intrinsics isn't supported in ConstProp" ) ;
168
169
}
@@ -254,8 +255,11 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine {
254
255
255
256
/// Called immediately before a stack frame gets popped.
256
257
#[ inline( always) ]
257
- fn stack_pop ( _ecx : & mut InterpCx < ' mir , ' tcx , Self > , _extra : ( ) ) -> InterpResult < ' tcx > {
258
- Ok ( ( ) )
258
+ fn stack_pop (
259
+ _ecx : & mut InterpCx < ' mir , ' tcx , Self > ,
260
+ _extra : ( )
261
+ ) -> InterpResult < ' tcx , StackPopInfo > {
262
+ Ok ( StackPopInfo :: Normal )
259
263
}
260
264
}
261
265
0 commit comments