miri
1.77.2
(25ef9e3d8 2024-04-09)
Module intptrcast
Structs
Enums
Traits
Functions
Type Aliases
In crate miri
?
Module
miri
::
intptrcast
source
·
[
−
]
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