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

[Hal Finkel via llvm-commits]

hfinkel added a comment.

In https://reviews.llvm.org/D22793#496751, @eli.friedman wrote:

> It's similar to TBAA, I guess... TBAA tends to cause problems too; fno-strict-aliasing is popular for a reason. :)


I think we should follow the same approach here. Just like with TBAA, and with nsw on integer operations, we produce the flag when possible, and add a command-line option to turn it off.


https://reviews.llvm.org/D22793