http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4176&database=gcc I don't know why my previous response resulted in a new PR, it was not intended to do that. Anyway see PR 4179 for a response to this issue. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4179&database=gcc