[Bug ada/80784] ICE in ACATS 4.1 c732b01 at -O1, -O2

2017-05-16 Thread simon at pushface dot org
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 sim

[Bug ada/80784] ICE in ACATS 4.1 c732b01 at -O1, -O2

2017-05-16 Thread simon at pushface dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784 --- Comment #1 from simon at pushface dot org --- Created attachment 41368 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41368&action=edit Reproducer