https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784
simon at pushface dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |6.1.0
--- Comment #2 from simon at pushface dot org ---
Also fails with GNAT GPL 2016.