upstream report is bootstrap/5209, currently open. accessible at http://gcc.gnu.org/cgi-bin/gnatsweb.pl