Idris2/support/refc/refc_util.h

#pragma once

#include <stdnoreturn.h>

// Utilities used by RefC code.

// Crash is the condition is false.
#define IDRIS2_REFC_VERIFY(cond, ...)                                          \
  do {                                                                         \
    if (!(cond)) {                                                             \
      idris2_refc_verify_failed(__FILE__, __LINE__, #cond, __VA_ARGS__);       \
    }                                                                          \
  } while (0)

// Used by `IDRIS2_REFC_VERIFY`, do not use directly.
noreturn void idris2_refc_verify_failed(const char *file, int line,
                                        const char *cond, const char *fmt, ...)
#if defined(__clang__) || defined(__GNUC__)
    __attribute__((format(printf, 4, 5)))
#endif
    ;