Enum AliasAnalysisLevel 

pub enum AliasAnalysisLevel {
    NoAlias,
    BasicAA,
    TypeBasedAA,
    ScopedNoAliasAA,
    GlobalsAA,
    CFLAndersen,
    CFLSteensgaard,
}

Which level / flavor of alias analysis to run.

Variants

NoAlias

Disable alias analysis (assume everything MayAlias).

BasicAA

Basic alias analysis: trivial same-variable queries only.

TypeBasedAA

Type-based alias analysis (TBAA): use LCNF types to rule out aliases.

ScopedNoAliasAA

Scoped no-alias: use structural scoping to prove NoAlias.

GlobalsAA

Global variables analysis: treat globals as separate alias class.

CFLAndersen

CFL Andersen: context-free-language reachability, inclusion-based.

CFLSteensgaard

CFL Steensgaard: context-free-language reachability, unification-based.

Implementations

impl AliasAnalysisLevel

pub fn description(&self) -> &'static str

A human-readable description of this level.

pub fn uses_points_to(&self) -> bool

Returns true if this level uses points-to analysis.

Trait Implementations

impl Clone for AliasAnalysisLevel

fn clone(&self) -> AliasAnalysisLevel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasAnalysisLevel

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

Formats the value using the given formatter.

impl Default for AliasAnalysisLevel

fn default() -> AliasAnalysisLevel

Returns the “default value” for a type.

impl Hash for AliasAnalysisLevel

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 AliasAnalysisLevel

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for AliasAnalysisLevel

impl Eq for AliasAnalysisLevel

impl StructuralPartialEq for AliasAnalysisLevel