pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
Show 24 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>,
abstime_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn pthread_cond_destroy(
&mut self,
cond_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, ()> { ... }
}