1 | /* |
2 | * Copyright 2013-present 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/lang/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 | // clang-format off |
27 | [[noreturn]] void fail() { |
28 | FOLLY_SAFE_CHECK(0 + 0, "hello" ); |
29 | } |
30 | // clang-format on |
31 | |
32 | void succeed() { |
33 | FOLLY_SAFE_CHECK(1, "world" ); |
34 | } |
35 | |
36 | TEST(SafeAssert, AssertionFailure) { |
37 | succeed(); |
38 | EXPECT_DEATH(fail(), "Assertion failure: 0 \\+ 0" ); |
39 | EXPECT_DEATH(fail(), "Message: hello" ); |
40 | } |
41 | |