Return true if V is known to be the base of its memory object.
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.
True if V is known to be the base of its memory object.
| Name | Description |
|---|---|
| V | Pointer value to test. |