songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

separate macros and macro function

This commit is contained in:
Sébastien Loriot 2021-10-27 16:01:19 +02:00
parent 604d2fd1ff
commit 85c00352c3
2 changed files with 17 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Installation/include/CGAL/config.h
View File

@ -369,17 +369,17 @@ using std::max;
# define CGAL_NO_UNIQUE_ADDRESS
#endif
// Macro CGAL_ASSUME and CGAL_unreachable
// Macro CGAL_ASSUME and CGAL_UNREACHABLE
// 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(); }
# define CGAL_unreachable() __builtin_unreachable()
# define CGAL_UNREACHABLE() __builtin_unreachable()
#elif defined(_MSC_VER)
// MSVC has __assume
# define CGAL_ASSUME(EX) __assume(EX)
# define CGAL_unreachable() __assume(0)
# define CGAL_UNREACHABLE() __assume(0)
#endif
// If CGAL_ASSUME is not defined, then CGAL_assume and CGAL_assume_code are
// defined differently, in <CGAL/assertions.h>

24
STL_Extension/include/CGAL/assertions.h
View File

@ -79,14 +79,6 @@ inline bool possibly(Uncertain<bool> c);
# define CGAL_destructor_assertion_catch(CODE) CODE
# define CGAL_assertion_msg(EX,MSG) (static_cast<void>(0))
# define CGAL_assertion_code(CODE)
# ifdef CGAL_ASSUME
# define CGAL_assume(EX) CGAL_ASSUME(EX)
# define CGAL_assume_code(CODE) CODE
# else // not def CGAL_ASSUME
# define CGAL_assume(EX) CGAL_assertion(EX)
# define CGAL_unreachable() CGAL_assertion(false)
# define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
# endif // not def CGAL_ASSUME
#else // no CGAL_NO_ASSERTIONS
# define CGAL_ASSERTIONS_ENABLED true
# define CGAL_assertion(EX) \
@ -103,10 +95,22 @@ inline bool possibly(Uncertain<bool> c);
# define CGAL_assertion_msg(EX,MSG) \
(CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
# define CGAL_assertion_code(CODE) CODE
# define CGAL_assume(EX) CGAL_assertion(EX)
# define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
#endif // no CGAL_NO_ASSERTIONS
# ifdef CGAL_ASSUME
# define CGAL_assume(EX) CGAL_ASSUME(EX)
# define CGAL_assume_code(CODE) CODE
# else // not def CGAL_ASSUME
# define CGAL_assume(EX) CGAL_assertion(EX)
# define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
# endif // CGAL_ASSUME
# ifdef CGAL_UNREACHABLE
# define CGAL_unreachable() CGAL_UNREACHABLE()
# else // not def CGAL_UNREACHABLE
# define CGAL_unreachable() CGAL_assertion(false)
# endif // CGAL_UNREACHABLE
# define CGAL_static_assertion(EX) \
static_assert(EX, #EX)