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
.