lib/verify.h


Log

Author Commit Date CI Message
Paul Eggert 5e11f44b 2006-05-02T23:39:59 * doc/verify.texi: New file. * lib/verify.h: Document the internals better.
Paul Eggert dddf08d8 2005-10-05T06:50:03 * verify.h (verify_true): Provide alternative definition for C++.
Paul Eggert feebaa69 2005-09-27T05:36:30 (verify_expr): Remove, replacing with: (verify_true): New macro that returns true instead of void. (verify_type__): Remove. (verify): Use verify_true rather than verify_type__.
Jim Meyering ef0288a7 2005-09-23T22:59:59 (verify_type__): Use `unsigned int' as the bitfield type 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.
Paul Eggert 2e200257 2005-09-23T21:51:06 (verify_type__): Use 2, not 1, for bitfield size, to avoid a warning with Irix 6.5 cc. Problem reported by Bruno Haible.
Paul Eggert e086ed0f 2005-09-23T17:52:49 Fix typo in comment.
Paul Eggert 0548f89b 2005-09-23T17:48:14 (GL_CONCAT0, GL_CONCAT): Remove. (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.
Paul Eggert ad97909a 2005-09-22T22:56:28 * modules/verify: New file. * lib/verify.h: New file. * MODULES.html.sh (Diagnostics <assert.h>): New section, with "verify" module.