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
.