[Bug libstdc++/28457] ext/pb_ds/regression/tree_data_map_rand.cc fails with a particular random seed.

[redi at gcc dot gnu.org]

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.