]>
Commit | Line | Data |
---|---|---|
c906108c SS |
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 | |
4744ac1b | 7 | the Free Software Foundation; either version 3 of the License, or |
c906108c SS |
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. | |
4744ac1b | 14 | |
c906108c | 15 | You should have received a copy of the GNU General Public License |
4744ac1b | 16 | along with this program. If not, see <http://www.gnu.org/licenses/>. |
028f6515 | 17 | |
c906108c SS |
18 | */ |
19 | ||
20 | ||
21 | #ifndef _SIM_ASSERT_H_ | |
22 | #define _SIM_ASSERT_H_ | |
23 | ||
24 | #define SIM_FILTER_PATH(FILE, PATH) \ | |
25 | do \ | |
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 | } \ | |
37 | while (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) \ | |
46 | do \ | |
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 | } \ | |
60 | while (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) \ | |
69 | do \ | |
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 | } \ | |
83 | while (0) | |
84 | #else | |
85 | #define ASSERT(EXPRESSION) do { /*nothing*/; } while (0) | |
86 | #endif | |
87 | #endif | |
88 | ||
89 | #endif |