From f8690f5a6faf4ebefcf7ea0180e915006e82f553 Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Fri, 23 Jul 2021 14:43:02 +0200 Subject: [PATCH] Use unsigned long to get a 64bits type and avoid a warning about the wrong size for the type FPU_CW_t --- Number_types/include/CGAL/FPU.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Number_types/include/CGAL/FPU.h b/Number_types/include/CGAL/FPU.h index 6d5f02a3075..626a27eb443 100644 --- a/Number_types/include/CGAL/FPU.h +++ b/Number_types/include/CGAL/FPU.h @@ -450,7 +450,7 @@ typedef unsigned int FPU_CW_t; # elif defined __aarch64__ #define CGAL_IA_SETFPCW(CW) asm volatile ("MSR FPCR, %0" : :"r" (CW)) #define CGAL_IA_GETFPCW(CW) asm volatile ("MRS %0, FPCR" : "=r" (CW)) -typedef unsigned int FPU_CW_t; +typedef unsigned long FPU_CW_t; #define CGAL_FE_TONEAREST (0x0) #define CGAL_FE_TOWARDZERO (0xC00000) #define CGAL_FE_UPWARD (0x400000)