[PATCH] D75285: Mark restrict pointer or reference to const as invariant

[John McCall via Phabricator via cfe-commits]

rjmccall added a comment.

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.


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

https://reviews.llvm.org/D75285