gsasl  1.10.0
About: GNU SASL is an implementation of the Simple Authentication and Security Layer (SASL). Development version.
  Fossies Dox: gsasl-1.10.0.tar.gz  ("unofficial" and yet experimental doxygen-generated source code documentation)  

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 _GL_HAS_BUILTIN_TRAP   0
 
#define _GL_HAS_BUILTIN_UNREACHABLE   0
 
#define verify_expr(R, E)    (_GL_VERIFY_TRUE (R, "verify_expr (" #R ", " #E ")") ? (E) : (E))
 
#define verify(R)   _GL_VERIFY (R, "verify (" #R ")", -)
 
#define assume(R)   ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)
 

Macro Definition Documentation

◆ _GL_CONCAT

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

Definition at line 173 of file verify.h.

◆ _GL_CONCAT0

#define _GL_CONCAT0 (   x,
 
)    x##y

Definition at line 174 of file verify.h.

◆ _GL_COUNTER

#define _GL_COUNTER   __LINE__

Definition at line 183 of file verify.h.

◆ _GL_GENSYM

#define _GL_GENSYM (   prefix)    _GL_CONCAT (prefix, _GL_COUNTER)

Definition at line 188 of file verify.h.

◆ _GL_HAS_BUILTIN_TRAP

#define _GL_HAS_BUILTIN_TRAP   0

Definition at line 254 of file verify.h.

◆ _GL_HAS_BUILTIN_UNREACHABLE

#define _GL_HAS_BUILTIN_UNREACHABLE   0

Definition at line 262 of file verify.h.

◆ _GL_VERIFY

#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:188
#define _GL_VERIFY_TRUE(R, DIAGNOSTIC)
Definition: verify.h:194
#define R(A, B, C, D, E, F, K, M)

Definition at line 231 of file verify.h.

◆ _GL_VERIFY_TRUE

#define _GL_VERIFY_TRUE (   R,
  DIAGNOSTIC 
)     (!!sizeof (_GL_VERIFY_TYPE (R, DIAGNOSTIC)))

Definition at line 194 of file verify.h.

◆ _GL_VERIFY_TYPE

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

Definition at line 214 of file verify.h.

◆ assume

#define assume (   R)    ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)

Definition at line 326 of file verify.h.

◆ verify

#define verify (   R)    _GL_VERIFY (R, "verify (" #R ")", -)

Definition at line 289 of file verify.h.

◆ verify_expr

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

Definition at line 277 of file verify.h.