[llvm] [LangRef] Clarify that the pointer after an object must be valid. (PR #127892)

[Florian Hahn via llvm-commits]

================
@@ -11720,9 +11730,8 @@ Note that ``getelementptr`` with all-zero indices is always considered to be
 As a corollary, the only pointer in bounds of the null pointer in the default
 address space is the null pointer itself.
 
-These rules are based on the assumption that no allocated object may cross
-the unsigned address space boundary, and no allocated object may be larger
-than half the pointer index type space.
+These rules are based on the assumption for
----------------
fhahn wrote:

Updated the bullet point to link to the allocated objects section and remove the sentence here.

https://github.com/llvm/llvm-project/pull/127892