https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92489
--- Comment #1 from kunalsareen at posteo dot org --- Created attachment 47229 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47229&action=edit Debug log using -gnatd.n switch
kunalsareen at posteo dot org Tue, 12 Nov 2019 18:33:32 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92489
--- Comment #1 from kunalsareen at posteo dot org --- Created attachment 47229 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47229&action=edit Debug log using -gnatd.n switch