Skip to main content

is_initializer

miri::shims::unix::sync

Function is_initializer 

Source 
fn is_initializer<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    place: &MPlaceTy<'tcx>,
    name: &str,
    prefix: Option<u64>,
) -> InterpResult<'tcx, bool>
Expand description

Check if place stores the initializer called name.

prefix, if set, indicates that only the first N bytes should be compared.