Yuxuan Chen b570122870 [Clang][coro] Fix coro.free in .resume clones with [[clang::coro_await_elidable]] (#207799) ...

Fixes https://github.com/llvm/llvm-project/issues/188230

CoroAnnotationElide rewrites annotated safe calls to the `.noalloc`
variant. The noalloc frame is caller-owned, but its `.resume` clone is
shared with ordinary heap-allocated instances.

With a `suspend_never` final suspend, normal resumption falls through to
the `coro.free` deallocation path. Regular frontend cleanup has already
run before this point. `coro.free` must therefore produce the frame
pointer for a heap instance and null for a `.noalloc` instance.

Use the frame destroy slot as a per-instance allocation tag. Cache its
value at resume entry, before user code can resume and release the
enclosing caller frame, then compare it with the cleanup clone. Replace
each `coro.free` result with the frame pointer for a heap instance and
null for an elided instance.

Update the CoroSplit and Clang CodeGen checks to cover the conditional
deallocation and the original suspend_never final-suspend shape.

Assisted-By: Codex GPT 5.5
(cherry picked from commit b9e3e6546dcb4b33d023b7a336163d5650cda9d4)

2026-07-23 08:05:05 +02:00

..

Inputs

…

coro-aligned-alloc-2.cpp

…

coro-aligned-alloc.cpp

…

coro-alloc-2.cpp

…

coro-alloc.cpp

…

coro-always-inline.cpp

…

coro-attributes.cpp

…

coro-await-domination.cpp

…

coro-await-elidable.cpp

…

coro-await-resume-eh.cpp

[clang][CodeGenCoroutine] Emit missing cleanup scope for lazy GRO conversion (#194281)

2026-04-28 18:47:29 +08:00

coro-await.cpp

…

coro-builtins-err.c

…

coro-builtins.c

…

coro-cleanup.cpp

…

coro-dealloc.cpp

…

coro-dest-slot.cpp

[clang][CodeGenCoroutine] Emit missing cleanup scope for lazy GRO conversion (#194281)

2026-04-28 18:47:29 +08:00

coro-destructor-of-final_suspend.cpp

…

coro-dwarf-O2.cpp

…

coro-dwarf.cpp

…

coro-eh-cleanup.cpp

…

coro-elide-thinlto.cpp

…

coro-elide.cpp

[CodeGen] Set attributes on coroutine wrapper functions (#207961)

2026-07-08 09:09:45 +02:00

coro-function-try-block.cpp

…

coro-gro2.cpp

…

coro-gro3.cpp

…

coro-gro4.cpp

[coro] Use C calling convention for C++20 coroutines (#198943)

2026-05-28 02:10:43 +02:00

coro-gro.cpp

[clang][CodeGen][Coro] Fix missing EHCleanup for eagerly returned GRO (#206392)

2026-06-29 17:33:27 +08:00

coro-halo.cpp

[CodeGen] Set attributes on coroutine wrapper functions (#207961)

2026-07-08 09:09:45 +02:00

coro-init-await-nontrivial-return.cpp

…

coro-lambda.cpp

…

coro-newpm-pipeline.cpp

…

coro-only-destroy-when-complete.cpp

…

coro-param-fake-use.cpp

[Clang][Coroutines] Don't emit fake uses for coroutine parameters (#194690)

2026-05-01 10:48:16 +01:00

coro-params.cpp

[Clang][CodeGen] Emit alignment information for indirect arguments (#201999)

2026-07-02 09:35:24 -07:00

coro-promise-dtor.cpp

…

coro-ret-void.cpp

…

coro-return-voidtype-initlist.cpp

…

coro-return.cpp

…

coro-suspend-cleanups.cpp

[clang][CodeGenCoroutine] Emit missing cleanup scope for lazy GRO conversion (#194281)

2026-04-28 18:47:29 +08:00

coro-symmetric-transfer-02.cpp

…

coro-symmetric-transfer-03.cpp

[coro] Use C calling convention for C++20 coroutines (#198943)

2026-05-28 02:10:43 +02:00

coro-symmetric-transfer-04.cpp

[coro] Use C calling convention for C++20 coroutines (#198943)

2026-05-28 02:10:43 +02:00

coro-unhandled-exception.cpp

…

gh188230-coro-await-elidable-suspend-never-final.cpp

[Clang][coro] Fix coro.free in .resume clones with [[clang::coro_await_elidable]] (#207799)

2026-07-23 08:05:05 +02:00

microsoft-abi-operator-coawait.cpp

…

pr56301.cpp

…

pr56329.cpp

…

pr56919.cpp

…

pr59181.cpp

…

pr59221.cpp

…

pr59723.cpp

…

pr65018.cpp

[CodeGen] Set attributes on coroutine wrapper functions (#207961)

2026-07-08 09:09:45 +02:00

pr65054.cpp

…

pr134409.cpp

…