yaxunl added a comment. In D75285#1896458 <https://reviews.llvm.org/D75285#1896458>, @rjmccall wrote:
> Unfortunately, `const` also doesn't mean that the memory doesn't change. It > does mean it can't be changed through this pointer, but `restrict` allows you > to derive more pointers from it within the `restrict` scope, and those > pointers can remove the `const` qualifier. If users derive a non-const pointer from the const pointer and modify it, doesn't that result in UB? Thanks. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75285/new/ https://reviews.llvm.org/D75285 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits