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

Return true if V is known to be the base of its memory object.

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
isBaseOfObject(xref:llvm/Value.adoc[Value] const* V);
----

== Description

This implies that any address less than V must be out of bounds for the underlying object. Note that just being isIdentifiedObject() is not enough

* For example, a negative offset from a noalias argument or call can be inbounds w.r.t the actual underlying object.

== Return Value

True if `V` is known to be the base of its memory object.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *V*
| Pointer value to test.
|===


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