summaryrefslogtreecommitdiff
path: root/tests/test-verify.c
Commit message (Collapse)AuthorAgeFilesLines
* maint: run 'make update-copyright'Simon Josefsson2023-01-011-1/+1
|
* license: fix GPLv3 texts to use a comma instead of semicolon.Bernhard Voelker2022-01-051-1/+1
| | | | | | | | | See: https://www.gnu.org/licenses/gpl-3.0.html#howto Run: $ git grep -l 'Foundation; either version 3' \ | xargs sed -i '/Foundation; either version 3/ s/n; e/n, e/' * All files using GPLv3: Adjust via the above command.
* maint: run 'make update-copyright'Paul Eggert2022-01-011-1/+1
|
* maint: run 'make update-copyright'Paul Eggert2020-12-311-1/+1
|
* verify tests: Fix crash with GCC (regression 2020-11-02).Bruno Haible2020-11-031-1/+1
| | | | * tests/test-verify.c (main): Fix initializer of s.
* verify tests: Fix -Wuninitialized warning (regression 2020-10-30)Bernhard Voelker2020-11-031-1/+1
| | | | | * tests/test-verify.c (main): Initialize state variable. Reported by Bruno Haible for GCC 5.4.0.
* verify tests: Fix compilation error with MSVC (regression 2020-10-30).Bruno Haible2020-11-021-1/+1
| | | | * tests/test-verify.c (test_assume_noreturn): Fix declaration.
* verify tests: avoid -Wmissing-declarations warningsBernhard Voelker2020-10-311-6/+14
| | | | | | | | | * tests/test-verify.c (test_assume_expressions): Add declaration. (test_assume_optimization): Likewise. (test_assume_noreturn): Likewise. (main): Move down after all other definitions. While at it, also call test_assume_expressions and test_assume_optimization as a runtime check.
* test-verify.c: avoid -Wshadow warningsJim Meyering2020-09-191-5/+5
| | | | | * tests/test-verify.c (gx): Rename global from "x". Adjust use. (enum): Capitalize member names. Adjust uses.
* verify: Avoid warnings when assume(0) is used.Bruno Haible2020-08-261-0/+42
| | | | | | | | | | | | Reported by Mattias EngdegÄrd <mattiase@acm.org> via Paul Eggert in <https://lists.gnu.org/archive/html/emacs-devel/2020-08/msg00838.html>. * lib/verify.h (assume): Use __builtin_unreachable if the argument is the constant 0. * tests/test-verify.c (f): New function. (state): New type. (test_assume_expressions, test_assume_optimization, test_assume_noreturn): New functions.
* maint: Run 'make update-copyright'Paul Eggert2019-12-311-1/+1
|
* verify-tests: work around xlc bugPaul Eggert2019-06-181-1/+1
| | | | | | | Problem reported by Bruno Haible in: https://lists.gnu.org/r/bug-gnulib/2019-06/msg00049.html * tests/test-verify.c (item): Move the arithmetic inside the verify_expr, to avoid tickling a bug in IBM AIX xlc V12.1.
* verify: remove verify_truePaul Eggert2019-05-091-1/+1
| | | | | | * NEWS: Mention this. * lib/verify.h (verify_true): Remove. * tests/test-verify.c (item): Test verify_expr, not verify_true.
* maint: Run 'make update-copyright'Paul Eggert2019-01-011-1/+1
|
* maint: Run 'make update-copyright'Paul Eggert2018-01-011-1/+1
|
* all: prefer https: URLsPaul Eggert2017-09-131-1/+1
|
* version-etc: new yearPaul Eggert2017-01-011-1/+1
| | | | | | | | | | * build-aux/gendocs.sh (version): * doc/gendocs_template: * doc/gendocs_template_min: * doc/gnulib.texi: * lib/version-etc.c (COPYRIGHT_YEAR): Update copyright dates by hand in templates and the like. * all files: Run 'make update-copyright'.
* version-etc: new yearPaul Eggert2016-01-011-1/+1
| | | | | | | | | | * build-aux/gendocs.sh (version): * doc/gendocs_template: * doc/gendocs_template_min: * doc/gnulib.texi: * lib/version-etc.c (COPYRIGHT_YEAR): Update copyright dates by hand in templates and the like. * all files: Run 'make update-copyright'.
* version-etc: new yearPaul Eggert2014-12-311-1/+1
| | | | | | * doc/gnulib.texi: * lib/version-etc.c (COPYRIGHT_YEAR): Update copyright date. * all files: Run 'make update-copyright'.
* maint: update copyrightEric Blake2014-01-011-1/+1
| | | | | | I ran 'make update-copyright'. Signed-off-by: Eric Blake <eblake@redhat.com>
* maint: update all copyright year number rangesEric Blake2013-01-011-1/+1
| | | | | | Run "make update-copyright". Compare to commit 1602f0a from last year. Signed-off-by: Eric Blake <eblake@redhat.com>
* maint: update all copyright year number rangesJim Meyering2012-01-011-1/+1
| | | | Run "make update-copyright".
* verify: new macro verify_expr; verify_true deprecatedPaul Eggert2011-06-151-2/+2
| | | | | | | | * NEWS: Mention this. * doc/verify.texi (Compile-time Assertions): Document this. * lib/verify.h (verify_true): Deprecate. (verify_expr): New macro. * tests/test-verify.c (function): Test verify_expr.
* maint: update almost all copyright ranges to include 2011Jim Meyering2011-01-011-1/+1
| | | | Run the new "make update-copyright" rule.
* test-verify: avoid warning from gcc's -Wmissing-declarationsJim Meyering2010-06-111-1/+2
| | | | * tests/test-verify.c (function): Declare to be static.
* verify: automate testsEric Blake2010-05-051-3/+23
| | | | | | | | | | | | Had we automated this sooner, we would have caught the issue with gcc -Werror -Wredundant-decls sooner. * modules/verify-tests: New module. * tests/test-verify.sh: New file. * tests/test-verify.c: Guard each negative test with a unique id. Also avoid warning about unused left hand of comma expressions. Signed-off-by: Eric Blake <eblake@redhat.com>
* update nearly all FSF copyright year lists to include 2010Jim Meyering2010-01-011-1/+1
| | | | | Use the same procedure as for 2009, outlined in http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/20081
* update nearly all FSF copyright year lists to include 2009Jim Meyering2009-12-291-1/+1
| | | | | | | | | | | | | | | | | | The files named by the following are exempted: grep -v '^#' config/srclist.txt|grep -v '^$' \ | while read src dst; do test -f "$dst" && { echo "$dst"; continue; } test -d "$dst" || continue echo "$dst"/$(basename "$src") done > exempt git ls-files tests/unictype >> exempt In the remaining files, convert to all-interval notation if - there is already at least one year interval like 2000-2003 - the file is maintained by me - the file is in lib/uni*/, where that style already prevails Otherwise, use update-copyright's default.
* Change copyright notice from GPLv2+ to GPLv3+.Bruno Haible2007-10-071-5/+4
|
* Unconditionally include <config.h> in unit tests.Eric Blake2007-05-281-3/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * tests/test-alloca-opt.c: Remove #ifdef HAVE_CONFIG_H. * tests/test-allocsa.c, tests/test-arcfour.c, tests/test-arctwo.c, tests/test-argmatch.c, tests/test-argp.c, tests/test-array_list.c, tests/test-array_oset.c, tests/test-atexit.c, test-avltree_list.c, test-avltree_oset.c, test-avltreehash_list.c, test-base64.c, test-binary-io.c, test-c-ctype.c, test-c-strcasecmp.c, test-c-strcasestr.c, test-c-strncasecmp.c, test-c-strstr.c, test-canonicalize-lgpl.c, test-carray_list.c, test-crc.c, test-des.c, test-dirname.c, test-fflush.c, test-fprintf-posix.c, test-gc-arcfour.c, test-gc-arctwo.c, test-gc-des.c, test-gc-hmac-md5.c, test-gc-hmac-sha1.c, test-gc-md2.c, test-gc-md4.c, test-gc-md5.c, test-gc-pbkdf2-sha1.c, test-gc-rijndael.c, test-gc-sha1.c, test-gc.c, test-getpass.c, test-hmac-md5.c, test-hmac-sha1.c, test-iconv.c, test-linked_list.c, test-linkedhash_list.c, test-lock.c, test-mbscasecmp.c, test-mbscasestr1.c, test-mbscasestr2.c, test-mbscasestr3.c, test-mbscasestr4.c, test-mbschr.c, test-mbscspn.c, test-mbsncasecmp.c, test-mbspbrk.c, test-mbspcasecmp.c, test-mbsrchr.c, test-mbsspn.c, test-mbsstr1.c, test-mbsstr2.c, test-mbsstr3.c, test-md2.c, test-md4.c, test-md5.c, test-memmem.c, test-printf-posix.c, test-rbtree_list.c, test-rbtree_oset.c, test-rbtreehash_list.c, test-read-file.c, test-rijndael.c, test-snprintf-posix.c, test-snprintf.c, test-sprintf-posix.c, test-stdint.c, test-strcasestr.c, test-striconv.c, test-striconveh.c, test-striconveha.c, test-tls.c, test-vasnprintf-posix.c, test-vasnprintf-posix2.c, test-vasnprintf.c, test-vasprintf-posix.c, test-vasprintf.c, test-verify.c, test-vfprintf-posix.c, test-vprintf-posix.c, test-vsnprintf-posix.c, test-vsnprintf.c, test-vsprintf-posix.c, test-xvasprintf.c: Likewise.
* * check-module: Add copyright notice.Paul Eggert2006-08-141-0/+20
| | | | | | | | | | | Output a copyright notice if "--version" is specified. * config/srclistvars.sh: Add copyright notice. * doc/getdate.texi: Update FDL version from 1.1 to 1.2. * doc/quote.texi: Add copyright notice. * lib/TODO: Remove; this belongs only in coreutils. * modules/COPYING: New file. * tests/test-getaddrinfo.c: Add copyright notice. * tests/test-verify.c: Likewise.
* Test verify_true instead of verify_expr.Bruno Haible2005-09-281-2/+7
|
* Include config.h only if it exists.Bruno Haible2005-09-231-1/+4
|
* Needs config.h.Bruno Haible2005-09-231-0/+1
|
* Test case for verify.h.Bruno Haible2005-09-231-0/+22