xref: /freebsd/contrib/llvm-project/libcxx/include/__assert (revision 06c3fb2749bda94cb5201f81ffdb8fa6c3161b2e)
181ad6265SDimitry Andric// -*- C++ -*-
281ad6265SDimitry Andric//===----------------------------------------------------------------------===//
381ad6265SDimitry Andric//
481ad6265SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
581ad6265SDimitry Andric// See https://llvm.org/LICENSE.txt for license information.
681ad6265SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
781ad6265SDimitry Andric//
881ad6265SDimitry Andric//===----------------------------------------------------------------------===//
981ad6265SDimitry Andric
1081ad6265SDimitry Andric#ifndef _LIBCPP___ASSERT
1181ad6265SDimitry Andric#define _LIBCPP___ASSERT
1281ad6265SDimitry Andric
1381ad6265SDimitry Andric#include <__config>
1461cfbce3SDimitry Andric#include <__verbose_abort>
1581ad6265SDimitry Andric
1681ad6265SDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1781ad6265SDimitry Andric#  pragma GCC system_header
1881ad6265SDimitry Andric#endif
1981ad6265SDimitry Andric
2081ad6265SDimitry Andric#define _LIBCPP_ASSERT(expression, message)                                                                            \
21*06c3fb27SDimitry Andric  (__builtin_expect(static_cast<bool>(expression), 1)                                                                  \
22*06c3fb27SDimitry Andric       ? (void)0                                                                                                       \
23*06c3fb27SDimitry Andric       : _LIBCPP_VERBOSE_ABORT(                                                                                        \
24*06c3fb27SDimitry Andric             "%s:%d: assertion %s failed: %s\n", __builtin_FILE(), __builtin_LINE(), #expression, message))
25*06c3fb27SDimitry Andric
26*06c3fb27SDimitry Andric// TODO: __builtin_assume can currently inhibit optimizations. Until this has been fixed and we can add
27*06c3fb27SDimitry Andric//       assumptions without a clear optimization intent, disable that to avoid worsening the code generation.
28*06c3fb27SDimitry Andric//       See https://discourse.llvm.org/t/llvm-assume-blocks-optimization/71609 for a discussion.
29*06c3fb27SDimitry Andric#if 0 && __has_builtin(__builtin_assume)
30*06c3fb27SDimitry Andric#  define _LIBCPP_ASSUME(expression)                                                                                   \
31*06c3fb27SDimitry Andric    (_LIBCPP_DIAGNOSTIC_PUSH _LIBCPP_CLANG_DIAGNOSTIC_IGNORED("-Wassume")                                              \
32*06c3fb27SDimitry Andric         __builtin_assume(static_cast<bool>(expression)) _LIBCPP_DIAGNOSTIC_POP)
3381ad6265SDimitry Andric#else
34*06c3fb27SDimitry Andric#  define _LIBCPP_ASSUME(expression) ((void)0)
3581ad6265SDimitry Andric#endif
3681ad6265SDimitry Andric
3781ad6265SDimitry Andric#endif // _LIBCPP___ASSERT
38