[llvm] [Coroutines] Remove assert about a promise being present (PR #156007)

Christian Ulmann via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 29 04:35:26 PDT 2025


================
@@ -700,9 +700,6 @@ static void buildFrameDebugInfo(Function &F, coro::Shape &Shape,
 
   DIBuilder DBuilder(*F.getParent(), /*AllowUnresolved*/ false);
 
-  assert(Shape.getPromiseAlloca() &&
-         "Coroutine with switch ABI should own Promise alloca");
-
----------------
Dinistro wrote:

While that might be possible, it seems odd that its there in the first place. This is not a pre-condition of this function. Also, relying on metadata is a bit dangerous, as it is not guaranteed to be preserved until this pass is executed.



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


More information about the llvm-commits mailing list