| Avi Drissman | e4622aa | 2022-09-08 20:36:06 | [diff] [blame] | 1 | // Copyright 2011 The Chromium Authors |
| akalin@chromium.org | ddb9b33 | 2011-12-02 07:31:09 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | // This file is meant for analyzing the code generated by the CHECK |
| 6 | // macros in a small executable file that's easy to disassemble. |
| 7 | |
| Hans Wennborg | c3cffa6 | 2020-04-27 10:09:12 | [diff] [blame] | 8 | #include <ostream> |
| 9 | |
| 10 | #include "base/check_op.h" |
| scottmg | 3c957a5 | 2016-12-10 20:57:59 | [diff] [blame] | 11 | #include "base/compiler_specific.h" |
| akalin@chromium.org | ddb9b33 | 2011-12-02 07:31:09 | [diff] [blame] | 12 | |
| 13 | // An official build shouldn't generate code to print out messages for |
| 14 | // the CHECK* macros, nor should it have the strings in the |
| scottmg | 3c957a5 | 2016-12-10 20:57:59 | [diff] [blame] | 15 | // executable. It is also important that the CHECK() function collapse to the |
| 16 | // same implementation as RELEASE_ASSERT(), in particular on Windows x86. |
| 17 | // Historically, the stream eating caused additional unnecessary instructions. |
| 18 | // See https://crbug.com/672699. |
| 19 | |
| 20 | #define BLINK_RELEASE_ASSERT_EQUIVALENT(assertion) \ |
| Peter Boström | 25c6ec7 | 2022-11-02 23:25:19 | [diff] [blame] | 21 | (UNLIKELY(!(assertion)) ? (base::ImmediateCrash()) : (void)0) |
| akalin@chromium.org | ddb9b33 | 2011-12-02 07:31:09 | [diff] [blame] | 22 | |
| 23 | void DoCheck(bool b) { |
| 24 | CHECK(b) << "DoCheck " << b; |
| 25 | } |
| 26 | |
| scottmg | 3c957a5 | 2016-12-10 20:57:59 | [diff] [blame] | 27 | void DoBlinkReleaseAssert(bool b) { |
| 28 | BLINK_RELEASE_ASSERT_EQUIVALENT(b); |
| 29 | } |
| 30 | |
| akalin@chromium.org | ddb9b33 | 2011-12-02 07:31:09 | [diff] [blame] | 31 | void DoCheckEq(int x, int y) { |
| 32 | CHECK_EQ(x, y); |
| 33 | } |
| 34 | |
| 35 | int main(int argc, const char* argv[]) { |
| 36 | DoCheck(argc > 1); |
| 37 | DoCheckEq(argc, 1); |
| scottmg | 3c957a5 | 2016-12-10 20:57:59 | [diff] [blame] | 38 | DoBlinkReleaseAssert(argc > 1); |
| akalin@chromium.org | ddb9b33 | 2011-12-02 07:31:09 | [diff] [blame] | 39 | } |