Trait miri::concurrency::sync::EvalContextExtPriv
source · pub(super) trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn get_or_create_id<Id: SyncId + Idx, T: Default>(
&mut self,
lock_op: &OpTy<'tcx>,
lock_layout: TyAndLayout<'tcx>,
offset: u64,
get_objs: impl for<'a> Fn(&'a mut MiriInterpCx<'tcx>) -> &'a mut IndexVec<Id, T>,
) -> InterpResult<'tcx, Option<Id>> { ... }
fn condvar_reacquire_mutex(
&mut self,
mutex: MutexId,
retval: Scalar,
dest: MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
}
Provided Methods§
sourcefn get_or_create_id<Id: SyncId + Idx, T: Default>(
&mut self,
lock_op: &OpTy<'tcx>,
lock_layout: TyAndLayout<'tcx>,
offset: u64,
get_objs: impl for<'a> Fn(&'a mut MiriInterpCx<'tcx>) -> &'a mut IndexVec<Id, T>,
) -> InterpResult<'tcx, Option<Id>>
fn get_or_create_id<Id: SyncId + Idx, T: Default>( &mut self, lock_op: &OpTy<'tcx>, lock_layout: TyAndLayout<'tcx>, offset: u64, get_objs: impl for<'a> Fn(&'a mut MiriInterpCx<'tcx>) -> &'a mut IndexVec<Id, T>, ) -> InterpResult<'tcx, Option<Id>>
Lazily initialize the ID of this Miri sync structure.
If memory stores ‘0’, that indicates uninit and we generate a new instance.
Returns None
if memory stores a non-zero invalid ID.
get_objs
must return the IndexVec
that stores all the objects of this type.
fn condvar_reacquire_mutex( &mut self, mutex: MutexId, retval: Scalar, dest: MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
Object Safety§
This trait is not object safe.