1
0

SDL_assert.h 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662
  1. /*
  2. Simple DirectMedia Layer
  3. Copyright (C) 1997-2025 Sam Lantinga <slouken@libsdl.org>
  4. This software is provided 'as-is', without any express or implied
  5. warranty. In no event will the authors be held liable for any damages
  6. arising from the use of this software.
  7. Permission is granted to anyone to use this software for any purpose,
  8. including commercial applications, and to alter it and redistribute it
  9. freely, subject to the following restrictions:
  10. 1. The origin of this software must not be misrepresented; you must not
  11. claim that you wrote the original software. If you use this software
  12. in a product, an acknowledgment in the product documentation would be
  13. appreciated but is not required.
  14. 2. Altered source versions must be plainly marked as such, and must not be
  15. misrepresented as being the original software.
  16. 3. This notice may not be removed or altered from any source distribution.
  17. */
  18. /**
  19. * # CategoryAssert
  20. *
  21. * A helpful assertion macro!
  22. *
  23. * SDL assertions operate like your usual `assert` macro, but with some added
  24. * features:
  25. *
  26. * - It uses a trick with the `sizeof` operator, so disabled assertions
  27. * vaporize out of the compiled code, but variables only referenced in the
  28. * assertion won't trigger compiler warnings about being unused.
  29. * - It is safe to use with a dangling-else: `if (x) SDL_assert(y); else
  30. * do_something();`
  31. * - It works the same everywhere, instead of counting on various platforms'
  32. * compiler and C runtime to behave.
  33. * - It provides multiple levels of assertion (SDL_assert, SDL_assert_release,
  34. * SDL_assert_paranoid) instead of a single all-or-nothing option.
  35. * - It offers a variety of responses when an assertion fails (retry, trigger
  36. * the debugger, abort the program, ignore the failure once, ignore it for
  37. * the rest of the program's run).
  38. * - It tries to show the user a dialog by default, if possible, but the app
  39. * can provide a callback to handle assertion failures however they like.
  40. * - It lets failed assertions be retried. Perhaps you had a network failure
  41. * and just want to retry the test after plugging your network cable back
  42. * in? You can.
  43. * - It lets the user ignore an assertion failure, if there's a harmless
  44. * problem that one can continue past.
  45. * - It lets the user mark an assertion as ignored for the rest of the
  46. * program's run; if there's a harmless problem that keeps popping up.
  47. * - It provides statistics and data on all failed assertions to the app.
  48. * - It allows the default assertion handler to be controlled with environment
  49. * variables, in case an automated script needs to control it.
  50. * - It can be used as an aid to Clang's static analysis; it will treat SDL
  51. * assertions as universally true (under the assumption that you are serious
  52. * about the asserted claims and that your debug builds will detect when
  53. * these claims were wrong). This can help the analyzer avoid false
  54. * positives.
  55. *
  56. * To use it: compile a debug build and just sprinkle around tests to check
  57. * your code!
  58. */
  59. #ifndef SDL_assert_h_
  60. #define SDL_assert_h_
  61. #include <SDL3/SDL_stdinc.h>
  62. #include <SDL3/SDL_begin_code.h>
  63. /* Set up for C function definitions, even when using C++ */
  64. #ifdef __cplusplus
  65. extern "C" {
  66. #endif
  67. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  68. /**
  69. * The level of assertion aggressiveness.
  70. *
  71. * This value changes depending on compiler options and other preprocessor
  72. * defines.
  73. *
  74. * It is currently one of the following values, but future SDL releases might
  75. * add more:
  76. *
  77. * - 0: All SDL assertion macros are disabled.
  78. * - 1: Release settings: SDL_assert disabled, SDL_assert_release enabled.
  79. * - 2: Debug settings: SDL_assert and SDL_assert_release enabled.
  80. * - 3: Paranoid settings: All SDL assertion macros enabled, including
  81. * SDL_assert_paranoid.
  82. *
  83. * \since This macro is available since SDL 3.2.0.
  84. */
  85. #define SDL_ASSERT_LEVEL SomeNumberBasedOnVariousFactors
  86. #elif !defined(SDL_ASSERT_LEVEL)
  87. #ifdef SDL_DEFAULT_ASSERT_LEVEL
  88. #define SDL_ASSERT_LEVEL SDL_DEFAULT_ASSERT_LEVEL
  89. #elif defined(_DEBUG) || defined(DEBUG) || \
  90. (defined(__GNUC__) && !defined(__OPTIMIZE__))
  91. #define SDL_ASSERT_LEVEL 2
  92. #else
  93. #define SDL_ASSERT_LEVEL 1
  94. #endif
  95. #endif
  96. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  97. /**
  98. * Attempt to tell an attached debugger to pause.
  99. *
  100. * This allows an app to programmatically halt ("break") the debugger as if it
  101. * had hit a breakpoint, allowing the developer to examine program state, etc.
  102. *
  103. * This is a macro--not a function--so that the debugger breaks on the source
  104. * code line that used SDL_TriggerBreakpoint and not in some random guts of
  105. * SDL. SDL_assert uses this macro for the same reason.
  106. *
  107. * If the program is not running under a debugger, SDL_TriggerBreakpoint will
  108. * likely terminate the app, possibly without warning. If the current platform
  109. * isn't supported, this macro is left undefined.
  110. *
  111. * \threadsafety It is safe to call this macro from any thread.
  112. *
  113. * \since This macro is available since SDL 3.2.0.
  114. */
  115. #define SDL_TriggerBreakpoint() TriggerABreakpointInAPlatformSpecificManner
  116. #elif defined(_MSC_VER) && _MSC_VER >= 1310
  117. /* Don't include intrin.h here because it contains C++ code */
  118. extern void __cdecl __debugbreak(void);
  119. #define SDL_TriggerBreakpoint() __debugbreak()
  120. #elif defined(_MSC_VER) && defined(_M_IX86)
  121. #define SDL_TriggerBreakpoint() { _asm { int 0x03 } }
  122. #elif defined(ANDROID)
  123. #include <assert.h>
  124. #define SDL_TriggerBreakpoint() assert(0)
  125. #elif SDL_HAS_BUILTIN(__builtin_debugtrap)
  126. #define SDL_TriggerBreakpoint() __builtin_debugtrap()
  127. #elif SDL_HAS_BUILTIN(__builtin_trap)
  128. #define SDL_TriggerBreakpoint() __builtin_trap()
  129. #elif (defined(__GNUC__) || defined(__clang__)) && (defined(__i386__) || defined(__x86_64__))
  130. #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "int $3\n\t" )
  131. #elif (defined(__GNUC__) || defined(__clang__)) && defined(__riscv)
  132. #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "ebreak\n\t" )
  133. #elif ( defined(SDL_PLATFORM_APPLE) && (defined(__arm64__) || defined(__aarch64__)) ) /* this might work on other ARM targets, but this is a known quantity... */
  134. #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "brk #22\n\t" )
  135. #elif defined(SDL_PLATFORM_APPLE) && defined(__arm__)
  136. #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "bkpt #22\n\t" )
  137. #elif defined(_WIN32) && ((defined(__GNUC__) || defined(__clang__)) && (defined(__arm64__) || defined(__aarch64__)) )
  138. #define SDL_TriggerBreakpoint() __asm__ __volatile__ ( "brk #0xF000\n\t" )
  139. #elif defined(__GNUC__) || defined(__clang__)
  140. #define SDL_TriggerBreakpoint() __builtin_trap() /* older gcc may not support SDL_HAS_BUILTIN(__builtin_trap) above */
  141. #elif defined(__386__) && defined(__WATCOMC__)
  142. #define SDL_TriggerBreakpoint() { _asm { int 0x03 } }
  143. #elif defined(HAVE_SIGNAL_H) && !defined(__WATCOMC__)
  144. #include <signal.h>
  145. #define SDL_TriggerBreakpoint() raise(SIGTRAP)
  146. #else
  147. /* SDL_TriggerBreakpoint is intentionally left undefined on unknown platforms. */
  148. #endif
  149. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  150. /**
  151. * A macro that reports the current function being compiled.
  152. *
  153. * If SDL can't figure how the compiler reports this, it will use "???".
  154. *
  155. * \since This macro is available since SDL 3.2.0.
  156. */
  157. #define SDL_FUNCTION __FUNCTION__
  158. #elif defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 supports __func__ as a standard. */
  159. # define SDL_FUNCTION __func__
  160. #elif ((defined(__GNUC__) && (__GNUC__ >= 2)) || defined(_MSC_VER) || defined (__WATCOMC__))
  161. # define SDL_FUNCTION __FUNCTION__
  162. #else
  163. # define SDL_FUNCTION "???"
  164. #endif
  165. /**
  166. * A macro that reports the current file being compiled.
  167. *
  168. * \since This macro is available since SDL 3.2.0.
  169. */
  170. #define SDL_FILE __FILE__
  171. /**
  172. * A macro that reports the current line number of the file being compiled.
  173. *
  174. * \since This macro is available since SDL 3.2.0.
  175. */
  176. #define SDL_LINE __LINE__
  177. /*
  178. sizeof (x) makes the compiler still parse the expression even without
  179. assertions enabled, so the code is always checked at compile time, but
  180. doesn't actually generate code for it, so there are no side effects or
  181. expensive checks at run time, just the constant size of what x WOULD be,
  182. which presumably gets optimized out as unused.
  183. This also solves the problem of...
  184. int somevalue = blah();
  185. SDL_assert(somevalue == 1);
  186. ...which would cause compiles to complain that somevalue is unused if we
  187. disable assertions.
  188. */
  189. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  190. /**
  191. * A macro for wrapping code in `do {} while (0);` without compiler warnings.
  192. *
  193. * Visual Studio with really aggressive warnings enabled needs this to avoid
  194. * compiler complaints.
  195. *
  196. * the `do {} while (0);` trick is useful for wrapping code in a macro that
  197. * may or may not be a single statement, to avoid various C language
  198. * accidents.
  199. *
  200. * To use:
  201. *
  202. * ```c
  203. * do { SomethingOnce(); } while (SDL_NULL_WHILE_LOOP_CONDITION (0));
  204. * ```
  205. *
  206. * \since This macro is available since SDL 3.2.0.
  207. */
  208. #define SDL_NULL_WHILE_LOOP_CONDITION (0)
  209. #elif defined(_MSC_VER) /* Avoid /W4 warnings. */
  210. /* "while (0,0)" fools Microsoft's compiler's /W4 warning level into thinking
  211. this condition isn't constant. And looks like an owl's face! */
  212. #define SDL_NULL_WHILE_LOOP_CONDITION (0,0)
  213. #else
  214. #define SDL_NULL_WHILE_LOOP_CONDITION (0)
  215. #endif
  216. /**
  217. * The macro used when an assertion is disabled.
  218. *
  219. * This isn't for direct use by apps, but this is the code that is inserted
  220. * when an SDL_assert is disabled (perhaps in a release build).
  221. *
  222. * The code does nothing, but wraps `condition` in a sizeof operator, which
  223. * generates no code and has no side effects, but avoid compiler warnings
  224. * about unused variables.
  225. *
  226. * \param condition the condition to assert (but not actually run here).
  227. *
  228. * \since This macro is available since SDL 3.2.0.
  229. */
  230. #define SDL_disabled_assert(condition) \
  231. do { (void) sizeof ((condition)); } while (SDL_NULL_WHILE_LOOP_CONDITION)
  232. /**
  233. * Possible outcomes from a triggered assertion.
  234. *
  235. * When an enabled assertion triggers, it may call the assertion handler
  236. * (possibly one provided by the app via SDL_SetAssertionHandler), which will
  237. * return one of these values, possibly after asking the user.
  238. *
  239. * Then SDL will respond based on this outcome (loop around to retry the
  240. * condition, try to break in a debugger, kill the program, or ignore the
  241. * problem).
  242. *
  243. * \since This enum is available since SDL 3.2.0.
  244. */
  245. typedef enum SDL_AssertState
  246. {
  247. SDL_ASSERTION_RETRY, /**< Retry the assert immediately. */
  248. SDL_ASSERTION_BREAK, /**< Make the debugger trigger a breakpoint. */
  249. SDL_ASSERTION_ABORT, /**< Terminate the program. */
  250. SDL_ASSERTION_IGNORE, /**< Ignore the assert. */
  251. SDL_ASSERTION_ALWAYS_IGNORE /**< Ignore the assert from now on. */
  252. } SDL_AssertState;
  253. /**
  254. * Information about an assertion failure.
  255. *
  256. * This structure is filled in with information about a triggered assertion,
  257. * used by the assertion handler, then added to the assertion report. This is
  258. * returned as a linked list from SDL_GetAssertionReport().
  259. *
  260. * \since This struct is available since SDL 3.2.0.
  261. */
  262. typedef struct SDL_AssertData
  263. {
  264. bool always_ignore; /**< true if app should always continue when assertion is triggered. */
  265. unsigned int trigger_count; /**< Number of times this assertion has been triggered. */
  266. const char *condition; /**< A string of this assert's test code. */
  267. const char *filename; /**< The source file where this assert lives. */
  268. int linenum; /**< The line in `filename` where this assert lives. */
  269. const char *function; /**< The name of the function where this assert lives. */
  270. const struct SDL_AssertData *next; /**< next item in the linked list. */
  271. } SDL_AssertData;
  272. /**
  273. * Never call this directly.
  274. *
  275. * Use the SDL_assert macros instead.
  276. *
  277. * \param data assert data structure.
  278. * \param func function name.
  279. * \param file file name.
  280. * \param line line number.
  281. * \returns assert state.
  282. *
  283. * \threadsafety It is safe to call this function from any thread.
  284. *
  285. * \since This function is available since SDL 3.2.0.
  286. */
  287. extern SDL_DECLSPEC SDL_AssertState SDLCALL SDL_ReportAssertion(SDL_AssertData *data,
  288. const char *func,
  289. const char *file, int line) SDL_ANALYZER_NORETURN;
  290. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  291. /**
  292. * The macro used when an assertion triggers a breakpoint.
  293. *
  294. * This isn't for direct use by apps; use SDL_assert or SDL_TriggerBreakpoint
  295. * instead.
  296. *
  297. * \since This macro is available since SDL 3.2.0.
  298. */
  299. #define SDL_AssertBreakpoint() SDL_TriggerBreakpoint()
  300. #elif !defined(SDL_AssertBreakpoint)
  301. # if defined(ANDROID) && defined(assert)
  302. /* Define this as empty in case assert() is defined as SDL_assert */
  303. # define SDL_AssertBreakpoint()
  304. # else
  305. # define SDL_AssertBreakpoint() SDL_TriggerBreakpoint()
  306. # endif
  307. #endif /* !SDL_AssertBreakpoint */
  308. /**
  309. * The macro used when an assertion is enabled.
  310. *
  311. * This isn't for direct use by apps, but this is the code that is inserted
  312. * when an SDL_assert is enabled.
  313. *
  314. * The `do {} while(0)` avoids dangling else problems:
  315. *
  316. * ```c
  317. * if (x) SDL_assert(y); else blah();
  318. * ```
  319. *
  320. * ... without the do/while, the "else" could attach to this macro's "if". We
  321. * try to handle just the minimum we need here in a macro...the loop, the
  322. * static vars, and break points. The heavy lifting is handled in
  323. * SDL_ReportAssertion().
  324. *
  325. * \param condition the condition to assert.
  326. *
  327. * \since This macro is available since SDL 3.2.0.
  328. */
  329. #define SDL_enabled_assert(condition) \
  330. do { \
  331. while ( !(condition) ) { \
  332. static struct SDL_AssertData sdl_assert_data = { 0, 0, #condition, 0, 0, 0, 0 }; \
  333. const SDL_AssertState sdl_assert_state = SDL_ReportAssertion(&sdl_assert_data, SDL_FUNCTION, SDL_FILE, SDL_LINE); \
  334. if (sdl_assert_state == SDL_ASSERTION_RETRY) { \
  335. continue; /* go again. */ \
  336. } else if (sdl_assert_state == SDL_ASSERTION_BREAK) { \
  337. SDL_AssertBreakpoint(); \
  338. } \
  339. break; /* not retrying. */ \
  340. } \
  341. } while (SDL_NULL_WHILE_LOOP_CONDITION)
  342. #ifdef SDL_WIKI_DOCUMENTATION_SECTION
  343. /**
  344. * An assertion test that is normally performed only in debug builds.
  345. *
  346. * This macro is enabled when the SDL_ASSERT_LEVEL is >= 2, otherwise it is
  347. * disabled. This is meant to only do these tests in debug builds, so they can
  348. * tend to be more expensive, and they are meant to bring everything to a halt
  349. * when they fail, with the programmer there to assess the problem.
  350. *
  351. * In short: you can sprinkle these around liberally and assume they will
  352. * evaporate out of the build when building for end-users.
  353. *
  354. * When assertions are disabled, this wraps `condition` in a `sizeof`
  355. * operator, which means any function calls and side effects will not run, but
  356. * the compiler will not complain about any otherwise-unused variables that
  357. * are only referenced in the assertion.
  358. *
  359. * One can set the environment variable "SDL_ASSERT" to one of several strings
  360. * ("abort", "break", "retry", "ignore", "always_ignore") to force a default
  361. * behavior, which may be desirable for automation purposes. If your platform
  362. * requires GUI interfaces to happen on the main thread but you're debugging
  363. * an assertion in a background thread, it might be desirable to set this to
  364. * "break" so that your debugger takes control as soon as assert is triggered,
  365. * instead of risking a bad UI interaction (deadlock, etc) in the application.
  366. *
  367. * \param condition boolean value to test.
  368. *
  369. * \threadsafety It is safe to call this macro from any thread.
  370. *
  371. * \since This macro is available since SDL 3.2.0.
  372. */
  373. #define SDL_assert(condition) if (assertion_enabled && (condition)) { trigger_assertion; }
  374. /**
  375. * An assertion test that is performed even in release builds.
  376. *
  377. * This macro is enabled when the SDL_ASSERT_LEVEL is >= 1, otherwise it is
  378. * disabled. This is meant to be for tests that are cheap to make and
  379. * extremely unlikely to fail; generally it is frowned upon to have an
  380. * assertion failure in a release build, so these assertions generally need to
  381. * be of more than life-and-death importance if there's a chance they might
  382. * trigger. You should almost always consider handling these cases more
  383. * gracefully than an assert allows.
  384. *
  385. * When assertions are disabled, this wraps `condition` in a `sizeof`
  386. * operator, which means any function calls and side effects will not run, but
  387. * the compiler will not complain about any otherwise-unused variables that
  388. * are only referenced in the assertion.
  389. *
  390. * One can set the environment variable "SDL_ASSERT" to one of several strings
  391. * ("abort", "break", "retry", "ignore", "always_ignore") to force a default
  392. * behavior, which may be desirable for automation purposes. If your platform
  393. * requires GUI interfaces to happen on the main thread but you're debugging
  394. * an assertion in a background thread, it might be desirable to set this to
  395. * "break" so that your debugger takes control as soon as assert is triggered,
  396. * instead of risking a bad UI interaction (deadlock, etc) in the application.
  397. * *
  398. *
  399. * \param condition boolean value to test.
  400. *
  401. * \threadsafety It is safe to call this macro from any thread.
  402. *
  403. * \since This macro is available since SDL 3.2.0.
  404. */
  405. #define SDL_assert_release(condition) SDL_disabled_assert(condition)
  406. /**
  407. * An assertion test that is performed only when built with paranoid settings.
  408. *
  409. * This macro is enabled when the SDL_ASSERT_LEVEL is >= 3, otherwise it is
  410. * disabled. This is a higher level than both release and debug, so these
  411. * tests are meant to be expensive and only run when specifically looking for
  412. * extremely unexpected failure cases in a special build.
  413. *
  414. * When assertions are disabled, this wraps `condition` in a `sizeof`
  415. * operator, which means any function calls and side effects will not run, but
  416. * the compiler will not complain about any otherwise-unused variables that
  417. * are only referenced in the assertion.
  418. *
  419. * One can set the environment variable "SDL_ASSERT" to one of several strings
  420. * ("abort", "break", "retry", "ignore", "always_ignore") to force a default
  421. * behavior, which may be desirable for automation purposes. If your platform
  422. * requires GUI interfaces to happen on the main thread but you're debugging
  423. * an assertion in a background thread, it might be desirable to set this to
  424. * "break" so that your debugger takes control as soon as assert is triggered,
  425. * instead of risking a bad UI interaction (deadlock, etc) in the application.
  426. *
  427. * \param condition boolean value to test.
  428. *
  429. * \threadsafety It is safe to call this macro from any thread.
  430. *
  431. * \since This macro is available since SDL 3.2.0.
  432. */
  433. #define SDL_assert_paranoid(condition) SDL_disabled_assert(condition)
  434. /* Enable various levels of assertions. */
  435. #elif SDL_ASSERT_LEVEL == 0 /* assertions disabled */
  436. # define SDL_assert(condition) SDL_disabled_assert(condition)
  437. # define SDL_assert_release(condition) SDL_disabled_assert(condition)
  438. # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition)
  439. #elif SDL_ASSERT_LEVEL == 1 /* release settings. */
  440. # define SDL_assert(condition) SDL_disabled_assert(condition)
  441. # define SDL_assert_release(condition) SDL_enabled_assert(condition)
  442. # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition)
  443. #elif SDL_ASSERT_LEVEL == 2 /* debug settings. */
  444. # define SDL_assert(condition) SDL_enabled_assert(condition)
  445. # define SDL_assert_release(condition) SDL_enabled_assert(condition)
  446. # define SDL_assert_paranoid(condition) SDL_disabled_assert(condition)
  447. #elif SDL_ASSERT_LEVEL == 3 /* paranoid settings. */
  448. # define SDL_assert(condition) SDL_enabled_assert(condition)
  449. # define SDL_assert_release(condition) SDL_enabled_assert(condition)
  450. # define SDL_assert_paranoid(condition) SDL_enabled_assert(condition)
  451. #else
  452. # error Unknown assertion level.
  453. #endif
  454. /**
  455. * An assertion test that is always performed.
  456. *
  457. * This macro is always enabled no matter what SDL_ASSERT_LEVEL is set to. You
  458. * almost never want to use this, as it could trigger on an end-user's system,
  459. * crashing your program.
  460. *
  461. * One can set the environment variable "SDL_ASSERT" to one of several strings
  462. * ("abort", "break", "retry", "ignore", "always_ignore") to force a default
  463. * behavior, which may be desirable for automation purposes. If your platform
  464. * requires GUI interfaces to happen on the main thread but you're debugging
  465. * an assertion in a background thread, it might be desirable to set this to
  466. * "break" so that your debugger takes control as soon as assert is triggered,
  467. * instead of risking a bad UI interaction (deadlock, etc) in the application.
  468. *
  469. * \param condition boolean value to test.
  470. *
  471. * \threadsafety It is safe to call this macro from any thread.
  472. *
  473. * \since This macro is available since SDL 3.2.0.
  474. */
  475. #define SDL_assert_always(condition) SDL_enabled_assert(condition)
  476. /**
  477. * A callback that fires when an SDL assertion fails.
  478. *
  479. * \param data a pointer to the SDL_AssertData structure corresponding to the
  480. * current assertion.
  481. * \param userdata what was passed as `userdata` to SDL_SetAssertionHandler().
  482. * \returns an SDL_AssertState value indicating how to handle the failure.
  483. *
  484. * \threadsafety This callback may be called from any thread that triggers an
  485. * assert at any time.
  486. *
  487. * \since This datatype is available since SDL 3.2.0.
  488. */
  489. typedef SDL_AssertState (SDLCALL *SDL_AssertionHandler)(
  490. const SDL_AssertData *data, void *userdata);
  491. /**
  492. * Set an application-defined assertion handler.
  493. *
  494. * This function allows an application to show its own assertion UI and/or
  495. * force the response to an assertion failure. If the application doesn't
  496. * provide this, SDL will try to do the right thing, popping up a
  497. * system-specific GUI dialog, and probably minimizing any fullscreen windows.
  498. *
  499. * This callback may fire from any thread, but it runs wrapped in a mutex, so
  500. * it will only fire from one thread at a time.
  501. *
  502. * This callback is NOT reset to SDL's internal handler upon SDL_Quit()!
  503. *
  504. * \param handler the SDL_AssertionHandler function to call when an assertion
  505. * fails or NULL for the default handler.
  506. * \param userdata a pointer that is passed to `handler`.
  507. *
  508. * \threadsafety It is safe to call this function from any thread.
  509. *
  510. * \since This function is available since SDL 3.2.0.
  511. *
  512. * \sa SDL_GetAssertionHandler
  513. */
  514. extern SDL_DECLSPEC void SDLCALL SDL_SetAssertionHandler(
  515. SDL_AssertionHandler handler,
  516. void *userdata);
  517. /**
  518. * Get the default assertion handler.
  519. *
  520. * This returns the function pointer that is called by default when an
  521. * assertion is triggered. This is an internal function provided by SDL, that
  522. * is used for assertions when SDL_SetAssertionHandler() hasn't been used to
  523. * provide a different function.
  524. *
  525. * \returns the default SDL_AssertionHandler that is called when an assert
  526. * triggers.
  527. *
  528. * \threadsafety It is safe to call this function from any thread.
  529. *
  530. * \since This function is available since SDL 3.2.0.
  531. *
  532. * \sa SDL_GetAssertionHandler
  533. */
  534. extern SDL_DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetDefaultAssertionHandler(void);
  535. /**
  536. * Get the current assertion handler.
  537. *
  538. * This returns the function pointer that is called when an assertion is
  539. * triggered. This is either the value last passed to
  540. * SDL_SetAssertionHandler(), or if no application-specified function is set,
  541. * is equivalent to calling SDL_GetDefaultAssertionHandler().
  542. *
  543. * The parameter `puserdata` is a pointer to a void*, which will store the
  544. * "userdata" pointer that was passed to SDL_SetAssertionHandler(). This value
  545. * will always be NULL for the default handler. If you don't care about this
  546. * data, it is safe to pass a NULL pointer to this function to ignore it.
  547. *
  548. * \param puserdata pointer which is filled with the "userdata" pointer that
  549. * was passed to SDL_SetAssertionHandler().
  550. * \returns the SDL_AssertionHandler that is called when an assert triggers.
  551. *
  552. * \threadsafety It is safe to call this function from any thread.
  553. *
  554. * \since This function is available since SDL 3.2.0.
  555. *
  556. * \sa SDL_SetAssertionHandler
  557. */
  558. extern SDL_DECLSPEC SDL_AssertionHandler SDLCALL SDL_GetAssertionHandler(void **puserdata);
  559. /**
  560. * Get a list of all assertion failures.
  561. *
  562. * This function gets all assertions triggered since the last call to
  563. * SDL_ResetAssertionReport(), or the start of the program.
  564. *
  565. * The proper way to examine this data looks something like this:
  566. *
  567. * ```c
  568. * const SDL_AssertData *item = SDL_GetAssertionReport();
  569. * while (item) {
  570. * printf("'%s', %s (%s:%d), triggered %u times, always ignore: %s.\\n",
  571. * item->condition, item->function, item->filename,
  572. * item->linenum, item->trigger_count,
  573. * item->always_ignore ? "yes" : "no");
  574. * item = item->next;
  575. * }
  576. * ```
  577. *
  578. * \returns a list of all failed assertions or NULL if the list is empty. This
  579. * memory should not be modified or freed by the application. This
  580. * pointer remains valid until the next call to SDL_Quit() or
  581. * SDL_ResetAssertionReport().
  582. *
  583. * \threadsafety This function is not thread safe. Other threads calling
  584. * SDL_ResetAssertionReport() simultaneously, may render the
  585. * returned pointer invalid.
  586. *
  587. * \since This function is available since SDL 3.2.0.
  588. *
  589. * \sa SDL_ResetAssertionReport
  590. */
  591. extern SDL_DECLSPEC const SDL_AssertData * SDLCALL SDL_GetAssertionReport(void);
  592. /**
  593. * Clear the list of all assertion failures.
  594. *
  595. * This function will clear the list of all assertions triggered up to that
  596. * point. Immediately following this call, SDL_GetAssertionReport will return
  597. * no items. In addition, any previously-triggered assertions will be reset to
  598. * a trigger_count of zero, and their always_ignore state will be false.
  599. *
  600. * \threadsafety This function is not thread safe. Other threads triggering an
  601. * assertion, or simultaneously calling this function may cause
  602. * memory leaks or crashes.
  603. *
  604. * \since This function is available since SDL 3.2.0.
  605. *
  606. * \sa SDL_GetAssertionReport
  607. */
  608. extern SDL_DECLSPEC void SDLCALL SDL_ResetAssertionReport(void);
  609. /* Ends C function definitions when using C++ */
  610. #ifdef __cplusplus
  611. }
  612. #endif
  613. #include <SDL3/SDL_close_code.h>
  614. #endif /* SDL_assert_h_ */