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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits