mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-01 09:49:24 +03:00
22 lines
814 B
C
22 lines
814 B
C
#pragma once
|
|
|
|
#include <stdnoreturn.h>
|
|
|
|
// Utilities used by FFI code.
|
|
|
|
// Crash is the condition is false.
|
|
#define IDRIS2_VERIFY(cond, ...) \
|
|
do { \
|
|
if (!(cond)) { \
|
|
idris2_verify_failed(__FILE__, __LINE__, #cond, __VA_ARGS__); \
|
|
} \
|
|
} while (0)
|
|
|
|
// Used by `IDRIS2_VERIFY`, do not use directly.
|
|
noreturn void idris2_verify_failed(const char *file, int line, const char *cond,
|
|
const char *fmt, ...)
|
|
#if defined(__clang__) || defined(__GNUC__)
|
|
__attribute__((format(printf, 4, 5)))
|
|
#endif
|
|
;
|