Rev 1 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1 | pmbaty | 1 | /* |
2 | Simple DirectMedia Layer |
||
8 | pmbaty | 3 | Copyright (C) 1997-2018 Sam Lantinga <slouken@libsdl.org> |
1 | pmbaty | 4 | |
5 | This software is provided 'as-is', without any express or implied |
||
6 | warranty. In no event will the authors be held liable for any damages |
||
7 | arising from the use of this software. |
||
8 | |||
9 | Permission is granted to anyone to use this software for any purpose, |
||
10 | including commercial applications, and to alter it and redistribute it |
||
11 | freely, subject to the following restrictions: |
||
12 | |||
13 | 1. The origin of this software must not be misrepresented; you must not |
||
14 | claim that you wrote the original software. If you use this software |
||
15 | in a product, an acknowledgment in the product documentation would be |
||
16 | appreciated but is not required. |
||
17 | 2. Altered source versions must be plainly marked as such, and must not be |
||
18 | misrepresented as being the original software. |
||
19 | 3. This notice may not be removed or altered from any source distribution. |
||
20 | */ |
||
21 | |||
22 | #ifndef SDL_assert_h_ |
||
23 | #define SDL_assert_h_ |
||
24 | |||
25 | #include "SDL_config.h" |
||
26 | |||
27 | #include "begin_code.h" |
||
28 | /* Set up for C function definitions, even when using C++ */ |
||
29 | #ifdef __cplusplus |
||
30 | extern "C" { |
||
31 | #endif |
||
32 | |||
33 | #ifndef SDL_ASSERT_LEVEL |
||
34 | #ifdef SDL_DEFAULT_ASSERT_LEVEL |
||
35 | #define SDL_ASSERT_LEVEL SDL_DEFAULT_ASSERT_LEVEL |
||
36 | #elif defined(_DEBUG) || defined(DEBUG) || \ |
||
37 | (defined(__GNUC__) && !defined(__OPTIMIZE__)) |
||
38 | #define SDL_ASSERT_LEVEL 2 |
||
39 | #else |
||
40 | #define SDL_ASSERT_LEVEL 1 |
||
41 | #endif |
||
42 | #endif /* SDL_ASSERT_LEVEL */ |
||
43 | |||
44 | /* |
||
45 | These are macros and not first class functions so that the debugger breaks |
||
46 | on the assertion line and not in some random guts of SDL, and so each |
||
47 | assert can have unique static variables associated with it. |
||
48 | */ |
||
49 | |||
50 | #if defined(_MSC_VER) |
||
51 | /* Don't include intrin.h here because it contains C++ code */ |
||
52 | extern void __cdecl __debugbreak(void); |
||
53 | #define SDL_TriggerBreakpoint() __debugbreak() |
||
54 | #elif ( (!defined(__NACL__)) && ((defined(__GNUC__) || defined(__clang__)) && (defined(__i386__) || defined(__x86_64__))) ) |
||
55 | #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "int $3\n\t" ) |
||
56 | #elif defined(__386__) && defined(__WATCOMC__) |
||
57 | #define SDL_TriggerBreakpoint() { _asm { int 0x03 } } |
||
58 | #elif defined(HAVE_SIGNAL_H) && !defined(__WATCOMC__) |
||
59 | #include <signal.h> |
||
60 | #define SDL_TriggerBreakpoint() raise(SIGTRAP) |
||
61 | #else |
||
62 | /* How do we trigger breakpoints on this platform? */ |
||
63 | #define SDL_TriggerBreakpoint() |
||
64 | #endif |
||
65 | |||
66 | #if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 supports __func__ as a standard. */ |
||
67 | # define SDL_FUNCTION __func__ |
||
68 | #elif ((__GNUC__ >= 2) || defined(_MSC_VER) || defined (__WATCOMC__)) |
||
69 | # define SDL_FUNCTION __FUNCTION__ |
||
70 | #else |
||
71 | # define SDL_FUNCTION "???" |
||
72 | #endif |
||
73 | #define SDL_FILE __FILE__ |
||
74 | #define SDL_LINE __LINE__ |
||
75 | |||
76 | /* |
||
77 | sizeof (x) makes the compiler still parse the expression even without |
||
78 | assertions enabled, so the code is always checked at compile time, but |
||
79 | doesn't actually generate code for it, so there are no side effects or |
||
80 | expensive checks at run time, just the constant size of what x WOULD be, |
||
81 | which presumably gets optimized out as unused. |
||
82 | This also solves the problem of... |
||
83 | |||
84 | int somevalue = blah(); |
||
85 | SDL_assert(somevalue == 1); |
||
86 | |||
87 | ...which would cause compiles to complain that somevalue is unused if we |
||
88 | disable assertions. |
||
89 | */ |
||
90 | |||
91 | /* "while (0,0)" fools Microsoft's compiler's /W4 warning level into thinking |
||
92 | this condition isn't constant. And looks like an owl's face! */ |
||
93 | #ifdef _MSC_VER /* stupid /W4 warnings. */ |
||
94 | #define SDL_NULL_WHILE_LOOP_CONDITION (0,0) |
||
95 | #else |
||
96 | #define SDL_NULL_WHILE_LOOP_CONDITION (0) |
||
97 | #endif |
||
98 | |||
99 | #define SDL_disabled_assert(condition) \ |
||
100 | do { (void) sizeof ((condition)); } while (SDL_NULL_WHILE_LOOP_CONDITION) |
||
101 | |||
102 | typedef enum |
||
103 | { |
||
104 | SDL_ASSERTION_RETRY, /**< Retry the assert immediately. */ |
||
105 | SDL_ASSERTION_BREAK, /**< Make the debugger trigger a breakpoint. */ |
||
106 | SDL_ASSERTION_ABORT, /**< Terminate the program. */ |
||
107 | SDL_ASSERTION_IGNORE, /**< Ignore the assert. */ |
||
108 | SDL_ASSERTION_ALWAYS_IGNORE /**< Ignore the assert from now on. */ |
||
109 | } SDL_AssertState; |
||
110 | |||
111 | typedef struct SDL_AssertData |
||
112 | { |
||
113 | int always_ignore; |
||
114 | unsigned int trigger_count; |
||
115 | const char *condition; |
||
116 | const char *filename; |
||
117 | int linenum; |
||
118 | const char *function; |
||
119 | const struct SDL_AssertData *next; |
||
120 | } SDL_AssertData; |
||
121 | |||
122 | #if (SDL_ASSERT_LEVEL > 0) |
||
123 | |||
124 | /* Never call this directly. Use the SDL_assert* macros. */ |
||
125 | extern DECLSPEC SDL_AssertState SDLCALL SDL_ReportAssertion(SDL_AssertData *, |
||
126 | const char *, |
||
127 | const char *, int) |
||
128 | #if defined(__clang__) |
||
129 | #if __has_feature(attribute_analyzer_noreturn) |
||
130 | /* this tells Clang's static analysis that we're a custom assert function, |
||
131 | and that the analyzer should assume the condition was always true past this |
||
132 | SDL_assert test. */ |
||
133 | __attribute__((analyzer_noreturn)) |
||
134 | #endif |
||
135 | #endif |
||
136 | ; |
||
137 | |||
138 | /* the do {} while(0) avoids dangling else problems: |
||
139 | if (x) SDL_assert(y); else blah(); |
||
140 | ... without the do/while, the "else" could attach to this macro's "if". |
||
141 | We try to handle just the minimum we need here in a macro...the loop, |
||
142 | the static vars, and break points. The heavy lifting is handled in |
||
143 | SDL_ReportAssertion(), in SDL_assert.c. |
||
144 | */ |
||
145 | #define SDL_enabled_assert(condition) \ |
||
146 | do { \ |
||
147 | while ( !(condition) ) { \ |
||
148 | static struct SDL_AssertData sdl_assert_data = { \ |
||
149 | 0, 0, #condition, 0, 0, 0, 0 \ |
||
150 | }; \ |
||
151 | const SDL_AssertState sdl_assert_state = SDL_ReportAssertion(&sdl_assert_data, SDL_FUNCTION, SDL_FILE, SDL_LINE); \ |
||
152 | if (sdl_assert_state == SDL_ASSERTION_RETRY) { \ |
||
153 | continue; /* go again. */ \ |
||
154 | } else if (sdl_assert_state == SDL_ASSERTION_BREAK) { \ |
||
155 | SDL_TriggerBreakpoint(); \ |
||
156 | } \ |
||
157 | break; /* not retrying. */ \ |
||
158 | } \ |
||
159 | } while (SDL_NULL_WHILE_LOOP_CONDITION) |
||
160 | |||
161 | #endif /* enabled assertions support code */ |
||
162 | |||
163 | /* Enable various levels of assertions. */ |
||
164 | #if SDL_ASSERT_LEVEL == 0 /* assertions disabled */ |
||
165 | # define SDL_assert(condition) SDL_disabled_assert(condition) |
||
166 | # define SDL_assert_release(condition) SDL_disabled_assert(condition) |
||
167 | # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) |
||
168 | #elif SDL_ASSERT_LEVEL == 1 /* release settings. */ |
||
169 | # define SDL_assert(condition) SDL_disabled_assert(condition) |
||
170 | # define SDL_assert_release(condition) SDL_enabled_assert(condition) |
||
171 | # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) |
||
172 | #elif SDL_ASSERT_LEVEL == 2 /* normal settings. */ |
||
173 | # define SDL_assert(condition) SDL_enabled_assert(condition) |
||
174 | # define SDL_assert_release(condition) SDL_enabled_assert(condition) |
||
175 | # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) |
||
176 | #elif SDL_ASSERT_LEVEL == 3 /* paranoid settings. */ |
||
177 | # define SDL_assert(condition) SDL_enabled_assert(condition) |
||
178 | # define SDL_assert_release(condition) SDL_enabled_assert(condition) |
||
179 | # define SDL_assert_paranoid(condition) SDL_enabled_assert(condition) |
||
180 | #else |
||
181 | # error Unknown assertion level. |
||
182 | #endif |
||
183 | |||
184 | /* this assertion is never disabled at any level. */ |
||
185 | #define SDL_assert_always(condition) SDL_enabled_assert(condition) |
||
186 | |||
187 | |||
188 | typedef SDL_AssertState (SDLCALL *SDL_AssertionHandler)( |
||
189 | const SDL_AssertData* data, void* userdata); |
||
190 | |||
191 | /** |
||
192 | * \brief Set an application-defined assertion handler. |
||
193 | * |
||
194 | * This allows an app to show its own assertion UI and/or force the |
||
195 | * response to an assertion failure. If the app doesn't provide this, SDL |
||
196 | * will try to do the right thing, popping up a system-specific GUI dialog, |
||
197 | * and probably minimizing any fullscreen windows. |
||
198 | * |
||
199 | * This callback may fire from any thread, but it runs wrapped in a mutex, so |
||
200 | * it will only fire from one thread at a time. |
||
201 | * |
||
202 | * Setting the callback to NULL restores SDL's original internal handler. |
||
203 | * |
||
204 | * This callback is NOT reset to SDL's internal handler upon SDL_Quit()! |
||
205 | * |
||
206 | * Return SDL_AssertState value of how to handle the assertion failure. |
||
207 | * |
||
208 | * \param handler Callback function, called when an assertion fails. |
||
209 | * \param userdata A pointer passed to the callback as-is. |
||
210 | */ |
||
211 | extern DECLSPEC void SDLCALL SDL_SetAssertionHandler( |
||
212 | SDL_AssertionHandler handler, |
||
213 | void *userdata); |
||
214 | |||
215 | /** |
||
216 | * \brief Get the default assertion handler. |
||
217 | * |
||
218 | * This returns the function pointer that is called by default when an |
||
219 | * assertion is triggered. This is an internal function provided by SDL, |
||
220 | * that is used for assertions when SDL_SetAssertionHandler() hasn't been |
||
221 | * used to provide a different function. |
||
222 | * |
||
223 | * \return The default SDL_AssertionHandler that is called when an assert triggers. |
||
224 | */ |
||
225 | extern DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetDefaultAssertionHandler(void); |
||
226 | |||
227 | /** |
||
228 | * \brief Get the current assertion handler. |
||
229 | * |
||
230 | * This returns the function pointer that is called when an assertion is |
||
231 | * triggered. This is either the value last passed to |
||
232 | * SDL_SetAssertionHandler(), or if no application-specified function is |
||
233 | * set, is equivalent to calling SDL_GetDefaultAssertionHandler(). |
||
234 | * |
||
235 | * \param puserdata Pointer to a void*, which will store the "userdata" |
||
236 | * pointer that was passed to SDL_SetAssertionHandler(). |
||
237 | * This value will always be NULL for the default handler. |
||
238 | * If you don't care about this data, it is safe to pass |
||
239 | * a NULL pointer to this function to ignore it. |
||
240 | * \return The SDL_AssertionHandler that is called when an assert triggers. |
||
241 | */ |
||
242 | extern DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetAssertionHandler(void **puserdata); |
||
243 | |||
244 | /** |
||
245 | * \brief Get a list of all assertion failures. |
||
246 | * |
||
247 | * Get all assertions triggered since last call to SDL_ResetAssertionReport(), |
||
248 | * or the start of the program. |
||
249 | * |
||
250 | * The proper way to examine this data looks something like this: |
||
251 | * |
||
252 | * <code> |
||
253 | * const SDL_AssertData *item = SDL_GetAssertionReport(); |
||
254 | * while (item) { |
||
255 | * printf("'%s', %s (%s:%d), triggered %u times, always ignore: %s.\\n", |
||
256 | * item->condition, item->function, item->filename, |
||
257 | * item->linenum, item->trigger_count, |
||
258 | * item->always_ignore ? "yes" : "no"); |
||
259 | * item = item->next; |
||
260 | * } |
||
261 | * </code> |
||
262 | * |
||
263 | * \return List of all assertions. |
||
264 | * \sa SDL_ResetAssertionReport |
||
265 | */ |
||
266 | extern DECLSPEC const SDL_AssertData * SDLCALL SDL_GetAssertionReport(void); |
||
267 | |||
268 | /** |
||
269 | * \brief Reset the list of all assertion failures. |
||
270 | * |
||
271 | * Reset list of all assertions triggered. |
||
272 | * |
||
273 | * \sa SDL_GetAssertionReport |
||
274 | */ |
||
275 | extern DECLSPEC void SDLCALL SDL_ResetAssertionReport(void); |
||
276 | |||
277 | |||
278 | /* these had wrong naming conventions until 2.0.4. Please update your app! */ |
||
279 | #define SDL_assert_state SDL_AssertState |
||
280 | #define SDL_assert_data SDL_AssertData |
||
281 | |||
282 | |||
283 | /* Ends C function definitions when using C++ */ |
||
284 | #ifdef __cplusplus |
||
285 | } |
||
286 | #endif |
||
287 | #include "close_code.h" |
||
288 | |||
289 | #endif /* SDL_assert_h_ */ |
||
290 | |||
291 | /* vi: set ts=4 sw=4 expandtab: */ |