Trait miri::shims::tls::EvalContextPrivExt

trait EvalContextPrivExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided methods
    fn lookup_windows_tls_dtors(
        &mut self
    ) -> InterpResult<'tcx, Vec<ImmTy<'tcx, Provenance>>> { ... }
    fn schedule_windows_tls_dtor(
        &mut self,
        dtor: ImmTy<'tcx, Provenance>
    ) -> 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

fn lookup_windows_tls_dtors( &mut self ) -> InterpResult<'tcx, Vec<ImmTy<'tcx, Provenance>>>

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

fn schedule_windows_tls_dtor( &mut self, dtor: ImmTy<'tcx, Provenance> ) -> InterpResult<'tcx>

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

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

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

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