cond_init_offset
miri
1.93.0-nightly
(292be5c7c 2025-10-29)
In miri::
shims::
unix::
sync
miri
::
shims
::
unix
::
sync
Function
cond_
init_
offset
Copy item path
Source
fn cond_init_offset<'tcx>(ecx: &
MiriInterpCx
<'tcx>) ->
InterpResult
<'tcx,
Size
>