https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128148
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This is almost impossible to fix - the possibly external throwing stmt does not
impose any program order constaints because that is not represented with CFG
(EH edges) or dataflow.
Is there any constraints from the Ada side that is violated? Otherwise I'd
suspend/waive this as to be documented behavior of this GCC extension (to
C/C++).