Use :Protect_FPU_rounding in order to restore rounding mode

2008-10-17 13:06:01 +00:00 · 2008-10-17 13:06:01 +00:00 · 096bffba4b
parent c0d16dd488
commit 096bffba4b
1 changed files with 1 additions and 2 deletions
--- a/Profiling_tools/test/Profiling_tools/test_timer.cpp
+++ b/Profiling_tools/test/Profiling_tools/test_timer.cpp
@ -39,8 +39,7 @@ int main(){
    // to double is done in a consistent way.  Otherwise we may get
    // double-rounding effects (show up on x86 at -O2 typically), which
    // makes the timer non-monotone.
-    CGAL::force_ieee_double_precision();
-
+    CGAL::Protect_FPU_rounding<true> pfr(CGAL_FE_TONEAREST);
    double p = 0.0;
    std::cout << "CGAL::Timer:\n";
    p += test_timer<CGAL::Timer>();