Enum miri::eval::MainThreadState

enum MainThreadState<'tcx> {
    Running,
    TlsDtors(TlsDtorsState<'tcx>),
    Yield {
        remaining: u32,
    },
    Done,
}

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

Variants

Running

TlsDtors(TlsDtorsState<'tcx>)

Yield

Fields

remaining: u32

Done

Implementations

impl<'tcx> MainThreadState<'tcx>

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

Trait Implementations

impl<'tcx> Debug for MainThreadState<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Default for MainThreadState<'tcx>

fn default() -> MainThreadState<'tcx>

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: 48 bytes

Size for each variant:

• Running: 0 bytes
• TlsDtors: 48 bytes
• Yield: 12 bytes
• Done: 0 bytes