https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87688
--- Comment #5 from simon at pushface dot org --- Bug no longer present in gcc version 9.0.0 20181103 (experimental) (GCC). r265766.
- [Bug ada/87688] [9 regression] ACATS cb1010a ... simon at pushface dot org
- [Bug ada/87688] [9 regression] ACATS cb1... ebotcazou at gcc dot gnu.org
