folly/test/SafeAssertTest.cpp

   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 #include <folly/SafeAssert.h>
  18
  19 #include <glog/logging.h>
  20
  21 #include <folly/Benchmark.h>
  22 #include <folly/portability/GTest.h>
  23
  24 using namespace folly;
  25
  26 [[noreturn]] void fail() {
  27   FOLLY_SAFE_CHECK(0 + 0, "hello");
  28 }
  29
  30 void succeed() {
  31   FOLLY_SAFE_CHECK(1, "world");
  32 }
  33
  34 TEST(SafeAssert, AssertionFailure) {
  35   succeed();
  36   EXPECT_DEATH(fail(), "Assertion failure: 0 \\+ 0");
  37   EXPECT_DEATH(fail(), "Message: hello");
  38 }