Hello, I'm afraid the bug reappeared with the 3.0 release. So, please reopen the PR. Greetings, Volker Reichelt http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=1762&database=gcc