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

`isNoAlias` overloads

== Synopses

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

A trivial helper function to check to see if the specified pointers are no‐alias.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
xref:llvm/AAResults/isNoAlias-0f.adoc[isNoAlias](
    xref:llvm/MemoryLocation.adoc[MemoryLocation] const& LocA,
    xref:llvm/MemoryLocation.adoc[MemoryLocation] const& LocB);
----

[.small]#xref:llvm/AAResults/isNoAlias-0f.adoc[_» more..._]#

A convenience wrapper around the `isNoAlias` helper interface.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
xref:llvm/AAResults/isNoAlias-03.adoc[isNoAlias](
    xref:llvm/Value.adoc[Value] const* V1,
    xref:llvm/Value.adoc[Value] const* V2);
----

[.small]#xref:llvm/AAResults/isNoAlias-03.adoc[_» more..._]#

A convenience wrapper around the `isNoAlias` helper interface.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
xref:llvm/AAResults/isNoAlias-07.adoc[isNoAlias](
    xref:llvm/Value.adoc[Value] const* V1,
    xref:llvm/LocationSize.adoc[LocationSize] V1Size,
    xref:llvm/Value.adoc[Value] const* V2,
    xref:llvm/LocationSize.adoc[LocationSize] V2Size);
----

[.small]#xref:llvm/AAResults/isNoAlias-07.adoc[_» more..._]#

== Return Value

* True if the locations are known not to alias.
* True if the pointers are known not to alias.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *LocA*
| First memory location.
| *LocB*
| Second memory location.
| *V1*
| First pointer value.
| *V2*
| Second pointer value.
| *V1Size*
| Access size for `V1.`
| *V2Size*
| Access size for `V2.`
|===


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