phosek added a comment. That makes sense for diagnostics, but this attribute is only an optimization hint, so compiler should be allowed to ignore it. I can take a look how difficult it'd be to actually implement this attribute, but I don't think it's Sema-only attribute. I don't know if there's a matching IR function attribute; it seems like `readonly` attribute has similar effect but I'd need to take a look at the exact semantics.
Repository: rL LLVM https://reviews.llvm.org/D26540 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
