assert.h

Go to the documentation of this file.

 
/*
 * (c) 2015 Adam Lackorzynski <adam@l4re.org>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once
 
#ifdef NDEBUG
 
#define l4_assert(x) do { } while (0)
#define l4_check(x) do { (void)(x); } while (0)
 
#else
 
#include <l4/sys/compiler.h>
#include <l4/sys/thread.h>
#include <l4/sys/vcon.h>
 
#define l4_assert(expr) \
  l4_assert_fn(!!(expr), __FILE__ ":" L4_stringify(__LINE__) ": Assertion \"" \
                         L4_stringify(expr) "\" failed.\n")
#define l4_assert(expr) \ …
 
#define l4_check(expr) l4_assert(expr)
 
L4_ALWAYS_INLINE
void l4_assert_fn(unsigned expr, const char *text) L4_NOTHROW;
 
L4_INLINE L4_NORETURN
void l4_assert_abort(const char *text) L4_NOTHROW;
 
 
/* IMPLEMENTATION -----------------------------------------------------------*/
 
L4_INLINE L4_NORETURN
void l4_assert_abort(const char *text) L4_NOTHROW
{
  l4_vcon_write(L4_BASE_LOG_CAP, text, __builtin_strlen(text));
  for (;;)
    l4_thread_ex_regs(L4_INVALID_CAP, ~0UL, ~0UL,
                      L4_THREAD_EX_REGS_TRIGGER_EXCEPTION);
}
 
L4_ALWAYS_INLINE
void l4_assert_fn(unsigned expr, const char *text) L4_NOTHROW
{
  if (L4_LIKELY(expr))
    return;
 
  l4_assert_abort(text);
}
 
#endif /* NDEBUG */