Class AliasAnalysisResult

A data structure that captures the result of applying alias analysis to a control-flow graph.

Inheritance

System.Object

AliasAnalysisResult

TrivialAliasAnalysisResult

Inherited Members

System.Object.ToString()

System.Object.Equals(System.Object)

System.Object.Equals(System.Object, System.Object)

System.Object.ReferenceEquals(System.Object, System.Object)

System.Object.GetHashCode()

System.Object.GetType()

System.Object.MemberwiseClone()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public abstract class AliasAnalysisResult

Methods

GetAliasing(ValueTag, ValueTag)

Gets the aliasing relation between two pointers.

Declaration

public abstract Aliasing GetAliasing(ValueTag first, ValueTag second)

Parameters

Type	Name	Description
ValueTag	first	The first pointer value to examine.
ValueTag	second	The second pointer value to examine.

Returns

Type	Description
Aliasing	A conservative approximation of the aliasing relation between first and second.