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

[liam at liampwll dot com via Gcc-bugs]

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

--- Comment #11 from Liam Powell <liam at liampwll dot com> ---
I did one more bit of testing and confirmed this is a regression. The bug does
not occur on 3.2.3 but does occur on 4.8.2.