fast_assert.c File Reference

---

Detailed Description

Fast assertions.

Author:

Christian Biere

Date:

2006

#include "common.h"
#include "lib/fast_assert.h"
#include "lib/misc.h"
#include "lib/override.h"

Defines
#define	print_str(x)
Functions
void	assertion_message (const assertion_data *const data, int fatal)
void	REGPARM (1)

---

Define Documentation

#define print_str (  x   )

Value: G_STMT_START { \ if (iov_cnt < G_N_ELEMENTS(iov)) { \ const char *ptr = (x); \ if (ptr) { \ iov[iov_cnt].iov_base = (char *) ptr; \ iov[iov_cnt].iov_len = strlen(ptr); \ iov_cnt++; \ } \ } \ } G_STMT_END

---

Function Documentation

void assertion_message (  const assertion_data *const   data, int  fatal )  [static]

Note: For maximum safety this is kept signal-safe, so that we can even use assertions in signal handlers. See also: http://www.opengroup.org/onlinepubs/009695399/functions/xsh_chap02_04.html

void REGPARM (  1   )

---