[PATCH] D147177: [FunctionAttrs] allow weak functions to propagate noreturn
Nick Desaulniers via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 29 14:45:59 PDT 2023
nickdesaulniers added a comment.
Right, the callers is what we have to worry about.
If the weak function was declared as being noreturn, even the strong definitions should be noreturn, and optimizations should hold the code to that contract.
But if the weak function wasn't declared as noreturn, inferring it for one definition says nothing about the strong definition, so such optimizations might be surprising!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D147177/new/
https://reviews.llvm.org/D147177
More information about the llvm-commits
mailing list