https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28457
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |4.7.0
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Paolo Carlini from comment #7)
> Certainly I can confirm that the problem cannot be reproduced anymore by
> tweaking the random seed to 1153519516.
Given this comment, I don't know how to reproduce the original failure. So
let's say it's FIXED. Benjamin's commit was in GCC 4.7.0 so setting that for
the target milestone.
