[Bug middle-end/85620] getcontext is wrongly marked return twice

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
http://pubs.opengroup.org/onlinepubs/007904975/functions/getcontext.html

If the ucp argument was created with getcontext(), program execution continues
as if the corresponding call of getcontext() had just returned. 

That means it does return twice.