assert.h

Go to the documentation of this file.

#pragma once
 
#include "internal.h"
#include "string_format.h"
 
namespace kuzu {
namespace common {
 
[[noreturn]] inline void kuAssertFailureInternal(const char* condition_name, const char* file,
 int linenr) {
 // LCOV_EXCL_START
 throw InternalException(stringFormat("Assertion failed in file \"{}\" on line {}: {}", file,
 linenr, condition_name));
 // LCOV_EXCL_STOP
}
 
#if defined(KUZU_RUNTIME_CHECKS) || !defined(NDEBUG)
#define RUNTIME_CHECK(code) code
#define KU_ASSERT(condition) \
 static_cast<bool>(condition) ? \
 void(0) : \
 kuzu::common::kuAssertFailureInternal(#condition, __FILE__, __LINE__)
#else
#define KU_ASSERT(condition) void(0)
#define RUNTIME_CHECK(code) void(0)
#endif
 
#define KU_UNREACHABLE \
 [[unlikely]] kuzu::common::kuAssertFailureInternal("KU_UNREACHABLE", __FILE__, __LINE__)
#define KU_UNUSED(expr) (void)(expr)
 
} // namespace common
} // namespace kuzu