Class TrivialAliasAnalysisResult
A truly trivial alias analysis result implementation: all values are deemed to must-alias themselves and may-alias all other values.
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 sealed class TrivialAliasAnalysisResult : AliasAnalysisResultFields
| Improve this Doc View SourceInstance
An instance of the trivial alias analysis result.
Declaration
public static readonly TrivialAliasAnalysisResult InstanceField Value
| Type | Description |
|---|---|
| TrivialAliasAnalysisResult |
Methods
| Improve this Doc View SourceGetAliasing(ValueTag, ValueTag)
Gets the aliasing relation between two pointers.
Declaration
public override 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
|