summaryrefslogtreecommitdiff
path: root/lib/verify.h
AgeCommit message (Collapse)Author
2006-05-22Document the internals better. Most of this changePaul Eggert
was written by Bruno Haible.
2006-01-10Sync from gnulib.Paul Eggert
2005-09-23(verify_type__): Use `unsigned int' as the bitfield typeJim Meyering
so we can once again use a positive bitfield width of 1 -- now we don't have to explain why we were using a bitfield width of 2.
2005-09-23(verify_type__): Use 2, not 1, for bitfield size, to avoidPaul Eggert
a warning with Irix 6.5 cc.
2005-09-23Fix typo in comment.Paul Eggert
2005-09-23(GL_CONCAT0, GL_CONCAT): Remove.Paul Eggert
(verify): Don't use the __LINE__ trick, as it doesn't work in general. Instead, declare a function that returns a pointer to an array, and use verify_type__ to declare the size of the array. Problem and germ of a solution reported by Bruno Haible.
2005-09-06(__builtin_constant_p): Remove, undoing previous change.Paul Eggert
(verify_type__): Solve the problem by using a bit-field rather than an array.
2005-09-05(__builtin_constant_p) [__GNUC__ <= 2]: Define to 1.Jim Meyering
(verify_type__) [verify_error_if_non_const__]: New member/test, to help detect when verify or verify_expr is mistakenly passed a non-constant argument within a function.
2005-07-11(verify_expr): Use ((verify_type__ (R) *) 0), notPaul Eggert
sizeof (verify_type__ (R)), to pacify C++ compilers.
2005-07-05fix typo in commentJim Meyering
2005-07-05* verify.h (GL_CONCAT0, GL_CONCAT): Define unconditionally; don'tPaul Eggert
depend on whether verify_decl is defined. (verify): Renamed from verify_decl. All uses changed. Use an extern function decl, as it can't possibly collide with other decls. (verify_expr): Renamed from verify. All uses changed. (verify_type__): New private macro. (verify, verify_expr): Use it.
2005-07-04rename: s/verify_dcl/verify_decl/Jim Meyering
2005-07-04(verify, verify_dcl): New file/macros.Jim Meyering