Skip to main content

iter_ctor_reads_slice_len

rapx::verify::call_summary::interprocedural

Function iter_ctor_reads_slice_len 

Source 
fn iter_ctor_reads_slice_len<'tcx>(
    tcx: TyCtxt<'tcx>,
    callee: DefId,
    depth: usize,
) -> bool
Expand description

Whether the callee (following at most depth single-call wrappers) reads the length of its slice argument — a necessary condition for a slice iterator, whose end field is start + len.