Module miri::intptrcast

Structs

• GlobalStateInner

Enums

• ProvenanceMode

Traits

• EvalContextExt
• EvalContextExtPriv 🔒

Functions

• align_addr 🔒
  Shifts addr to make it aligned with align by rounding addr to the smallest multiple of align that is larger or equal to addr

Type Aliases

• GlobalState