1 /* -*- buffer-read-only: t -*- vi: set ro: */
2 /* DO NOT EDIT! GENERATED AUTOMATICALLY! */
3 /* Test the "verify" module.
5 Copyright (C) 2005, 2009-2011 Free Software Foundation, Inc.
7 This program is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 /* Written by Bruno Haible. */
34 verify (x >= 0); /* should give ERROR: non-constant expression */
36 verify (c == 2); /* should be ok */
38 verify (1 + 1 == 3); /* should give ERROR */
40 verify (1 == 1); verify (1 == 1); /* should be ok */
44 item = verify_true (1 == 1) * 0 + 17 /* should be ok */
51 verify (n >= 0); /* should give ERROR: non-constant expression */
53 verify (c == 2); /* should be ok */
55 verify (1 + 1 == 3); /* should give ERROR */
57 verify (1 == 1); verify (1 == 1); /* should be ok */
60 return ((void) verify_expr (1 == 1, 1), verify_expr (1 == 1, 8)); /* should be ok */
62 return verify_expr (1 == 2, 5); /* should give ERROR */
70 return !(function (0) == 0 && function (1) == 8);