I have checked in the patch that fixes this problem, both to the gcc-3.0 branch and to the trunk. I have not added a testcase to the gcc testsuite yet. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3128&database=gcc