Source Tree Borrows implementations of the two Miri diagnostic shims. Names mutate the allocation's real BorrowTree; printing renders the current allocation-local ranges and permissions and writes through the caller's actual stderr writer.

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.Other (Raw Listener TcpStream Error : Type) : Type

Equations

• Miri.Input.EvalMiriTreeDiagnostics.Other Raw Listener TcpStream Error = Miri.Input.EvalConfigurationCore.SourceOther Raw Listener TcpStream Error

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.Host (Poll Instant System H D Raw Listener TcpStream Error Native Profiler : Type) : Type

Equations

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

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.User (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalMiriTreeDiagnostics.User Os R P H D O Aff B Host = Miri.Input.EvalCoreMachine.User Os R P H D O Aff B Host

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.Control (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalMiriTreeDiagnostics.Control Os R P H D O Aff B Host = Miri.Interpreter.ValidityMachine.Control (Miri.Input.EvalCoreMachine.Stored Os R P H D O Aff B Host)

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.State (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalMiriTreeDiagnostics.State Os R P H D O Aff B Host = Miri.Input.EvalCoreMachine.State Os R P H D O Aff B Host

@[reducible, inline]

abbrev Miri.Input.EvalMiriTreeDiagnostics.M (Os R P H D O Aff B Host A : Type) : Type

Equations

• Miri.Input.EvalMiriTreeDiagnostics.M Os R P H D O Aff B Host A = Miri.Interpreter.MachineHooks.M Miri.Memory.MiriMemoryKind (Miri.Input.EvalMiriTreeDiagnostics.User Os R P H D O Aff B Host) A

def Miri.Input.EvalMiriTreeDiagnostics.namePointer {Os R P H D Raw Listener TcpStream Error Aff B Poll Instant System Native Profiler C : Type} [DecidableEq Memory.MiriMemoryKind] (machine : Interpreter.MiriShimMachine.Hooks Memory.MiriMemoryKind (Control Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C Interpreter.MachineHooks.FrameExtra (Other Raw Listener TcpStream Error)) (writeStderr : ByteArray → M Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) Unit) (pointer : Memory.Pointer (Option Memory.Provenance)) (parentDistance : UInt8) (nameBytes : ByteArray) : M Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) Unit

Source give_pointer_debug_name for Tree Borrows. Wildcard and missing provenance pointers emit the upstream stderr diagnostic and remain successful; concrete pointers mutate the actual live allocation's persistent tree.

Equations

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

def Miri.Input.EvalMiriTreeDiagnostics.printBorrowState {Os R P H D Raw Listener TcpStream Error Aff B Poll Instant System Native Profiler C : Type} [DecidableEq Memory.MiriMemoryKind] (machine : Interpreter.MiriShimMachine.Hooks Memory.MiriMemoryKind (Control Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C Interpreter.MachineHooks.FrameExtra (Other Raw Listener TcpStream Error)) (writeStderr : ByteArray → M Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) Unit) (image : AllocationImage.Imported) (sourceId : UInt64) (showUnnamed : Bool) : M Os R P H D (Other Raw Listener TcpStream Error) Aff B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler) Unit

Source print_borrow_state for the interpreter's real Tree Borrows allocation extra and protector map. The raw host writer is supplied by the source residual constructor, which applies write_all and ignores host I/O errors just like upstream's eprintln! path.

Equations

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