Trait miri::shims::tls::EvalContextPrivExt
source · trait EvalContextPrivExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided methods
fn schedule_windows_tls_dtors(&mut self) -> InterpResult<'tcx> { ... }
fn schedule_macos_tls_dtor(&mut self) -> InterpResult<'tcx> { ... }
fn schedule_next_pthread_tls_dtor(
&mut self,
state: &mut RunningDtorState
) -> InterpResult<'tcx, Poll<()>> { ... }
}
Provided Methods§
sourcefn schedule_windows_tls_dtors(&mut self) -> InterpResult<'tcx>
fn schedule_windows_tls_dtors(&mut self) -> InterpResult<'tcx>
Schedule TLS destructors for Windows. On windows, TLS destructors are managed by std.
sourcefn schedule_macos_tls_dtor(&mut self) -> InterpResult<'tcx>
fn schedule_macos_tls_dtor(&mut self) -> InterpResult<'tcx>
Schedule the MacOS thread destructor of the thread local storage to be executed.
sourcefn schedule_next_pthread_tls_dtor(
&mut self,
state: &mut RunningDtorState
) -> InterpResult<'tcx, Poll<()>>
fn schedule_next_pthread_tls_dtor( &mut self, state: &mut RunningDtorState ) -> InterpResult<'tcx, Poll<()>>
Schedule a pthread TLS destructor. Returns true
if found
a destructor to schedule, and false
otherwise.