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

[Anastasia Stulova via Phabricator via cfe-commits]

Anastasia added a comment.

In D75285#1896610 <https://reviews.llvm.org/D75285#1896610>, @rjmccall wrote:

> 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.


Do you mean to prove in analysis passes? Should we emit some sort of hints from the frontend to indicate what to look for?


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

https://reviews.llvm.org/D75285