Module miri::machine

source ·
Expand description

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




  • Each const has multiple addresses, but only this many. Since const allocations are never deallocated, choosing a new AllocId and thus base address for each evaluation would produce unbounded memory usage.
  • Last real-time signal. signal(7) says it must be between 32 and 64 and specifies SIGRTMAX - SIGRTMIN >= 8 (which is the value of _POSIX_RTSIG_MAX)
  • First real-time signal. signal(7) says this must be between 32 and 64 and specifies 34 or 35 as typical values.


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

Type Aliases§