[PATCH] D62801: Add "willreturn" function attribute

[Hideto Ueno via Phabricator via llvm-commits]

uenoku marked 5 inline comments as done.
uenoku added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1479
+    This produces undefined behavior at runtime if the function never comes back
+    to the call site.
 ``nounwind``
----------------
jdoerfert wrote:
> jdoerfert wrote:
> > You should allow exceptions here, I think. That would make `will-return` and orthogonal to `nounwind` (aka. no-throw).
> > 
> > We can also think about removing the hypen, idk what is best.
> > 
> > 
> One idea to phrase it would be:
> 
> "the function will, after a finite amount of time, stop executing without ending execution of the program."
> 
> Or:
> 
> "either exhibit undefined behavior or comes back and continues execution at a point in the existing call stack that includes the current invocation."
I prefer willreturn. I renamed it.


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

https://reviews.llvm.org/D62801