2000-09-04 01:19:41 +08:00
|
|
|
/* GDB-friendly replacement for <assert.h>.
|
2024-01-12 23:30:44 +08:00
|
|
|
Copyright (C) 2000-2024 Free Software Foundation, Inc.
|
2000-09-04 01:19:41 +08:00
|
|
|
|
|
|
|
|
This file is part of GDB.
|
|
|
|
|
|
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
|
it under the terms of the GNU General Public License as published by
|
2007-08-24 02:08:50 +08:00
|
|
|
the Free Software Foundation; either version 3 of the License, or
|
2000-09-04 01:19:41 +08:00
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2007-08-24 02:08:50 +08:00
|
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
2000-09-04 01:19:41 +08:00
|
|
|
|
2019-01-28 03:51:36 +08:00
|
|
|
#ifndef COMMON_GDB_ASSERT_H
|
|
|
|
|
#define COMMON_GDB_ASSERT_H
|
2000-09-04 01:19:41 +08:00
|
|
|
|
2019-10-02 02:36:07 +08:00
|
|
|
#include "errors.h"
|
|
|
|
|
|
2001-03-02 01:30:05 +08:00
|
|
|
/* PRAGMATICS: "gdb_assert.h":gdb_assert() is a lower case (rather
|
|
|
|
|
than upper case) macro since that provides the closest fit to the
|
|
|
|
|
existing lower case macro <assert.h>:assert() that it is
|
2011-01-08 03:36:19 +08:00
|
|
|
replacing. */
|
2001-03-02 01:30:05 +08:00
|
|
|
|
2000-09-04 01:19:41 +08:00
|
|
|
#define gdb_assert(expr) \
|
|
|
|
|
((void) ((expr) ? 0 : \
|
2021-11-13 10:12:00 +08:00
|
|
|
(gdb_assert_fail (#expr, __FILE__, __LINE__, __func__), 0)))
|
2000-09-04 01:19:41 +08:00
|
|
|
|
2010-08-19 03:13:33 +08:00
|
|
|
/* This prints an "Assertion failed" message, asking the user if they
|
2000-09-04 01:19:41 +08:00
|
|
|
want to continue, dump core, or just exit. */
|
2003-05-30 05:22:45 +08:00
|
|
|
#define gdb_assert_fail(assertion, file, line, function) \
|
internal_error: remove need to pass __FILE__/__LINE__
Currently, every internal_error call must be passed __FILE__/__LINE__
explicitly, like:
internal_error (__FILE__, __LINE__, "foo %d", var);
The need to pass in explicit __FILE__/__LINE__ is there probably
because the function predates widespread and portable variadic macros
availability. We can use variadic macros nowadays, and in fact, we
already use them in several places, including the related
gdb_assert_not_reached.
So this patch renames the internal_error function to something else,
and then reimplements internal_error as a variadic macro that expands
__FILE__/__LINE__ itself.
The result is that we now should call internal_error like so:
internal_error ("foo %d", var);
Likewise for internal_warning.
The patch adjusts all calls sites. 99% of the adjustments were done
with a perl/sed script.
The non-mechanical changes are in gdbsupport/errors.h,
gdbsupport/gdb_assert.h, and gdb/gdbarch.py.
Approved-By: Simon Marchi <simon.marchi@efficios.com>
Change-Id: Ia6f372c11550ca876829e8fd85048f4502bdcf06
2022-10-18 00:12:20 +08:00
|
|
|
internal_error_loc (file, line, _("%s: Assertion `%s' failed."), \
|
|
|
|
|
function, assertion)
|
2000-09-04 01:19:41 +08:00
|
|
|
|
2010-08-19 03:13:33 +08:00
|
|
|
/* The canonical form of gdb_assert (0).
|
|
|
|
|
MESSAGE is a string to include in the error message. */
|
|
|
|
|
|
2021-11-18 02:44:01 +08:00
|
|
|
#define gdb_assert_not_reached(message, ...) \
|
internal_error: remove need to pass __FILE__/__LINE__
Currently, every internal_error call must be passed __FILE__/__LINE__
explicitly, like:
internal_error (__FILE__, __LINE__, "foo %d", var);
The need to pass in explicit __FILE__/__LINE__ is there probably
because the function predates widespread and portable variadic macros
availability. We can use variadic macros nowadays, and in fact, we
already use them in several places, including the related
gdb_assert_not_reached.
So this patch renames the internal_error function to something else,
and then reimplements internal_error as a variadic macro that expands
__FILE__/__LINE__ itself.
The result is that we now should call internal_error like so:
internal_error ("foo %d", var);
Likewise for internal_warning.
The patch adjusts all calls sites. 99% of the adjustments were done
with a perl/sed script.
The non-mechanical changes are in gdbsupport/errors.h,
gdbsupport/gdb_assert.h, and gdb/gdbarch.py.
Approved-By: Simon Marchi <simon.marchi@efficios.com>
Change-Id: Ia6f372c11550ca876829e8fd85048f4502bdcf06
2022-10-18 00:12:20 +08:00
|
|
|
internal_error_loc (__FILE__, __LINE__, _("%s: " message), __func__, \
|
|
|
|
|
##__VA_ARGS__)
|
2010-08-19 03:13:33 +08:00
|
|
|
|
2019-01-28 03:51:36 +08:00
|
|
|
#endif /* COMMON_GDB_ASSERT_H */
|
