Direct source return/unwind dictionary construction. The only compiler input is bodySpan; no overwritten pop/copy/cleanup callbacks are accepted.
def
Miri.Interpreter.ExecutionControl.hooks
{K U C O X F A : Type}
[DecidableEq K]
(bodySpan : Frame Memory.Provenance LocalLayout MachineHooks.FrameExtra → Except StepError MIR.SpanRef)
(lifecycle : CallMachine.Lifecycle K U C)
(access : PlaceMachine.AccessConfig K U)
(place : PlaceHooks Memory.Provenance (MachineHooks.State K U) C MachineHooks.FrameExtra)
(copy : PlaceCopyHooks Memory.Provenance (MachineHooks.State K U) C)
(queries : TypedRetag.Hooks K U)
(helpers : FunctionCalls.Hooks Memory.Provenance (MachineHooks.State K U) C MachineHooks.FrameExtra O X F A)
(unwindTerminateFunction : C → MIR.UnwindTerminateReason → MachineHooks.M K U CallInstance)
:
Equations
- One or more equations did not get rendered due to their size.