Skip to content

Commit eee6989

Browse files
committed
Cleanup from rebase
1 parent 1d811e3 commit eee6989

File tree

3 files changed

+8
-8
lines changed

3 files changed

+8
-8
lines changed

src/fn_call.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a + 'mir>: crate::MiriEvalContextExt<'
140140
fn emulate_foreign_item(
141141
&mut self,
142142
instance: ty::Instance<'tcx>,
143-
args: &[OpTy<'tcx, Borrow>],
143+
args: &[OpTy<'tcx, Tag>],
144144
dest: Option<PlaceTy<'tcx, Tag>>,
145145
ret: Option<mir::BasicBlock>,
146146
) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> {
@@ -1169,8 +1169,8 @@ fn gen_random<'a, 'mir, 'tcx>(
11691169
/// can proceeed normally.
11701170
fn unwind_stack<'a, 'mir, 'tcx>(
11711171
this: &mut MiriEvalContext<'a, 'mir, 'tcx>,
1172-
payload_data_ptr: Scalar<Borrow>,
1173-
payload_vtable_ptr: Scalar<Borrow>
1172+
payload_data_ptr: Scalar<Tag>,
1173+
payload_vtable_ptr: Scalar<Tag>
11741174
) -> EvalResult<'tcx> {
11751175
while !this.stack().is_empty() {
11761176
// When '__rust_maybe_catch_panic' is called, it marks is frame

src/lib.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -430,10 +430,10 @@ pub struct FrameData<'tcx> {
430430
/// If a panic occurs, we update this data with
431431
/// the information from the panic site
432432
pub struct UnwindData<'tcx> {
433-
pub data: Pointer<Borrow>,
434-
pub data_ptr: MPlaceTy<'tcx, stacked_borrows::Borrow>,
435-
pub vtable_ptr: MPlaceTy<'tcx, stacked_borrows::Borrow>,
436-
pub dest: PlaceTy<'tcx, Borrow>,
433+
pub data: Pointer<Tag>,
434+
pub data_ptr: MPlaceTy<'tcx, Tag>,
435+
pub vtable_ptr: MPlaceTy<'tcx, Tag>,
436+
pub dest: PlaceTy<'tcx, Tag>,
437437
pub ret: mir::BasicBlock
438438
}
439439

src/stacked_borrows.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -543,7 +543,7 @@ trait EvalContextPrivExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
543543
protect: bool,
544544
) -> EvalResult<'tcx> {
545545
let this = self.eval_context_mut();
546-
let protector = if protect { Some(this.frame().extra) } else { None };
546+
let protector = if protect { Some(this.frame().extra.call_id) } else { None };
547547
let ptr = place.ptr.to_ptr()?;
548548
trace!("reborrow: {} reference {:?} derived from {:?} (pointee {}): {:?}, size {}",
549549
kind, new_tag, ptr.tag, place.layout.ty, ptr.erase_tag(), size.bytes());

0 commit comments

Comments
 (0)