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
Namespace: Flame.Compiler.Analysis
Assembly: Flame.Compiler.dll
Syntax
public sealed class TrivialAliasAnalysisResult : AliasAnalysisResultFields
| Edit this page View SourceInstance
An instance of the trivial alias analysis result.
Declaration
public static readonly TrivialAliasAnalysisResult InstanceField Value
| Type | Description |
|---|---|
| TrivialAliasAnalysisResult |
Methods
| Edit this page 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
|