https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68179
--- Comment #1 from Troy <gcc at gyw dot com> --- Command line to build sample code: gnatmake -gnat12 -gnatE -gnatf -gnatn -gnato -gnatX -gnatwa -gnatVa ada2012bug2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68179
--- Comment #1 from Troy <gcc at gyw dot com> --- Command line to build sample code: gnatmake -gnat12 -gnatE -gnatf -gnatn -gnato -gnatX -gnatwa -gnatVa ada2012bug2