https://bugs.llvm.org/show_bug.cgi?id=48770
Bug ID: 48770
Summary: coroutine_handle::done() == false after promise's
unhandled_exception() has thrown
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: C++
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected],
[email protected]
Created attachment 24386
--> https://bugs.llvm.org/attachment.cgi?id=24386&action=edit
Reproducer
[dcl.fct.def.coroutine]/14 says: "If the evaluation of the expression
promise.unhandled_exception() exits via
an exception, the coroutine is considered suspended at the final suspend
point". So, after this exception has
propagated to the caller, I expect that the coroutine_handle's done() function
returns true (because of
[coroutine.handle.observers]/3 "Returns: true if the coroutine is suspended at
its final suspend point,
otherwise false").
However, the compiler for which I am reporting this makes done() return false
in this situation. See the
attached example code (my expectation is 1 instead of 0 in the final two lines
of output).
By the way, gcc 10.2, gcc trunk, clang 10.0.0, clang trunk, msvc 14.28 all
behave in this way. A fix for msvc
is already underway:
https://developercommunity.visualstudio.com/content/problem/1305540/coroutine-handledone-false-after-promises-unhandle.html
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
