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