Pinned unix/env.rs::apple_pthread_threadid_np. The null output test precedes reading pthread_t; errors return libc scalars and do not dereference the output.

@[reducible, inline]

abbrev Miri.Interpreter.AppleThreadId.M (σ α : Type) : Type

Equations

• Miri.Interpreter.AppleThreadId.M = EStateM Miri.Interpreter.StepError

structure Miri.Interpreter.AppleThreadId.Hooks (S : Type) : Type

• os : String
• thread : UnixThread.Hooks S
• process : EnvVars.ProcessHooks S
• libc : String → M S (Memory.Scalar Memory.Provenance)
• u64Layout : M S LocalLayout
• writeInt : Int → MPlaceTy Memory.Provenance → M S Unit

def Miri.Interpreter.AppleThreadId.query {S : Type} (h : Hooks S) (thread output : OpTy Memory.Provenance) : M S (Memory.Scalar Memory.Provenance)

Equations

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