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

do not modify CGAL_assume

This commit is contained in:
Sébastien Loriot 2021-10-27 16:09:32 +02:00
parent 85c00352c3
commit 2d9280ec96
1 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -79,6 +79,13 @@ 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_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) \
@ -95,16 +102,10 @@ 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