src/gromacs/utility/gmxassert.h

   1 /*
   2  * This file is part of the GROMACS molecular simulation package.
   3  *
   4  * Copyright (c) 2011,2012,2013,2014,2015,2018, by the GROMACS development team, led by
   5  * Mark Abraham, David van der Spoel, Berk Hess, and Erik Lindahl,
   6  * and including many others, as listed in the AUTHORS file in the
   7  * top-level source directory and at http://www.gromacs.org.
   8  *
   9  * GROMACS is free software; you can redistribute it and/or
  10  * modify it under the terms of the GNU Lesser General Public License
  11  * as published by the Free Software Foundation; either version 2.1
  12  * of the License, or (at your option) any later version.
  13  *
  14  * GROMACS is distributed in the hope that it will be useful,
  15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  17  * Lesser General Public License for more details.
  18  *
  19  * You should have received a copy of the GNU Lesser General Public
  20  * License along with GROMACS; if not, see
  21  * http://www.gnu.org/licenses, or write to the Free Software Foundation,
  22  * Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA.
  23  *
  24  * If you want to redistribute modifications to GROMACS, please
  25  * consider that scientific software is very special. Version
  26  * control is crucial - bugs must be traceable. We will be happy to
  27  * consider code for inclusion in the official distribution, but
  28  * derived work must not be called official GROMACS. Details are found
  29  * in the README & COPYING files - if they are missing, get the
  30  * official version at http://www.gromacs.org.
  31  *
  32  * To help us fund GROMACS development, we humbly ask that you cite
  33  * the research papers on the package. Check out http://www.gromacs.org.
  34  */
  35 /*! \file
  36  * \brief
  37  * Defines assert macros customized for Gromacs.
  38  *
  39  * \author Teemu Murtola <teemu.murtola@gmail.com>
  40  * \inpublicapi
  41  * \ingroup module_utility
  42  */
  43 #ifndef GMX_UTILITY_GMXASSERT_H
  44 #define GMX_UTILITY_GMXASSERT_H
  45
  46 #include "gromacs/utility/basedefinitions.h"
  47 #include "gromacs/utility/current_function.h"
  48
  49 //! \addtogroup module_utility
  50 //! \{
  51
  52 /*! \def GMX_RELEASE_ASSERT
  53  * \brief
  54  * Macro for asserts that should also be present in the release version.
  55  *
  56  * Regardless of NDEBUG, this macro checks \p condition, and if it is not true,
  57  * it calls the assert handler.
  58  *
  59  * Although this macro currently calls abort() if the assertion fails, it
  60  * should only be used in a context where it is safe to throw an exception to
  61  * keep the option open.
  62  */
  63 #ifdef GMX_DISABLE_ASSERTS
  64 #define GMX_RELEASE_ASSERT(condition, msg)
  65 #else
  66 #ifdef _MSC_VER
  67 #define GMX_RELEASE_ASSERT(condition, msg) \
  68     ((void) ((condition) ? (void)0 :                               \
  69              ::gmx::internal::assertHandler(#condition, msg, \
  70                                             GMX_CURRENT_FUNCTION, __FILE__, __LINE__)))
  71 #else
  72 // Use an "immediately invoked function expression" to allow being
  73 // used in constexpr context with older GCC versions
  74 // https://akrzemi1.wordpress.com/2017/05/18/asserts-in-constexpr-functions/
  75 #define GMX_RELEASE_ASSERT(condition, msg) \
  76     ((void) ((condition) ? (void)0 :                               \
  77              [&](){::gmx::internal::assertHandler(#condition, msg, \
  78                                                   GMX_CURRENT_FUNCTION, __FILE__, __LINE__); } ()))
  79 #endif
  80 #endif
  81 /*! \def GMX_ASSERT
  82  * \brief
  83  * Macro for debug asserts.
  84  *
  85  * If NDEBUG is defined, this macro expands to nothing.
  86  * If it is not defined, it will work exactly like ::GMX_RELEASE_ASSERT.
  87  *
  88  * \see ::GMX_RELEASE_ASSERT
  89  */
  90 #ifdef NDEBUG
  91 #define GMX_ASSERT(condition, msg) ((void)0)
  92 #else
  93 #define GMX_ASSERT(condition, msg) GMX_RELEASE_ASSERT(condition, msg)
  94 #endif
  95
  96 //! \}
  97
  98 namespace gmx
  99 {
 100
 101 /*! \cond internal */
 102 namespace internal
 103 {
 104
 105 /*! \brief
 106  * Called when an assert fails.
 107  *
 108  * Should not be called directly, but instead through ::GMX_ASSERT or
 109  * ::GMX_RELEASE_ASSERT.
 110  *
 111  * \ingroup module_utility
 112  */
 113 [[noreturn]]
 114 void assertHandler(const char *condition, const char *msg,
 115                    const char *func, const char *file, int line);
 116
 117 }   // namespace internal
 118 //! \endcond
 119
 120 } // namespace gmx
 121
 122 #endif