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 From<MopAAResult> for AAResult

fn from(m: MopAAResult) -> Self

Converts to this type from the input type.