https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85620
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to H.J. Lu from comment #3) > Technically, swapcontext only returns once, but not when it is called. > In that sense, it returns twice. Huh? For the purpose of ECF_RETURNS_TWICE, swapcontext does not need to be marked as such. ECF_RETURNS_TWICE is only needed for CFG reasons.