[Bug libstdc++/63332] problem with VERIFY in ext/random/k_distribution/operators/serialize.cc execution test
redi at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Thu Sep 25 10:14:00 GMT 2014
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';
More information about the Gcc-bugs
mailing list