Struct PointsToFacts 

pub struct PointsToFacts {
    pub body: BodyId,
    pub interner: LocInterner,
    /* private fields */
}

Per-body points-to result.

Owns the body-local LocInterner and a flat SsaValue → PointsToSet table. The table is dense, one slot per SSA value, so lookups are O(1).

Fields

body: BodyId

Body the facts were computed for; used as the disambiguator inside crate::pointer::AbsLoc::Param / Alloc / SelfParam.

interner: LocInterner

Interner for the super::domain::AbsLoc referenced by the per-value points-to sets.

Implementations

impl PointsToFacts

pub fn empty(body: BodyId) -> Self

Empty result, every value points to nothing. Used by callers that need a “no facts” placeholder when the analysis is disabled or the body could not be analysed.

pub fn pt(&self, v: SsaValue) -> &PointsToSet

Borrow the points-to set for v. Returns an empty set when v is out of range (e.g. a value defined by an instruction the analysis didn’t visit).

pub fn is_trivial(&self) -> bool

True when every value has an empty points-to set. Used as a fast-path skip in callers that only care about non-trivial aliasing.

pub fn len(&self) -> usize

Number of SSA values covered by the facts table.

pub fn is_empty(&self) -> bool

True when no SSA values are covered by the facts table.

pub fn proxy_hint(&self, v: SsaValue) -> PtrProxyHint

Classify a value’s points-to set into a PtrProxyHint for consumers that only care about the “is this a sub-field alias” distinction. Returns PtrProxyHint::Other for empty sets, Top, and any set containing a root location (AbsLoc::SelfParam / AbsLoc::Param / AbsLoc::Alloc). Returns PtrProxyHint::FieldOnly iff every member is an AbsLoc::Field.

pub fn name_proxy_hints(&self, body: &SsaBody) -> HashMap<String, PtrProxyHint>

Build a var_name → PtrProxyHint map by scanning the body’s value defs for the latest definition of each named variable. Names that resolve to no variable, or whose latest definition is Other, are omitted, only FieldOnly entries appear.

Iterates over SsaBody::value_defs in reverse order so the last (post-renaming) SSA definition for each name wins. Used by the resource-lifecycle pass to look up pt(receiver_text) in apply_call without re-walking the SSA body.

Trait Implementations

impl Clone for PointsToFacts

fn clone(&self) -> PointsToFacts

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PointsToFacts

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.