pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
Show 29 methods
// Provided methods
fn pthread_mutexattr_init(
&mut self,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_mutexattr_settype(
&mut self,
attr_op: &OpTy<'tcx>,
kind_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_mutexattr_destroy(
&mut self,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_mutex_init(
&mut self,
mutex_op: &OpTy<'tcx>,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_mutex_lock(
&mut self,
mutex_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_mutex_trylock(
&mut self,
mutex_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_mutex_unlock(
&mut self,
mutex_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_mutex_destroy(
&mut self,
mutex_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_rwlock_rdlock(
&mut self,
rwlock_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_rwlock_tryrdlock(
&mut self,
rwlock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_rwlock_wrlock(
&mut self,
rwlock_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_rwlock_trywrlock(
&mut self,
rwlock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_rwlock_unlock(
&mut self,
rwlock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_rwlock_destroy(
&mut self,
rwlock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_condattr_init(
&mut self,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_condattr_setclock(
&mut self,
attr_op: &OpTy<'tcx>,
clock_id_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn pthread_condattr_getclock(
&mut self,
attr_op: &OpTy<'tcx>,
clk_id_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_condattr_destroy(
&mut self,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_cond_init(
&mut self,
cond_op: &OpTy<'tcx>,
attr_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_cond_signal(
&mut self,
cond_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_cond_broadcast(
&mut self,
cond_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_cond_wait(
&mut self,
cond_op: &OpTy<'tcx>,
mutex_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_cond_timedwait(
&mut self,
cond_op: &OpTy<'tcx>,
mutex_op: &OpTy<'tcx>,
timeout_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
macos_relative_np: bool,
) -> InterpResult<'tcx> { ... }
fn pthread_cond_destroy(
&mut self,
cond_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
fn pthread_sem_init(
&mut self,
sem_op: &OpTy<'tcx>,
pshared_op: &OpTy<'tcx>,
value_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_sem_wait(
&mut self,
sem_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_sem_timedwait(
&mut self,
sem_op: &OpTy<'tcx>,
abs_timeout_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_sem_post(
&mut self,
sem_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_sem_destroy(
&mut self,
sem_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
}Provided Methods§
fn pthread_mutexattr_init( &mut self, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_mutexattr_settype( &mut self, attr_op: &OpTy<'tcx>, kind_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_mutexattr_destroy( &mut self, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_mutex_init( &mut self, mutex_op: &OpTy<'tcx>, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_mutex_lock( &mut self, mutex_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_mutex_trylock( &mut self, mutex_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_mutex_unlock( &mut self, mutex_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_mutex_destroy( &mut self, mutex_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_rwlock_rdlock( &mut self, rwlock_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_rwlock_tryrdlock( &mut self, rwlock_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_rwlock_wrlock( &mut self, rwlock_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_rwlock_trywrlock( &mut self, rwlock_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_rwlock_unlock( &mut self, rwlock_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_rwlock_destroy( &mut self, rwlock_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_condattr_init( &mut self, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_condattr_setclock( &mut self, attr_op: &OpTy<'tcx>, clock_id_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
fn pthread_condattr_getclock( &mut self, attr_op: &OpTy<'tcx>, clk_id_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_condattr_destroy( &mut self, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_cond_init( &mut self, cond_op: &OpTy<'tcx>, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_cond_signal( &mut self, cond_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_cond_broadcast( &mut self, cond_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_cond_wait( &mut self, cond_op: &OpTy<'tcx>, mutex_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_cond_timedwait( &mut self, cond_op: &OpTy<'tcx>, mutex_op: &OpTy<'tcx>, timeout_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, macos_relative_np: bool, ) -> InterpResult<'tcx>
fn pthread_cond_destroy( &mut self, cond_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>
fn pthread_sem_init( &mut self, sem_op: &OpTy<'tcx>, pshared_op: &OpTy<'tcx>, value_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_sem_wait( &mut self, sem_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_sem_timedwait( &mut self, sem_op: &OpTy<'tcx>, abs_timeout_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_sem_post( &mut self, sem_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
fn pthread_sem_destroy( &mut self, sem_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".