Skip to main content

mutexattr_get_data

miri::shims::unix::sync

Function mutexattr_get_data 

Source 
fn mutexattr_get_data<'tcx, 'a>(
    ecx: &'a mut MiriInterpCx<'tcx>,
    mutexattr_ptr: &OpTy<'tcx>,
) -> InterpResult<'tcx, &'a mut PthreadMutexAttr>
where
    'tcx: 'a,
Expand description

Returns the mutex attribute data stored at the address that mutexattr_ptr points to. Will raise an error if the mutex has been moved since its first use.