[llvm-dev] alias.scope and local restricted C pointers

[Troy Johnson via llvm-dev]

Concerning slide 16 of https://llvm.org/devmtg/2017-02-04/Restrict-Qualified-Pointers-in-LLVM.pdf

Specifically "Currently, LLVM only supports restrict on function arguments, although we have a way to preserve that information if the function is inlined."

Is that statement still accurate?  It would seem that https://llvm.org/docs/LangRef.html#noalias-and-alias-scope-metadata should be sufficiently general to honor C's restrict qualifier on local pointers, but it does not appear that Clang uses this part of LLVM's IR for that purpose today and thus local restricts are ignored.

Thanks,
Troy


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180816/856426e5/attachment.html>