[PATCH] D115274: [IR][RFC] Memory region declaration intrinsic

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri marked an inline comment as done.
lebedev.ri added inline comments.


================
Comment at: llvm/docs/LangRef.rst:10357-10364
 If the ``inbounds`` keyword is present, the result value of the
 ``getelementptr`` is a :ref:`poison value <poisonvalues>` if one of the
 following rules is violated:
 
 *  The base pointer has an *in bounds* address of an allocated object, which
    means that it points into an allocated object, or to its end. The only
    *in bounds* address for a null pointer in the default address-space is the
----------------
> I'm still confused as to why we need that restriction.




Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D115274/new/

https://reviews.llvm.org/D115274