Lines Matching defs:verify
29 integer constant expression contexts. verify (R) is for declaration
52 the verify macro:
54 void function (int n) { verify (n < 0); }
56 * For the verify macro, the struct verify_type__ will need to
68 two uses of the verify macro would yield colliding declarations
76 But this has the problem that two invocations of verify from
112 # define verify(R) \
121 /* Verify requirement R at compile-time, as an integer constant expression.
135 /* Verify requirement R at compile-time, as a declaration without a
138 # define verify(R) extern int (* verify_function__ (void)) [verify_true (R)]
