[PATCH] D22793: IR: Introduce inbounds attribute on getelementptr indices.

[David Majnemer via llvm-commits]

majnemer added inline comments.

================
Comment at: docs/LangRef.rst:7546-7549
@@ +7545,6 @@
+behavior if the load or store would access memory outside of the bounds of the
+element selected by the index marked as ``inrange``. The result of a pointer
+comparison is undefined if either operand was derived from an ``inrange``
+GEP, with the exception of comparisons where both operands were derived from
+a GEP which was evaluated with identical operands up to and including the
+``inrange`` operand. Note that the ``inrange`` keyword is currently only
----------------
What if I do a ptrtoint and compare the ints?


https://reviews.llvm.org/D22793