[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