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

Reply via email to