https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116775
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |iains at gcc dot gnu.org
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
On the other side, perhaps completely ignoring CO_AWAIT_EXPR in there (dunno
about others) might not be correct either, I guess the function is supposed to
be still considered a coroutine.
So perhaps it needs to be treated more like 0 && co_await ... or if (false)
co_await ... or something similar.
Also note there are other functions which ignore their argument side-effects, I
think e.g. __builtin_classify_type does.
And wonder about [[assume (co_await ...)]];
