http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8146 This PR is now fixed on the branch, but not in the mainline; I have just verified that we still get the same failure. Should HJ's patch be applied to the mainline as well? I will be taking this PR as [mainline regression] now.