https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96471
--- Comment #2 from Jan Kratochvil <jan.kratochvil at redhat dot com> --- Created attachment 48997 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48997&action=edit .tar.xz reproducer for: gnat
jan.kratochvil at redhat dot com Tue, 04 Aug 2020 14:11:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96471
--- Comment #2 from Jan Kratochvil <jan.kratochvil at redhat dot com> --- Created attachment 48997 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48997&action=edit .tar.xz reproducer for: gnat