verify.h File Reference

#include <stddef.h>

Include dependency graph for verify.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	_GL_CONCAT(x, y)   _GL_CONCAT0 (x, y)
#define	_GL_CONCAT0(x, y)   x##y
#define	_GL_COUNTER   __LINE__
#define	_GL_GENSYM(prefix)   _GL_CONCAT (prefix, _GL_COUNTER)
#define	_GL_VERIFY_TRUE(R, DIAGNOSTIC)   (!!sizeof (_GL_VERIFY_TYPE (R, DIAGNOSTIC)))
#define	_GL_VERIFY_TYPE(R, DIAGNOSTIC)   struct { unsigned int _gl_verify_error_if_negative: (R) ? 1 : -1; }
#define	_GL_VERIFY(R, DIAGNOSTIC)
#define	verify_true(R)   _GL_VERIFY_TRUE (R, "verify_true (" #R ")")
#define	verify_expr(R, E)   (_GL_VERIFY_TRUE (R, "verify_expr (" #R ", " #E ")") ? (E) : (E))
#define	verify(R)   _GL_VERIFY (R, "verify (...)")
#define	__has_builtin(x)   0
#define	assume(R)   ((void) (0 && (R)))

Macro Definition Documentation

__has_builtin

#define __has_builtin

(

x

)

0

_GL_CONCAT

#define _GL_CONCAT	(		x,
			y
	)		_GL_CONCAT0 (x, y)

_GL_CONCAT0

#define _GL_CONCAT0	(		x,
			y
	)		x##y

_GL_COUNTER

#define _GL_COUNTER   __LINE__

_GL_GENSYM

#define _GL_GENSYM

(

prefix

)

_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
	)		(!!sizeof (_GL_VERIFY_TYPE (R, DIAGNOSTIC)))

_GL_VERIFY_TYPE

#define _GL_VERIFY_TYPE	(		R,
			DIAGNOSTIC
	)		struct { unsigned int _gl_verify_error_if_negative: (R) ? 1 : -1; }

assume

#define assume

(

R

)

((void) (0 && (R)))

verify

#define verify

(

R

)

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

Referenced by strerror().

verify_expr

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

verify_true

#define verify_true

(

R

)

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