assert.hpp

Go to the documentation of this file.

// Copyright (C) 2020-2023 Jonathan Müller and lexy contributors
// SPDX-License-Identifier: BSL-1.0
 
#ifndef LEXY_DETAIL_ASSERT_HPP_INCLUDED
#define LEXY_DETAIL_ASSERT_HPP_INCLUDED
 
#include <lexy/_detail/config.hpp>
 
#ifndef LEXY_ENABLE_ASSERT
 
// By default, enable assertions if NDEBUG is not defined.
 
#    if NDEBUG
#        define LEXY_ENABLE_ASSERT 0
#    else
#        define LEXY_ENABLE_ASSERT 1
#    endif
 
#endif
 
#if LEXY_ENABLE_ASSERT
 
// We want assertions: use assert() if that's available, otherwise abort.
// We don't use assert() directly as that's not constexpr.
 
#    if NDEBUG
 
#        include <cstdlib>
#        define LEXY_PRECONDITION(Expr) ((Expr) ? void(0) : std::abort())
#        define LEXY_ASSERT(Expr, Msg) ((Expr) ? void(0) : std::abort())
 
#    else
 
#        include <cassert>
 
#        define LEXY_PRECONDITION(Expr) ((Expr) ? void(0) : assert(Expr))
#        define LEXY_ASSERT(Expr, Msg) ((Expr) ? void(0) : assert((Expr) && (Msg)))
 
#    endif
 
#else
 
// We don't want assertions.
 
#    define LEXY_PRECONDITION(Expr) static_cast<void>(sizeof(Expr))
#    define LEXY_ASSERT(Expr, Msg) static_cast<void>(sizeof(Expr))
 
#endif
 
#endif // LEXY_DETAIL_ASSERT_HPP_INCLUDED