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

[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