Skip to main content

CallGroup

rapx::verify::path_extractor

Struct CallGroup 

Source 
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: PathTree

Shared 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> !RefUnwindSafe for CallGroup<'tcx>

§

impl<'tcx> !UnwindSafe for CallGroup<'tcx>

§

impl<'tcx> DynSend for CallGroup<'tcx>

§

impl<'tcx> DynSync for CallGroup<'tcx>

§

impl<'tcx> Freeze for CallGroup<'tcx>

§

impl<'tcx> Send for CallGroup<'tcx>

§

impl<'tcx> Sync for CallGroup<'tcx>

§

impl<'tcx> Unpin for CallGroup<'tcx>

§

impl<'tcx> UnsafeUnpin for CallGroup<'tcx>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

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
§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V