folly/SafeAssert.h

   1 /*
   2  * Copyright 2017 Facebook, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *   http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 #pragma once
  18
  19 #include <folly/Portability.h>
  20 #include <folly/Preprocessor.h>
  21
  22 /**
  23  * Verify that the expression is true. If not, prints an error message
  24  * (containing msg) to stderr and abort()s. Just like CHECK(), but only
  25  * logs to stderr and only does async-signal-safe calls.
  26  */
  27 #define FOLLY_SAFE_CHECK_IMPL(expr, expr_s, msg) \
  28   ((expr) ? static_cast<void>(0) : \
  29    ::folly::detail::assertionFailure( \
  30        FB_STRINGIZE(expr_s), (msg), __FILE__, __LINE__, __PRETTY_FUNCTION__))
  31 #define FOLLY_SAFE_CHECK(expr, msg) FOLLY_SAFE_CHECK_IMPL((expr), (expr), (msg))
  32
  33 /**
  34  * In debug mode, verify that the expression is true. Otherwise, do nothing
  35  * (do not even evaluate expr). Just like DCHECK(), but only logs to stderr and
  36  * only does async-signal-safe calls.
  37  */
  38 #define FOLLY_SAFE_DCHECK(expr, msg) \
  39   FOLLY_SAFE_CHECK_IMPL(!folly::kIsDebug || (expr), (expr), (msg))
  40
  41 namespace folly { namespace detail {
  42
  43 [[noreturn]] void assertionFailure(
  44     const char* expr,
  45     const char* msg,
  46     const char* file,
  47     unsigned int line,
  48     const char* function);
  49 }}  // namespace folly