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.