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

[John McCall via Phabricator via cfe-commits]

rjmccall added a comment.

Are you sure `restrict` alone isn't good enough?  It doesn't directly tell you that the memory is invariant, but it's usually simple to prove that the memory isn't modified within the `restrict` scope, which might be sufficient.


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

https://reviews.llvm.org/D75285