Function allocation_filter 

pub(crate) fn allocation_filter<'tcx>(
    alloc: &Allocation,
    alloc_range: AllocRange,
    tables: &mut Tables<'tcx, BridgeTys>,
    cx: &CompilerCtxt<'tcx, BridgeTys>,
) -> Allocation

Creates an Allocation only from information within the AllocRange.