The problem got apparently fixed on mainline. I'm leaving the PR open, since somebody might want to backport the fix to the 3.3 or 3.2 branch. Regards, Volker http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8178