https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116775

--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
For assume, note the r15-9124-ga6c2248cfd4bc change, just throwing away the
expression doesn't work well when combining with computed gotos, it is invalid
but we don't want to ICE.
On the other side, assume is just an optimization, the compiler is always free
to ignore any assumptions discovered from it, so I think changing the assume
stuff from
[[assume (exp)]] to [[assume (1 || exp)]] if exp contains co_* and then
lowering it might work, assuming coro works fine for 1 || exp.
The rest was just from skimming through extend.texi, haven't actually looked at
what IL we get at coro lowering time (just that it might be a good idea to have
some testcase).

Reply via email to