Expand description
Global machine state as well as implementation of the interpreter engine
Machine trait.
Structs§
- Alloc
Extra - Extra per-allocation data
- Frame
Extra - Extra data stored with each stack frame
- Miri
Machine - The machine itself.
- Primitive
Layouts - Precomputed layouts of primitive types
Enums§
- Miri
Memory Kind - Extra memory kinds
- Provenance
- Pointer provenance.
- Provenance
Extra - The “extra” information a pointer has over a regular AllocId.
Constants§
- ADDRS_
PER_ 🔒ANON_ GLOBAL - Each anonymous global (constant, vtable, function pointer, …) has multiple addresses, but only
this many. Since const allocations are never deallocated, choosing a new
AllocIdand thus base address for each evaluation would produce unbounded memory usage. - SIGRTMAX
- Last real-time signal.
signal(7)says it must be between 32 and 64 and specifiesSIGRTMAX-SIGRTMIN>= 8 (which is the value of_POSIX_RTSIG_MAX) - SIGRTMIN
- First real-time signal.
signal(7)says this must be between 32 and 64 and specifies 34 or 35 as typical values.
Traits§
- Machine
Callback - Trait for callbacks handling asynchronous machine operations.
- Miri
Interp CxExt - A little trait that’s useful to be inherited by extension traits.
Type Aliases§
- DynMachine
Callback - Type alias for boxed machine callbacks with generic argument type.
- Memory
Kind - Miri
Interp Cx - A rustc InterpCx for Miri.