folly/SafeAssert.h

   1 /*
   2  * Copyright 2016 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(expr, msg) \
  28   ((expr) ? static_cast<void>(0) : \
  29    ::folly::detail::assertionFailure( \
  30        FB_STRINGIZE(expr), (msg), __FILE__, __LINE__, __PRETTY_FUNCTION__))
  31
  32 /**
  33  * In debug mode, verify that the expression is true. Otherwise, do nothing
  34  * (do not even evaluate expr). Just like assert() or DCHECK(), but only
  35  * logs to stderr and only does async-signal-safe calls.
  36  */
  37 #ifdef NDEBUG
  38 #define FOLLY_SAFE_DCHECK(expr, msg) (static_cast<void>(0))
  39 #else
  40 #define FOLLY_SAFE_DCHECK FOLLY_SAFE_CHECK
  41 #endif
  42
  43 namespace folly { namespace detail {
  44
  45 [[noreturn]] void assertionFailure(
  46     const char* expr,
  47     const char* msg,
  48     const char* file,
  49     unsigned int line,
  50     const char* function);
  51 }}  // namespace folly