Mercurial > hg > octave-kai > gnulib-hg
changeset 14752:25dd282f49a1
verify: add doc to gnulib manual and fix example
* doc/gnulib.texi (Compile-time Assertions): New node, for 'verify'.
* doc/verify.texi (Compile-time Assertions): Update 'assert' doc.
(Compile-time Assertions): Fix example so it can't overflow.
author | Paul Eggert <eggert@cs.ucla.edu> |
---|---|
date | Tue, 17 May 2011 13:07:28 -0700 |
parents | fce34e91a9ce |
children | 051e68610aab |
files | ChangeLog doc/gnulib.texi doc/verify.texi |
diffstat | 3 files changed, 24 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2011-05-17 Paul Eggert <eggert@cs.ucla.edu> + + verify: add doc to gnulib manual and fix example + * doc/gnulib.texi (Compile-time Assertions): New node, for 'verify'. + * doc/verify.texi (Compile-time Assertions): Update 'assert' doc. + (Compile-time Assertions): Fix example so it can't overflow. + 2011-05-17 Jim Meyering <meyering@redhat.com> warnings.m4: don't usurp save_CPPFLAGS variable name
--- a/doc/gnulib.texi +++ b/doc/gnulib.texi @@ -6496,6 +6496,7 @@ * alloca:: * alloca-opt:: * Safe Allocation Macros:: +* Compile-time Assertions:: * String Functions in C Locale:: * Quoting:: * error and progname:: @@ -6524,6 +6525,8 @@ @include safe-alloc.texi +@include verify.texi + @node String Functions in C Locale @section Character and String Functions in C Locale
--- a/doc/verify.texi +++ b/doc/verify.texi @@ -17,7 +17,7 @@ @findex verify_true The @samp{verify} module supports compile-time tests, as opposed to -the standard @file{assert.h} header which supports only runtime tests. +the standard @code{assert} macro which supports only runtime tests. Since the tests occur at compile-time, they are more reliable, and they require no runtime overhead. @@ -45,7 +45,17 @@ @samp{verify (@var{EXPRESSION});} even when @var{EXPRESSION} is nonzero. -Here are some example uses. +Although the standard @code{assert} macro is a runtime test, draft C1X +specifies a builtin @code{_Static_assert (@var{EXPRESSION}, +@var{STRING-LITERAL})}, its @file{assert.h} header has a similar macro +named @code{static_assert}, and draft C++0X has a similar +@code{static_assert} builtin. These draft builtins and macros differ +from @code{verify} in two major ways. First, they can also be used +within a @code{struct} or @code{union} specifier, in place of an +ordinary member declaration. Second, they require the programmer to +specify a compile-time diagnostic as a string literal. + +Here are some example uses of @code{verify} and @code{verify_true}. @example #include <verify.h> @@ -56,9 +66,8 @@ /* Verify that time_t is an integer type. */ verify ((time_t) 1.5 == 1); -/* Verify that time_t is at least as wide as int. */ -verify (INT_MIN == (time_t) INT_MIN); -verify (INT_MAX == (time_t) INT_MAX); +/* Verify that time_t is no smaller than int. */ +verify (sizeof (int) <= sizeof (time_t)); /* Verify that time_t is signed. */ verify ((time_t) -1 < 0);