Re: Surprise, surprise...
Bug reports have been filed with RedHat (hopefully to get pushed
upstream
to the gcc crew). Bugzilla 59084 and 59087, if anybody cares.
Given what I know of Red Hat, filing a bug on the Linux side probably
won't get it passed to the gcc crew. You'd be better off filing with
the gcc maintainers on the public list (if the problem can be
duplicated in the current public sources).
(I used to run the Release Engineering group at Red Hat, the one that
did gcc releases)
-sew