[PATCH] D62801: Add "will-return" function attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D62801#1527020 <https://reviews.llvm.org/D62801#1527020>, @lebedev.ri wrote:

> How is this different from `noreturn` attribute?


This will eventually replace the CallChecks in `llvm::isGuaranteedToTransferExecutionToSuccessor` and it should be much more powerful as it directly tries to prove the property instead of deriving it from memory behavior.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62801/new/

https://reviews.llvm.org/D62801