- Add a runtime test that tries to check if a user has forgotten -frounding-math.
- Make the code "more robust" (big quotes) against no-rounding-math compiler optimizations
by systematically negating the second argument of CGAL_IA_MUL() and CGAL_IA_DIV()
instead of the first, since it is the one which stops constant propagation
(at least this way the test-suite passes even with -fno-rounding-math).
This way -CGAL_IA_MUL(-a,b) which got wrongly optimized to CGAL_IA_MUL(a,b),
doesn't anymore when in the form -CGAL_IA_MUL(a, -b).
It is not bullet proof, as negations can come from further away.
-frounding-math is still necessary.
Getting rid of it would require more places where to call CGAL::IA_force_to_double(),
and would be necessarily much slower.
Sylvain Pion
c10a040c8e