Function allocation_filter

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

Creates an Allocation only from information within the AllocRange.