Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line | 
|---|---|---|---|
| 9 | pmbaty | 1 | /* | 
| 2 |   Simple DirectMedia Layer | ||
| 3 |   Copyright (C) 1997-2023 Sam Lantinga <slouken@libsdl.org> | ||
| 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_stdinc.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 _SDL_HAS_BUILTIN(__builtin_debugtrap) | ||
| 55 |     #define SDL_TriggerBreakpoint() __builtin_debugtrap() | ||
| 56 | #elif ( (!defined(__NACL__)) && ((defined(__GNUC__) || defined(__clang__)) && (defined(__i386__) || defined(__x86_64__))) ) | ||
| 57 |     #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "int $3\n\t" ) | ||
| 58 | #elif (defined(__GNUC__) || defined(__clang__)) && defined(__riscv) | ||
| 59 |     #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "ebreak\n\t" ) | ||
| 60 | #elif ( defined(__APPLE__) && (defined(__arm64__) || defined(__aarch64__)) )  /* this might work on other ARM targets, but this is a known quantity... */ | ||
| 61 |     #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "brk #22\n\t" ) | ||
| 62 | #elif defined(__APPLE__) && defined(__arm__) | ||
| 63 |     #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "bkpt #22\n\t" ) | ||
| 64 | #elif defined(__386__) && defined(__WATCOMC__) | ||
| 65 |     #define SDL_TriggerBreakpoint() { _asm { int 0x03 } } | ||
| 66 | #elif defined(HAVE_SIGNAL_H) && !defined(__WATCOMC__) | ||
| 67 |     #include <signal.h> | ||
| 68 |     #define SDL_TriggerBreakpoint() raise(SIGTRAP) | ||
| 69 | #else | ||
| 70 |     /* How do we trigger breakpoints on this platform? */ | ||
| 71 |     #define SDL_TriggerBreakpoint() | ||
| 72 | #endif | ||
| 73 | |||
| 74 | #if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 supports __func__ as a standard. */ | ||
| 75 | #   define SDL_FUNCTION __func__ | ||
| 76 | #elif ((defined(__GNUC__) && (__GNUC__ >= 2)) || defined(_MSC_VER) || defined (__WATCOMC__)) | ||
| 77 | #   define SDL_FUNCTION __FUNCTION__ | ||
| 78 | #else | ||
| 79 | #   define SDL_FUNCTION "???" | ||
| 80 | #endif | ||
| 81 | #define SDL_FILE    __FILE__ | ||
| 82 | #define SDL_LINE    __LINE__ | ||
| 83 | |||
| 84 | /* | ||
| 85 | sizeof (x) makes the compiler still parse the expression even without | ||
| 86 | assertions enabled, so the code is always checked at compile time, but | ||
| 87 | doesn't actually generate code for it, so there are no side effects or | ||
| 88 | expensive checks at run time, just the constant size of what x WOULD be, | ||
| 89 | which presumably gets optimized out as unused. | ||
| 90 | This also solves the problem of... | ||
| 91 | |||
| 92 |     int somevalue = blah(); | ||
| 93 |     SDL_assert(somevalue == 1); | ||
| 94 | |||
| 95 | ...which would cause compiles to complain that somevalue is unused if we | ||
| 96 | disable assertions. | ||
| 97 | */ | ||
| 98 | |||
| 99 | /* "while (0,0)" fools Microsoft's compiler's /W4 warning level into thinking | ||
| 100 |     this condition isn't constant. And looks like an owl's face! */ | ||
| 101 | #ifdef _MSC_VER  /* stupid /W4 warnings. */ | ||
| 102 | #define SDL_NULL_WHILE_LOOP_CONDITION (0,0) | ||
| 103 | #else | ||
| 104 | #define SDL_NULL_WHILE_LOOP_CONDITION (0) | ||
| 105 | #endif | ||
| 106 | |||
| 107 | #define SDL_disabled_assert(condition) \ | ||
| 108 |     do { (void) sizeof ((condition)); } while (SDL_NULL_WHILE_LOOP_CONDITION) | ||
| 109 | |||
| 110 | typedef enum | ||
| 111 | { | ||
| 112 |     SDL_ASSERTION_RETRY,  /**< Retry the assert immediately. */ | ||
| 113 |     SDL_ASSERTION_BREAK,  /**< Make the debugger trigger a breakpoint. */ | ||
| 114 |     SDL_ASSERTION_ABORT,  /**< Terminate the program. */ | ||
| 115 |     SDL_ASSERTION_IGNORE,  /**< Ignore the assert. */ | ||
| 116 |     SDL_ASSERTION_ALWAYS_IGNORE  /**< Ignore the assert from now on. */ | ||
| 117 | } SDL_AssertState; | ||
| 118 | |||
| 119 | typedef struct SDL_AssertData | ||
| 120 | { | ||
| 121 | int always_ignore; | ||
| 122 | unsigned int trigger_count; | ||
| 123 | const char *condition; | ||
| 124 | const char *filename; | ||
| 125 | int linenum; | ||
| 126 | const char *function; | ||
| 127 | const struct SDL_AssertData *next; | ||
| 128 | } SDL_AssertData; | ||
| 129 | |||
| 130 | /* Never call this directly. Use the SDL_assert* macros. */ | ||
| 131 | extern DECLSPEC SDL_AssertState SDLCALL SDL_ReportAssertion(SDL_AssertData *, | ||
| 132 | const char *, | ||
| 133 | const char *, int) | ||
| 134 | #if defined(__clang__) | ||
| 135 | #if __has_feature(attribute_analyzer_noreturn) | ||
| 136 | /* this tells Clang's static analysis that we're a custom assert function, | ||
| 137 |    and that the analyzer should assume the condition was always true past this | ||
| 138 |    SDL_assert test. */ | ||
| 139 | __attribute__((analyzer_noreturn)) | ||
| 140 | #endif | ||
| 141 | #endif | ||
| 142 | ; | ||
| 143 | |||
| 144 | /* the do {} while(0) avoids dangling else problems: | ||
| 145 |     if (x) SDL_assert(y); else blah(); | ||
| 146 |        ... without the do/while, the "else" could attach to this macro's "if". | ||
| 147 |    We try to handle just the minimum we need here in a macro...the loop, | ||
| 148 |    the static vars, and break points. The heavy lifting is handled in | ||
| 149 |    SDL_ReportAssertion(), in SDL_assert.c. | ||
| 150 | */ | ||
| 151 | #define SDL_enabled_assert(condition) \ | ||
| 152 |     do { \ | ||
| 153 |         while ( !(condition) ) { \ | ||
| 154 |             static struct SDL_AssertData sdl_assert_data = { 0, 0, #condition, 0, 0, 0, 0 }; \ | ||
| 155 |             const SDL_AssertState sdl_assert_state = SDL_ReportAssertion(&sdl_assert_data, SDL_FUNCTION, SDL_FILE, SDL_LINE); \ | ||
| 156 |             if (sdl_assert_state == SDL_ASSERTION_RETRY) { \ | ||
| 157 |                 continue; /* go again. */ \ | ||
| 158 |             } else if (sdl_assert_state == SDL_ASSERTION_BREAK) { \ | ||
| 159 |                 SDL_TriggerBreakpoint(); \ | ||
| 160 |             } \ | ||
| 161 |             break; /* not retrying. */ \ | ||
| 162 |         } \ | ||
| 163 |     } while (SDL_NULL_WHILE_LOOP_CONDITION) | ||
| 164 | |||
| 165 | /* Enable various levels of assertions. */ | ||
| 166 | #if SDL_ASSERT_LEVEL == 0   /* assertions disabled */ | ||
| 167 | #   define SDL_assert(condition) SDL_disabled_assert(condition) | ||
| 168 | #   define SDL_assert_release(condition) SDL_disabled_assert(condition) | ||
| 169 | #   define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) | ||
| 170 | #elif SDL_ASSERT_LEVEL == 1  /* release settings. */ | ||
| 171 | #   define SDL_assert(condition) SDL_disabled_assert(condition) | ||
| 172 | #   define SDL_assert_release(condition) SDL_enabled_assert(condition) | ||
| 173 | #   define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) | ||
| 174 | #elif SDL_ASSERT_LEVEL == 2  /* normal settings. */ | ||
| 175 | #   define SDL_assert(condition) SDL_enabled_assert(condition) | ||
| 176 | #   define SDL_assert_release(condition) SDL_enabled_assert(condition) | ||
| 177 | #   define SDL_assert_paranoid(condition) SDL_disabled_assert(condition) | ||
| 178 | #elif SDL_ASSERT_LEVEL == 3  /* paranoid settings. */ | ||
| 179 | #   define SDL_assert(condition) SDL_enabled_assert(condition) | ||
| 180 | #   define SDL_assert_release(condition) SDL_enabled_assert(condition) | ||
| 181 | #   define SDL_assert_paranoid(condition) SDL_enabled_assert(condition) | ||
| 182 | #else | ||
| 183 | #   error Unknown assertion level. | ||
| 184 | #endif | ||
| 185 | |||
| 186 | /* this assertion is never disabled at any level. */ | ||
| 187 | #define SDL_assert_always(condition) SDL_enabled_assert(condition) | ||
| 188 | |||
| 189 | |||
| 190 | /** | ||
| 191 |  * A callback that fires when an SDL assertion fails. | ||
| 192 |  * | ||
| 193 |  * \param data a pointer to the SDL_AssertData structure corresponding to the | ||
| 194 |  *             current assertion | ||
| 195 |  * \param userdata what was passed as `userdata` to SDL_SetAssertionHandler() | ||
| 196 |  * \returns an SDL_AssertState value indicating how to handle the failure. | ||
| 197 |  */ | ||
| 198 | typedef SDL_AssertState (SDLCALL *SDL_AssertionHandler)( | ||
| 199 | const SDL_AssertData* data, void* userdata); | ||
| 200 | |||
| 201 | /** | ||
| 202 |  * Set an application-defined assertion handler. | ||
| 203 |  * | ||
| 204 |  * This function allows an application to show its own assertion UI and/or | ||
| 205 |  * force the response to an assertion failure. If the application doesn't | ||
| 206 |  * provide this, SDL will try to do the right thing, popping up a | ||
| 207 |  * system-specific GUI dialog, and probably minimizing any fullscreen windows. | ||
| 208 |  * | ||
| 209 |  * This callback may fire from any thread, but it runs wrapped in a mutex, so | ||
| 210 |  * it will only fire from one thread at a time. | ||
| 211 |  * | ||
| 212 |  * This callback is NOT reset to SDL's internal handler upon SDL_Quit()! | ||
| 213 |  * | ||
| 214 |  * \param handler the SDL_AssertionHandler function to call when an assertion | ||
| 215 |  *                fails or NULL for the default handler | ||
| 216 |  * \param userdata a pointer that is passed to `handler` | ||
| 217 |  * | ||
| 218 |  * \since This function is available since SDL 2.0.0. | ||
| 219 |  * | ||
| 220 |  * \sa SDL_GetAssertionHandler | ||
| 221 |  */ | ||
| 222 | extern DECLSPEC void SDLCALL SDL_SetAssertionHandler( | ||
| 223 | SDL_AssertionHandler handler, | ||
| 224 | void *userdata); | ||
| 225 | |||
| 226 | /** | ||
| 227 |  * Get the default assertion handler. | ||
| 228 |  * | ||
| 229 |  * This returns the function pointer that is called by default when an | ||
| 230 |  * assertion is triggered. This is an internal function provided by SDL, that | ||
| 231 |  * is used for assertions when SDL_SetAssertionHandler() hasn't been used to | ||
| 232 |  * provide a different function. | ||
| 233 |  * | ||
| 234 |  * \returns the default SDL_AssertionHandler that is called when an assert | ||
| 235 |  *          triggers. | ||
| 236 |  * | ||
| 237 |  * \since This function is available since SDL 2.0.2. | ||
| 238 |  * | ||
| 239 |  * \sa SDL_GetAssertionHandler | ||
| 240 |  */ | ||
| 241 | extern DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetDefaultAssertionHandler(void); | ||
| 242 | |||
| 243 | /** | ||
| 244 |  * Get the current assertion handler. | ||
| 245 |  * | ||
| 246 |  * This returns the function pointer that is called when an assertion is | ||
| 247 |  * triggered. This is either the value last passed to | ||
| 248 |  * SDL_SetAssertionHandler(), or if no application-specified function is set, | ||
| 249 |  * is equivalent to calling SDL_GetDefaultAssertionHandler(). | ||
| 250 |  * | ||
| 251 |  * The parameter `puserdata` is a pointer to a void*, which will store the | ||
| 252 |  * "userdata" pointer that was passed to SDL_SetAssertionHandler(). This value | ||
| 253 |  * will always be NULL for the default handler. If you don't care about this | ||
| 254 |  * data, it is safe to pass a NULL pointer to this function to ignore it. | ||
| 255 |  * | ||
| 256 |  * \param puserdata pointer which is filled with the "userdata" pointer that | ||
| 257 |  *                  was passed to SDL_SetAssertionHandler() | ||
| 258 |  * \returns the SDL_AssertionHandler that is called when an assert triggers. | ||
| 259 |  * | ||
| 260 |  * \since This function is available since SDL 2.0.2. | ||
| 261 |  * | ||
| 262 |  * \sa SDL_SetAssertionHandler | ||
| 263 |  */ | ||
| 264 | extern DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetAssertionHandler(void **puserdata); | ||
| 265 | |||
| 266 | /** | ||
| 267 |  * Get a list of all assertion failures. | ||
| 268 |  * | ||
| 269 |  * This function gets all assertions triggered since the last call to | ||
| 270 |  * SDL_ResetAssertionReport(), or the start of the program. | ||
| 271 |  * | ||
| 272 |  * The proper way to examine this data looks something like this: | ||
| 273 |  * | ||
| 274 |  * ```c | ||
| 275 |  * const SDL_AssertData *item = SDL_GetAssertionReport(); | ||
| 276 |  * while (item) { | ||
| 277 |  *    printf("'%s', %s (%s:%d), triggered %u times, always ignore: %s.\\n", | ||
| 278 |  *           item->condition, item->function, item->filename, | ||
| 279 |  *           item->linenum, item->trigger_count, | ||
| 280 |  *           item->always_ignore ? "yes" : "no"); | ||
| 281 |  *    item = item->next; | ||
| 282 |  * } | ||
| 283 |  * ``` | ||
| 284 |  * | ||
| 285 |  * \returns a list of all failed assertions or NULL if the list is empty. This | ||
| 286 |  *          memory should not be modified or freed by the application. | ||
| 287 |  * | ||
| 288 |  * \since This function is available since SDL 2.0.0. | ||
| 289 |  * | ||
| 290 |  * \sa SDL_ResetAssertionReport | ||
| 291 |  */ | ||
| 292 | extern DECLSPEC const SDL_AssertData * SDLCALL SDL_GetAssertionReport(void); | ||
| 293 | |||
| 294 | /** | ||
| 295 |  * Clear the list of all assertion failures. | ||
| 296 |  * | ||
| 297 |  * This function will clear the list of all assertions triggered up to that | ||
| 298 |  * point. Immediately following this call, SDL_GetAssertionReport will return | ||
| 299 |  * no items. In addition, any previously-triggered assertions will be reset to | ||
| 300 |  * a trigger_count of zero, and their always_ignore state will be false. | ||
| 301 |  * | ||
| 302 |  * \since This function is available since SDL 2.0.0. | ||
| 303 |  * | ||
| 304 |  * \sa SDL_GetAssertionReport | ||
| 305 |  */ | ||
| 306 | extern DECLSPEC void SDLCALL SDL_ResetAssertionReport(void); | ||
| 307 | |||
| 308 | |||
| 309 | /* these had wrong naming conventions until 2.0.4. Please update your app! */ | ||
| 310 | #define SDL_assert_state SDL_AssertState | ||
| 311 | #define SDL_assert_data SDL_AssertData | ||
| 312 | |||
| 313 | |||
| 314 | /* Ends C function definitions when using C++ */ | ||
| 315 | #ifdef __cplusplus | ||
| 316 | } | ||
| 317 | #endif | ||
| 318 | #include "close_code.h" | ||
| 319 | |||
| 320 | #endif /* SDL_assert_h_ */ | ||
| 321 | |||
| 322 | /* vi: set ts=4 sw=4 expandtab: */ |