Function allocation_filter

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

Creates an Allocation only from information within the AllocRange.