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

[Peter Collingbourne via llvm-commits]

pcc added a comment.

> Will this play well with GetUnderlyingObject? Aren't we using it in some places to rewrite the memory accesses?


That should be fine. If we do end up splitting an object, the underlying object will change, but by the rules of this annotation, that change would be unobservable.

> Will this feature be intrusive in all the code that deal with GEP and memory accesses to honor/preserve this "inbound"?


Passes are free to discard this annotation, it's similar to metadata in that way.


https://reviews.llvm.org/D22793