Enum Origin 

pub enum Origin {
    Local(Inst),
    Global(Symbol),
    Unknown(Value),
}

Where a pointer came from, as far as this function can tell.

This is provenance and it is not points-to. Provenance says which object a pointer was derived from, which the IR knows locally and cheaply. Points-to says which objects a pointer might hold at run time, which needs a module-wide fixed point. Section 8.6 lists confusing the two as one of the ways this analysis goes wrong, so there is no conversion between them and there is no points-to type here at all.

Variants

Local(Inst)

An alloca in this function, which is storage nothing outside it knew about until the address was handed out.

Global(Symbol)

A named object, by the symbol its address was taken by.

Unknown(Value)

An address this function cannot follow any further back: a parameter, something loaded out of memory, what a call returned, or an integer turned into a pointer.

Implementations

impl Origin

pub const fn is_object(self) -> bool

Whether this names an object rather than an address of unknown origin.

Trait Implementations

impl Clone for Origin

fn clone(&self) -> Origin

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Origin

impl Debug for Origin

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

Formats the value using the given formatter.

impl Eq for Origin

impl Hash for Origin

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Origin

fn eq(&self, other: &Origin) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Origin