[Bug ada/116832] code after select-then-abort in abortable part executes when outer select-then-abort completes

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #10 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Thanks for the investigation.  To be honest, I'm not a specialist of the
tasking runtime so I cannot really comment at this point; I'll need to dig in
first.