verify.h File Reference

#include <stddef.h>

Go to the source code of this file.

Macros
#define	_GL_CONCAT(x, y)
#define	_GL_CONCAT0(x, y)
#define	_GL_COUNTER   __LINE__
#define	_GL_GENSYM(prefix)
#define	_GL_VERIFY_TRUE(R, DIAGNOSTIC)
#define	_GL_VERIFY_TYPE(R, DIAGNOSTIC)
#define	_GL_VERIFY(R, DIAGNOSTIC)
#define	verify_true(R)
#define	verify_expr(R, E)
#define	verify(R)
#define	__has_builtin(x)
#define	assume(R)

Macro Definition Documentation

__has_builtin

#define __has_builtin

(

x

)

Value:

0

_GL_CONCAT

#define _GL_CONCAT	(		x,
			y )

Value:

_GL_CONCAT0 (x, y)

_GL_CONCAT0

#define _GL_CONCAT0	(		x,
			y )

Value:

x##y

_GL_COUNTER

#define _GL_COUNTER   __LINE__

_GL_GENSYM

#define _GL_GENSYM

(

prefix

)

Value:

_GL_CONCAT (prefix, _GL_COUNTER)

_GL_VERIFY

#define _GL_VERIFY	(		R,
			DIAGNOSTIC )

Value:

    extern int (*_GL_GENSYM (_gl_verify_function) (void))          \
      [_GL_VERIFY_TRUE (R, DIAGNOSTIC)]

_GL_VERIFY_TRUE

#define _GL_VERIFY_TRUE	(		R,
			DIAGNOSTIC )

Value:

   (!!sizeof (_GL_VERIFY_TYPE (R, DIAGNOSTIC)))

_GL_VERIFY_TYPE

#define _GL_VERIFY_TYPE	(		R,
			DIAGNOSTIC )

Value:

    struct { unsigned int _gl_verify_error_if_negative: (R) ? 1 : -1; }

assume

#define assume

(

R

)

Value:

((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)

verify

#define verify

(

R

)

Value:

_GL_VERIFY (R, "verify (...)")

verify_expr

#define verify_expr	(		R,
			E )

Value:

   (_GL_VERIFY_TRUE (R, "verify_expr (" #R ", " #E ")") ? (E) : (E))

verify_true

#define verify_true

(

R

)

Value:

_GL_VERIFY_TRUE (R, "verify_true (" #R ")")