Struct AAResult

pub struct AAResult {
    arg_size: usize,
    alias_set: HashSet<AAFact>,
}

To store the alias relationships among arguments and return values.

Each function may have multiple return instructions, leading to different RetAlias.

Fields

arg_size: usize

alias_set: HashSet<AAFact>

Implementations

impl AAResult

pub fn new(arg_size: usize) -> AAResult

pub fn arg_size(&self) -> usize

pub fn aliases(&self) -> &HashSet<AAFact>

pub fn add_alias(&mut self, alias: AAFact)

pub fn len(&self) -> usize

pub fn sort_alias_index(&mut self)

Trait Implementations

impl Clone for AAResult

fn clone(&self) -> AAResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AAResult

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

Formats the value using the given formatter.

impl Display for AAResult

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

Formats the value using the given formatter.

impl Into<AAResult> for MopAAResult

fn into(self) -> AAResult

Converts this type into the (usually inferred) input type.