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

Reply via email to