| 12 | struct hugeint_t; |
| 13 | |
| 14 | inline void assert_restrict_function( |
| 15 | void* left_start, void* left_end, void* right_start, void* right_end, const char* fname, int linenr) { |
| 16 | // assert that the two pointers do not overlap |
| 17 | #ifdef DEBUG |
| 18 | if (!(left_end <= right_start || right_end <= left_start)) { |
| 19 | printf("ASSERT RESTRICT FAILED: %s:%d\n", fname, linenr); |
| 20 | D_ASSERT(0); |
| 21 | } |
| 22 | #endif |
| 23 | } |
| 24 | |
| 25 | #define ASSERT_RESTRICT(left_start, left_end, right_start, right_end) \ |
| 26 | assert_restrict_function(left_start, left_end, right_start, right_end, __FILE__, __LINE__) |
nothing calls this directly
no outgoing calls
no test coverage detected