This commit is contained in:
Laurent Rineau 2025-07-02 15:45:22 +02:00
parent ad20fa497a
commit e187dc03cb
1 changed files with 2 additions and 3 deletions

View File

@ -486,11 +486,10 @@ FPU_CW_t
FPU_get_cw (void) FPU_get_cw (void)
{ {
#ifdef CGAL_ALWAYS_ROUND_TO_NEAREST #ifdef CGAL_ALWAYS_ROUND_TO_NEAREST
FPU_CW_t cw; CGAL_assertion_code(FPU_CW_t cw; CGAL_IA_GETFPCW(cw);)
CGAL_IA_GETFPCW(cw);
CGAL_assertion_code(FPU_CW_t mask = CGAL_FE_ROUNDING_MASK;) CGAL_assertion_code(FPU_CW_t mask = CGAL_FE_ROUNDING_MASK;)
CGAL_assertion((cw & mask) == (CGAL_FE_TONEAREST & mask)); CGAL_assertion((cw & mask) == (CGAL_FE_TONEAREST & mask));
return cw; return CGAL_FE_TONEAREST;
#else #else
FPU_CW_t cw; FPU_CW_t cw;
CGAL_IA_GETFPCW(cw); CGAL_IA_GETFPCW(cw);