diff options
author | Simon Josefsson <simon@josefsson.org> | 2010-05-28 08:47:14 +0200 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2010-05-28 08:50:07 +0200 |
commit | e4b0fe0763c0e87c87e87baf30aa7039e94c20b0 (patch) | |
tree | 8e9336525ec654b47a4ebdffbb391bcfa7ac7c57 /gl/tests/test-verify.c | |
parent | 79b2b7f8603242b8a2af0d2244f049a5db50e242 (diff) | |
download | gnutls-e4b0fe0763c0e87c87e87baf30aa7039e94c20b0.tar.gz |
Update gnulib files, use valgrind-tests module, fix syntax-check problems.
Diffstat (limited to 'gl/tests/test-verify.c')
-rw-r--r-- | gl/tests/test-verify.c | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/gl/tests/test-verify.c b/gl/tests/test-verify.c new file mode 100644 index 0000000000..47eae2b4f3 --- /dev/null +++ b/gl/tests/test-verify.c @@ -0,0 +1,68 @@ +/* Test the "verify" module. + + Copyright (C) 2005, 2009, 2010 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <http://www.gnu.org/licenses/>. */ + +/* Written by Bruno Haible. */ + +#include <config.h> + +#include "verify.h" + +#ifndef EXP_FAIL +# define EXP_FAIL 0 +#endif + +int x; +enum { a, b, c }; + +#if EXP_FAIL == 1 +verify (x >= 0); /* should give ERROR: non-constant expression */ +#endif +verify (c == 2); /* should be ok */ +#if EXP_FAIL == 2 +verify (1 + 1 == 3); /* should give ERROR */ +#endif +verify (1 == 1); verify (1 == 1); /* should be ok */ + +enum +{ + item = verify_true (1 == 1) * 0 + 17 /* should be ok */ +}; + +int function (int n) +{ +#if EXP_FAIL == 3 + verify (n >= 0); /* should give ERROR: non-constant expression */ +#endif + verify (c == 2); /* should be ok */ +#if EXP_FAIL == 4 + verify (1 + 1 == 3); /* should give ERROR */ +#endif + verify (1 == 1); verify (1 == 1); /* should be ok */ + + if (n) + return ((void) verify_true (1 == 1), verify_true (1 == 1) + 7); /* should be ok */ +#if EXP_FAIL == 5 + return (verify_true (1 == 2), 5); /* should give ERROR */ +#endif + return 0; +} + +int +main (void) +{ + return !(function (0) == 0 && function (1) == 8); +} |