Source Unix dlsym and _Unwind_RaiseException construction. Function
symbols go through the canonical FunctionPointers registry, data symbols read
the live ExternStatic root, C strings use actual guest memory, and unwind
payloads use the source thread/runtime store.
@[reducible, inline]
Equations
- Miri.Input.EvalUnixDynamicConstruction.Other Raw Listener TcpStream Error = Miri.Input.EvalUnixSourceConstruction.Other Raw Listener TcpStream Error
Instances For
@[reducible, inline]
abbrev
Miri.Input.EvalUnixDynamicConstruction.User
(Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[reducible, inline]
abbrev
Miri.Input.EvalUnixDynamicConstruction.State
(Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Input.EvalUnixDynamicConstruction.handlerFromSource
{Os R P H D Raw Listener TcpStream Error Aff B Poll Instant System Native Profiler C : Type}
[DecidableEq Memory.MiriMemoryKind]
(p : CompilerProviders.Prepared)
(memory :
EvalHostRuntimeConstruction.EnvironmentMemory
(Interpreter.ValidityMachine.Control
(EvalCoreMachine.Stored Os R P H D (Other Raw Listener TcpStream Error) Aff B
(EvalSyncMachine.Host Poll Instant System H D (Other Raw Listener TcpStream Error) Native Profiler)))
C P)
(functions :
Interpreter.FunctionPointers.Hooks Memory.MiriMemoryKind
(User Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error)
(Other Raw Listener TcpStream Error))
(choice : C)
(unwind :
Interpreter.Unwind.Hooks Memory.MiriMemoryKind
(User Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error) C
(Other Raw Listener TcpStream Error))
(core :
Interpreter.ForeignItems.Core Memory.Provenance
(State Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error)
(Interpreter.RuntimePlace Memory.Provenance) (Interpreter.MPlaceTy Memory.Provenance)
(Memory.Pointer (Option Memory.Provenance)) Interpreter.LoadedBody Interpreter.CallInstance)
:
Except Interpreter.StepError
(Interpreter.UnixForeign.OptionalHandler
(State Os R P H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error))
Build the target-aware optional Unix dynamic-symbol handler from canonical
source owners. core supplies only common source ABI/argument/result
operations; this constructor owns the dynamic policy, guest C string, actual
function registry, extern-static root, and start-unwind action.
Equations
- One or more equations did not get rendered due to their size.