165 # define _GL_VERIFY_TRUE(R, DIAGNOSTIC) \  argument
166     (!!sizeof (_GL_VERIFY_TYPE (R, DIAGNOSTIC)))
176 #  define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
177     _gl_verify_type<(R) ? 1 : -1>
179 #  define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
181        _Static_assert (R, DIAGNOSTIC);          \
185 #  define _GL_VERIFY_TYPE(R, DIAGNOSTIC) \  argument
186      struct { unsigned int _gl_verify_error_if_negative: (R) ? 1 : -1; }
199 #  define _GL_VERIFY(R, DIAGNOSTIC)				       \  argument
201        [_GL_VERIFY_TRUE (R, DIAGNOSTIC)]
207 #   define _Static_assert(R, DIAGNOSTIC) _GL_VERIFY (R, DIAGNOSTIC)  argument
230 # define verify_true(R) _GL_VERIFY_TRUE (R, "verify_true (" #R ")")  argument
235 # define verify_expr(R, E) \  argument
236     (_GL_VERIFY_TRUE (R, "verify_expr (" #R ", " #E ")") ? (E) : (E))
241 # define verify(R) _GL_VERIFY (R, "verify (" #R ")")  argument