1/*  This file is part of the program GDB.
2
3    Copyright (C) 1997, Free Software Foundation, Inc.
4
5    This program is free software; you can redistribute it and/or modify
6    it under the terms of the GNU General Public License as published by
7    the Free Software Foundation; either version 3 of the License, or
8    (at your option) any later version.
9
10    This program is distributed in the hope that it will be useful,
11    but WITHOUT ANY WARRANTY; without even the implied warranty of
12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13    GNU General Public License for more details.
14
15    You should have received a copy of the GNU General Public License
16    along with this program.  If not, see <http://www.gnu.org/licenses/>.
17
18    */
19
20
21#ifndef _SIM_ASSERT_H_
22#define _SIM_ASSERT_H_
23
24#define SIM_FILTER_PATH(FILE, PATH) \
25do \
26  { \
27    /* strip leading path */ \
28    const char *p = (PATH); \
29    (FILE) = p; \
30    while (*p != '\0' && *p != ':') \
31      { \
32        if (*p == '/') \
33          (FILE) = p + 1; \
34        p++; \
35      } \
36  } \
37while (0)
38
39/* The subtle difference between SIM_ASSERT and ASSERT is that
40   SIM_ASSERT passes `sd' to sim_io_error for the SIM_DESC,
41   ASSERT passes NULL.  */
42
43#if !defined (SIM_ASSERT)
44#if defined (WITH_ASSERT)
45#define SIM_ASSERT(EXPRESSION) \
46do \
47  { \
48    if (WITH_ASSERT) \
49      { \
50        if (!(EXPRESSION)) \
51          { \
52            /* report the failure */ \
53            const char *file; \
54            SIM_FILTER_PATH(file, __FILE__); \
55            sim_io_error (sd, "%s:%d: assertion failed - %s", \
56                          file, __LINE__, #EXPRESSION); \
57          } \
58      } \
59  } \
60while (0)
61#else
62#define SIM_ASSERT(EXPRESSION) do { /*nothing*/; } while (0)
63#endif
64#endif
65
66#if !defined (ASSERT)
67#if defined (WITH_ASSERT)
68#define ASSERT(EXPRESSION) \
69do \
70  { \
71    if (WITH_ASSERT) \
72      { \
73        if (!(EXPRESSION)) \
74          { \
75            /* report the failure */ \
76            const char *file; \
77            SIM_FILTER_PATH(file, __FILE__); \
78            sim_io_error (NULL, "%s:%d: assertion failed - %s", \
79                          file, __LINE__, #EXPRESSION); \
80          } \
81      } \
82  } \
83while (0)
84#else
85#define ASSERT(EXPRESSION) do { /*nothing*/; } while (0)
86#endif
87#endif
88
89#endif
90