Use unsigned long to get a 64bits type and avoid a warning about the wrong size for the type FPU_CW_t

This commit is contained in:
Maxime Gimeno 2021-07-23 14:43:02 +02:00
parent f5937cd303
commit f8690f5a6f
1 changed files with 1 additions and 1 deletions

View File

@ -450,7 +450,7 @@ typedef unsigned int FPU_CW_t;
# elif defined __aarch64__ # elif defined __aarch64__
#define CGAL_IA_SETFPCW(CW) asm volatile ("MSR FPCR, %0" : :"r" (CW)) #define CGAL_IA_SETFPCW(CW) asm volatile ("MSR FPCR, %0" : :"r" (CW))
#define CGAL_IA_GETFPCW(CW) asm volatile ("MRS %0, FPCR" : "=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_TONEAREST (0x0)
#define CGAL_FE_TOWARDZERO (0xC00000) #define CGAL_FE_TOWARDZERO (0xC00000)
#define CGAL_FE_UPWARD (0x400000) #define CGAL_FE_UPWARD (0x400000)