pub struct CallGroup<'tcx> {
pub tree: PathTree,
pub checkpoints: Vec<Checkpoint<'tcx>>,
}Expand description
Checkpoints targeting the same callee, grouped for shared path analysis.
One CallGroup is produced per unique callee DefId in the function.
All checkpoints in the group share the same PathTree; individual paths
are filtered by checkpoint.block at query time.
Fields§
§tree: PathTreeShared full-CFG prefix tree, built once for all checkpoints in the group.
checkpoints: Vec<Checkpoint<'tcx>>Checkpoints that target this callee.
Auto Trait Implementations§
impl<'tcx> Freeze for CallGroup<'tcx>
impl<'tcx> !RefUnwindSafe for CallGroup<'tcx>
impl<'tcx> Send for CallGroup<'tcx>
impl<'tcx> Sync for CallGroup<'tcx>
impl<'tcx> Unpin for CallGroup<'tcx>
impl<'tcx> !UnwindSafe for CallGroup<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more