MySQL 8.0.29
Source Code Documentation
harness_assert.h
Go to the documentation of this file.
1/*
2 Copyright (c) 2017, 2021, Oracle and/or its affiliates.
3
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License, version 2.0,
6 as published by the Free Software Foundation.
7
8 This program is also distributed with certain software (including
9 but not limited to OpenSSL) that is licensed under separate terms,
10 as designated in a particular file or component or in included license
11 documentation. The authors of MySQL hereby grant you an additional
12 permission to link the program and your derivative works with the
13 separately licensed software that they have included with MySQL.
14
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
23*/
24
25#ifndef MYSQL_HARNESS_HARNESS_ASSERT_INCLUDED
26#define MYSQL_HARNESS_HARNESS_ASSERT_INCLUDED
27
28#include <stdlib.h>
29
30/** Improved assert()
31 *
32 * This macro is meant to provide analogous functionality to the well-known
33 * assert() macro. In contrast to the original, it should also work in
34 * release builds.
35 */
36#define harness_assert(COND) \
37 if (!(COND)) abort()
38
39/** assert(0) idiom with an explicit name
40 *
41 * This is essentially the assert(0) idiom, but with more explicit name
42 * to clarify the intent.
43 */
44[[noreturn]] inline void harness_assert_this_should_not_execute() {
45 harness_assert("If execution reached this line, you have a bug" == nullptr);
46}
47
48#endif /* MYSQL_HARNESS_HARNESS_ASSERT_INCLUDED */
#define harness_assert(COND)
Improved assert()
Definition: harness_assert.h:36
void harness_assert_this_should_not_execute()
assert(0) idiom with an explicit name
Definition: harness_assert.h:44