For the time being I only reduce the priority to "medium". Before completely closing the PR I'd like to be 100% sure that: 1- The issue is known to the Boosters. 2- Current mainline is not affected. Paolo. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6718