Module miri::machine

source ·
Expand description

Global machine state as well as implementation of the interpreter engine Machine trait.

Structs

Extra per-allocation data
The machine itself.
Extra data stored with each stack frame
Precomputed layouts of primitive types

Enums

Extra memory kinds
Pointer provenance.
The “extra” information a pointer has over a regular AllocId.

Constants

Traits

A little trait that’s useful to be inherited by extension traits.

Type Definitions

A rustc InterpCx for Miri.