enum AliasResult
Description
The possible results of an alias query. These results are always computed between two MemoryLocation objects as a query to some alias analysis. Note that these are unscoped enumerations because we would like to support implicitly testing a result for the existence of any possible aliasing with a conversion to bool, but an "enum class" doesn't support this. The canonical names from the literature are suffixed and unique anyways, and so they serve as global constants in LLVM for these results. See docs/AliasAnalysis.html for more information on the specific meanings of these values.
Declared at: llvm/include/llvm/Analysis/AliasAnalysis.h:78
Enumerators
| Name | Value | Comment |
|---|---|---|
| NoAlias | 0 | The two locations do not alias at all.This value is arranged to convert to false, while all other values convert to true. This allows a boolean context to convert the result to a binary flag indicating whether there is the possibility of aliasing. |
| MayAlias | 1 | The two locations may or may not alias. This is the least precise result. |
| PartialAlias | 2 | The two locations alias, but only due to a partial overlap. |
| MustAlias | 3 | The two locations precisely alias each other. |