Enum miri::eval::MainThreadState

enum MainThreadState {
    Running,
    TlsDtors(TlsDtorsState),
    Yield {
        remaining: u32,
    },
    Done,
}

The state of the main thread. Implementation detail of on_main_stack_empty.

Variants

Running

TlsDtors(TlsDtorsState)

Yield

Fields

remaining: u32

Done

Implementations

impl MainThreadState

fn on_main_stack_empty<'tcx>( &mut self, this: &mut MiriInterpCx<'_, 'tcx> ) -> InterpResult<'tcx, Poll<()>>

Trait Implementations

impl Debug for MainThreadState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MainThreadState

fn default() -> MainThreadState

Returns the “default value” for a type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes

Size for each variant:

• Running: 0 bytes
• TlsDtors: 32 bytes
• Yield: 20 bytes
• Done: 0 bytes