http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47844
Mikael Morin <mikael at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
CC| |mikael at gcc dot gnu.org
Resolution| |FIXED
--- Comment #12 from Mikael Morin <mikael at gcc dot gnu.org> 2012-06-29
18:08:42 UTC ---
(In reply to comment #11)
> Is this fixed now?
>
> From the comments, it seems that we can close this.
I assume we can. At least the original problem, comment #2 and #3 work fine
now.
