dhcpd-pools  2.28
ISC dhcpd lease usage analyser
Macros
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 (" #R ")")
 
#define __has_builtin(x)   0
 
#define assume(R)   ((void) (0 && (R)))
 

Macro Definition Documentation

#define __has_builtin (   x)    0
#define _GL_CONCAT (   x,
 
)    _GL_CONCAT0 (x, y)
#define _GL_CONCAT0 (   x,
 
)    x##y
#define _GL_COUNTER   __LINE__
#define _GL_GENSYM (   prefix)    _GL_CONCAT (prefix, _GL_COUNTER)
#define _GL_VERIFY (   R,
  DIAGNOSTIC 
)
Value:
extern int (*_GL_GENSYM (_gl_verify_function) (void)) \
[_GL_VERIFY_TRUE (R, DIAGNOSTIC)]
#define _GL_GENSYM(prefix)
Definition: verify.h:169
#define _GL_VERIFY_TRUE(R, DIAGNOSTIC)
Definition: verify.h:175
#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 assume (   R)    ((void) (0 && (R)))
#define verify (   R)    _GL_VERIFY (R, "verify (" #R ")")
#define verify_expr (   R,
 
)    (_GL_VERIFY_TRUE (R, "verify_expr (" #R ", " #E ")") ? (E) : (E))
#define verify_true (   R)    _GL_VERIFY_TRUE (R, "verify_true (" #R ")")