X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/91715e2f198242d378e33453014dd004fcf9f47e..a79a8e1cab86ccc687cfbc97b01b735acb996f16:/include/xbt/asserts.h diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h index 431ed94900..30d9a34512 100644 --- a/include/xbt/asserts.h +++ b/include/xbt/asserts.h @@ -1,6 +1,6 @@ -/* xbt/asserts.h -- assertion mecanism */ +/* xbt/asserts.h -- assertion mechanism */ -/* Copyright (c) 2005, 2006, 2007, 2009, 2010. The SimGrid Team. +/* Copyright (c) 2005-2007, 2009-2014. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -14,48 +14,39 @@ #include "xbt/ex.h" SG_BEGIN_DECL() +XBT_PUBLIC_DATA(int) xbt_log_no_loc; /* Do not show the backtrace on failed backtrace when doing our tests */ /** * @addtogroup XBT_error * @brief Those are the SimGrid version of the good ol' assert macro. * - * You can pass them a format message and arguments, just as if it where a - * printf. - * It is converted to a CRITICALn logging request. - * Be careful: the boolean expression that you want to test should not have - * side effects, because assertions are disabled at compile time if NDEBUG - * is set. + * You can pass them a format message and arguments, just as if it where a printf. + * It is converted to a XBT_CRITICAL logging request. + * Be careful: the boolean expression that you want to test should not have side effects, because assertions are + * disabled at compile time if NDEBUG is set. * * @{ */ #ifdef NDEBUG -#define xbt_assert(cond) -#define xbt_assert0(cond,msg) -#define xbt_assert1(cond,msg,a) -#define xbt_assert2(cond,msg,a,b) -#define xbt_assert3(cond,msg,a,b,c) -#define xbt_assert4(cond,msg,a,b,c,d) -#define xbt_assert5(cond,msg,a,b,c,d,e) -#define xbt_assert6(cond,msg,a,b,c,d,e,f) +#define xbt_assert(...) ((void)0) #else - /** @brief The condition which failed will be displayed. - @hideinitializer */ -#define xbt_assert(cond) do { if (!(cond)) THROW1(0,0,"Assertion %s failed", #cond); } while (0) - /** @hideinitializer */ -#define xbt_assert0(cond,msg) do { if (!(cond)) THROW0(0,0,msg); } while (0) - /** @hideinitializer */ -#define xbt_assert1(cond,msg,a) do { if (!(cond)) THROW1(0,0,msg,a); } while (0) - /** @hideinitializer */ -#define xbt_assert2(cond,msg,a,b) do { if (!(cond)) THROW2(0,0,msg,a,b); } while (0) - /** @hideinitializer */ -#define xbt_assert3(cond,msg,a,b,c) do { if (!(cond)) THROW3(0,0,msg,a,b,c); } while (0) - /** @hideinitializer */ -#define xbt_assert4(cond,msg,a,b,c,d) do { if (!(cond)) THROW4(0,0,msg,a,b,c,d); } while (0) - /** @hideinitializer */ -#define xbt_assert5(cond,msg,a,b,c,d,e) do { if (!(cond)) THROW5(0,0,msg,a,b,c,d,e); } while (0) - /** @hideinitializer */ -#define xbt_assert6(cond,msg,a,b,c,d,e,f) do { if (!(cond)) THROW6(0,0,msg,a,b,c,d,e,f); } while (0) + /** @brief The condition which failed will be displayed. + @hideinitializer */ +#define xbt_assert(...) \ + _XBT_IF_ONE_ARG(_xbt_assert_ARG1, _xbt_assert_ARGN, __VA_ARGS__)(__VA_ARGS__) +#define _xbt_assert_ARG1(cond) \ + _xbt_assert_ARGN(cond, "Assertion %s failed", #cond) +#define _xbt_assert_ARGN(cond, ...) \ + do { \ + if (!(cond)) { \ + XBT_CCRITICAL(root, __VA_ARGS__); \ + if (!xbt_log_no_loc) \ + xbt_backtrace_display_current(); \ + abort(); \ + } \ + } while (0) #endif + /** @} */ - SG_END_DECL() +SG_END_DECL() #endif /* _XBT_ASSERTS_H */