[#llvm-AAResults]
= xref:llvm.adoc[llvm]::AAResults
:relfileprefix: ../
:mrdocs:

Aggregated alias analysis results for a function.

== Synopsis

Declared in `<llvm/Analysis/AliasAnalysis.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
class AAResults;
----

== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/AAResults/2constructor-0d.adoc[`AAResults`]         [.small]#[constructor]#
| Constructors
| xref:llvm/AAResults/2destructor.adoc[`~AAResults`] [.small]#[destructor]#
| Destroy this AAResults aggregation.
| xref:llvm/AAResults/addAADependencyID.adoc[`addAADependencyID`] 
| Register a function analysis ID that the results aggregation depends on.
| xref:llvm/AAResults/addAAResult.adoc[`addAAResult`] 
| Register a specific AA result.
| xref:llvm/AAResults/alias-01.adoc[`alias`] 
| `alias` overloads
| xref:llvm/AAResults/aliasErrno.adoc[`aliasErrno`] 
| Return whether `Loc` may alias errno at context `CtxI.`
| xref:llvm/AAResults/callCapturesBefore-0a.adoc[`callCapturesBefore`] 
| `callCapturesBefore` overloads
| xref:llvm/AAResults/canBasicBlockModify-05.adoc[`canBasicBlockModify`] 
| `canBasicBlockModify` overloads
| xref:llvm/AAResults/canInstructionRangeModRef-0a.adoc[`canInstructionRangeModRef`] 
| `canInstructionRangeModRef` overloads
| xref:llvm/AAResults/doesNotAccessMemory-09.adoc[`doesNotAccessMemory`] 
| `doesNotAccessMemory` overloads
| xref:llvm/AAResults/getArgModRefInfo.adoc[`getArgModRefInfo`] 
| Get the ModRef info for a pointer argument of a call.
| xref:llvm/AAResults/getMemoryEffects-06.adoc[`getMemoryEffects`] 
| `getMemoryEffects` overloads
| xref:llvm/AAResults/getModRefInfo-03.adoc[`getModRefInfo`] 
| `getModRefInfo` overloads
| xref:llvm/AAResults/getModRefInfoMask-0a.adoc[`getModRefInfoMask`] 
| `getModRefInfoMask` overloads
| xref:llvm/AAResults/invalidate.adoc[`invalidate`] 
| Handle invalidation events in the new pass manager.
| xref:llvm/AAResults/isMustAlias-07.adoc[`isMustAlias`] 
| `isMustAlias` overloads
| xref:llvm/AAResults/isNoAlias-04.adoc[`isNoAlias`] 
| `isNoAlias` overloads
| xref:llvm/AAResults/onlyReadsMemory-08.adoc[`onlyReadsMemory`] 
| `onlyReadsMemory` overloads
| xref:llvm/AAResults/pointsToConstantMemory-09.adoc[`pointsToConstantMemory`] 
| `pointsToConstantMemory` overloads
|===


== Friends

[cols="1,4"]
|===
| Name| Description
| `xref:llvm/BatchAAResults.adoc[llvm::BatchAAResults]`
| Batch wrapper that reuses AAQueryInfo across alias queries.
| `xref:llvm/AAResultBase.adoc[llvm::AAResultBase]`
| A base class to help implement the function alias analysis results concept.
|===

== Non-Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/getSyncEffects.adoc[`getSyncEffects`]
| Get ModRefInfo for a synchronizing operation, such as a fence or stronger than monotonic atomic load/store.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#