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§

source

fn schedule_windows_tls_dtors(&mut self) -> InterpResult<'tcx>

Schedule TLS destructors for Windows. On windows, TLS destructors are managed by std.

source

fn schedule_macos_tls_dtor(&mut self) -> InterpResult<'tcx>

Schedule the MacOS thread destructor of the thread local storage to be executed.

source

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.

Implementors§

source§

impl<'mir, 'tcx: 'mir> EvalContextPrivExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>