[PATCH] D147177: [FunctionAttrs] allow weak functions to propagate noreturn

[Nick Desaulniers via Phabricator via llvm-commits]

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