use assume from c++23 when possible (#8597)

This commit is contained in:
Sebastien Loriot 2024-11-14 07:42:19 +01:00 committed by GitHub
commit dd6adf68b3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 1 deletions

View File

@ -157,6 +157,10 @@
#if __cplusplus >= 202002L || _MSVC_LANG >= 202002L
# define CGAL_CXX20 1
#endif
// Same for C++23
#if __cplusplus >= 202302L || _MSVC_LANG >= 202302L
# define CGAL_CXX23 1
#endif
//----------------------------------------------------------------------//
@ -351,8 +355,11 @@ using std::max;
#endif
// Macro CGAL_ASSUME and CGAL_UNREACHABLE
#ifdef CGAL_CXX23
# define CGAL_ASSUME(EX) [[ assume(EX) ]]
# define CGAL_UNREACHABLE() std::unreachable()
#elif __has_builtin(__builtin_unreachable) || (CGAL_GCC_VERSION > 0 && !__STRICT_ANSI__)
// Call a builtin of the compiler to pass a hint to the compiler
#if __has_builtin(__builtin_unreachable) || (CGAL_GCC_VERSION > 0 && !__STRICT_ANSI__)
// From g++ 4.5, there exists a __builtin_unreachable()
// Also in LLVM/clang
# define CGAL_ASSUME(EX) if(!(EX)) { __builtin_unreachable(); }