unix/thread.rs compiler leaves. libc::pthread_t is a compiler path query; its integer width, signedness and ABI are never inferred from a host pthread. The actual create/join/detach scheduler and memory effects remain source drivers.

def Miri.Input.CompilerUnixThread.pthreadLayout (p : CompilerProviders.Prepared) : Except String Interpreter.LocalLayout

Equations

• Miri.Input.CompilerUnixThread.pthreadLayout p = Miri.Input.CompilerLibcTypeLayouts.layout p.runtime "pthread_t"

def Miri.Input.CompilerUnixThread.hooks {S : Type} (p : CompilerProviders.Prepared) (base : Interpreter.UnixThread.Hooks S) : Interpreter.UnixThread.Hooks S

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerUnixThread.signature {S : Type} (queries : CompilerNamedShimAbi.Prepared) (name : String) : EStateM Interpreter.StepError S (ABI.FnAbi MIR.TyId)

The exact pinned source named ABI requests, including pthread_t return and argument types and the source FnPtr wildcard recipe for pthread_create.

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerUnixThread.sourceAbi (name : String) : Except String ABI.ExternAbi

Source shim signatures use C with unwind=false, separately from their compiler-lowered canonical target calling convention.

Equations

• One or more equations did not get rendered due to their size.