On Sun, 20 Nov 2016, Niels Möller wrote:
It would make sense to test both gmp and mini-gmp with -fsanitize=undefined.
If we are not already doing it, yes, I highly recommend it. -- Marc Glisse _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel