https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128148
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > 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++). No, that's a bounded error in Ada
