Struct Value 

pub struct Value {
    pub index: usize,
    pub local: usize,
    pub need_drop: bool,
    pub may_drop: bool,
    pub kind: ValueKind,
    pub father: Option<FatherInfo>,
    pub fields: FxHashMap<usize, usize>,
}

Represents a value node in the alias analysis graph. Each value may correspond to local variables, or fields of structures temporarily crated in the alias analysis

Fields

index: usize

A unique value index, which is the same as local if the number within the range of local variables; When encountering fields (e.g., 1.1), the index points to the unique field of the local.

local: usize

Real local variable identifier in mir.

need_drop: bool

Indicates whether this value needs to be dropped at the end of its lifetime.

may_drop: bool

Indicates whether this value may need to be dropped (uncertain drop semantics).

kind: ValueKind

The type of this value node (see ValueKind).

father: Option<FatherInfo>

Information about this value’s parent, if it is a field of a parent node.

fields: FxHashMap<usize, usize>

Mapping from field IDs to their value node IDs for field accesses. First field: field id; Second field: value id;

Implementations

impl Value

pub fn new(index: usize, local: usize, need_drop: bool, may_drop: bool) -> Self

Create a new value node with the provided properties. The kind defaults to ValueKind::Adt and father defaults to None.

pub fn is_tuple(&self) -> bool

Returns whether this value is a tuple type.

pub fn is_ptr(&self) -> bool

Returns whether this value is a pointer (raw pointer or reference).

pub fn is_ref(&self) -> bool

Returns whether this value is a reference type.

pub fn is_ref_count(&self) -> bool

Returns whether this value is of a corner case type as defined in ValueKind.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.