[PATCH] D152275: Use memory region declaration intrinsic when generating code for array subscripts

[Eli Friedman via Phabricator via cfe-commits]

efriedma added reviewers: aaron.ballman, courbet, nikic, jdoerfert, nlopes, jeroen.dobbelaere.
efriedma added a comment.

If we are going to do this at all, I think this is roughly what it should look like.  Potential issues you might run into:

- The compile-time overhead of creating a bunch of extra intrinsics might be significant.  Maybe we can mitigate to some extent by avoiding emitting the intrinsic in simple cases where it doesn't actually help (constant indexes?).
- User code might not actually obey the language rules; do we have any sanitizer that checks if user code trips over this?
- Not sure how this interacts with full restrict and related proposals.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152275