fn implicit_len<'tcx>(
this: &mut MiriInterpCx<'tcx>,
str: &OpTy<'tcx>,
imm: u8,
) -> InterpResult<'tcx, Option<u64>>
Expand description
Calculate the c-style string length for a given string str
.
The string is either a length 16 array of bytes a length 8 array of two-byte words.