| #include <cstdio> |
| |
| #if __cplusplus >= 201103L |
| #define BL_NOEXCEPT noexcept |
| #else |
| #define BL_NOEXCEPT throw() |
| #endif |
| |
| #if defined __has_builtin |
| # if __has_builtin (__builtin_LINE) |
| # define VERIFY_LINE __builtin_LINE () |
| # endif |
| #endif |
| #if !defined VERIFY_LINE |
| # define VERIFY_LINE __LINE__ |
| #endif |
| |
| /* I'm not a huge fan of macros but in the interest of keeping the code that |
| isn't being tested as simple as possible, we use them. */ |
| |
| #define VERIFY(EXPR) \ |
| do { \ |
| if (!(EXPR)) \ |
| { \ |
| std::printf("VERIFY ln: %d `" #EXPR "` evaluated to false\n", \ |
| VERIFY_LINE); \ |
| inner_ok = false; \ |
| goto end; \ |
| } \ |
| } while (false) |
| |
| #define VERIFY_NON_TARGET(EXPR) \ |
| do { \ |
| if (!(EXPR)) \ |
| { \ |
| std::printf("VERIFY ln: %d `" #EXPR "` evaluated to false\n", \ |
| VERIFY_LINE); \ |
| return false; \ |
| } \ |
| } while (false) |
