1 /* Test the "verify" module.
3 Copyright (C) 2005 Free Software Foundation, Inc.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2, or (at your option)
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software Foundation,
17 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
19 /* Written by Bruno Haible. */
28 verify (x >= 0); /* should give ERROR: non-constant expression */
29 verify (c == 2); /* should be ok */
30 verify (1 + 1 == 3); /* should give ERROR */
31 verify (1 == 1); verify (1 == 1); /* should be ok */
35 item = verify_true (1 == 1) * 0 + 17 /* should be ok */
40 verify (n >= 0); /* should give ERROR: non-constant expression */
41 verify (c == 2); /* should be ok */
42 verify (1 + 1 == 3); /* should give ERROR */
43 verify (1 == 1); verify (1 == 1); /* should be ok */
46 return (verify_true (1 == 1), verify_true (1 == 1), 7); /* should be ok */
48 return (verify_true (1 == 2), 5); /* should give ERROR */