https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63332
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|testsuite |libstdc++ Version|unknown |4.9.0 --- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- The issue is not with VERIFY, which is just an assertion and so all it has to do is check for true or false. The assertion fails because distribution's operator== is saying the distributions are not equal, so either the operator== is buggy (but that would probably fail on all platforms) or the issue is in the serialization or deserialization. Could you please add -fno-access-control to the "dg-options" flags at the top of the file and replace the VERIFY check with the following: std::cout << (u._M_param._M_lambda == v._M_param._M_lambda) << '\n'; std::cout << (u._M_param._M_mu == v._M_param._M_mu) << '\n'; std::cout << (u._M_param._M_nu == v._M_param._M_nu) << '\n'; std::cout << (u._M_gd1 == v._M_gd1) << '\n'; std::cout << (u._M_gd2 == v._M_gd2) << '\n';