[clang] [llvm] [Clang] C++20 Coroutines: Introduce Frontend Attribute [[clang::coro_await_elidable]] (PR #99282)

Chuanqi Xu via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 6 23:58:41 PDT 2024


================
@@ -8119,6 +8119,35 @@ but do not pass them to the underlying coroutine or pass them by value.
 }];
 }
 
+def CoroAwaitElidableDoc : Documentation {
+  let Category = DocCatDecl;
+  let Content = [{
+The ``[[clang::coro_await_elidable]]`` is a class attribute which can be applied
+to a coroutine return type.
+
+When a coroutine function that returns such a type calls another coroutine function,
+the compiler performs heap allocation elision when the call to the coroutine function
+is immediately co_awaited as a prvalue.
----------------
ChuanqiXu9 wrote:

I am not sure if the prvalue here is needed. If the call is always immediately co_awaited, the value of the call should always be prvalue, right?

https://github.com/llvm/llvm-project/pull/99282


More information about the llvm-commits mailing list