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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
