1 /* Test the "verify" module.
3 Copyright (C) 2005, 2009-2020 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 3 of the License, or
8 (at your option) any later version.
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, see <https://www.gnu.org/licenses/>. */
18 /* Written by Bruno Haible. */
28 /* ======================= Test verify, verify_expr ======================= */
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_expr (1 == 1, 10 * 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);
73 /* ============================== Test assume ============================== */
81 typedef struct { unsigned int context
: 4; unsigned int halt
: 1; } state
;
84 test_assume_expressions (state
*s
)
86 /* Check that 'assume' accepts a function call, even of a non-const
89 /* Check that 'assume' accepts a bit-field expression. */
94 test_assume_optimization (int x
)
96 /* Check that the compiler uses 'assume' for optimization.
97 This function, when compiled with optimization, should have code
100 Use 'objdump --disassemble test-verify.o' to verify this. */
102 return (x
> 1 ? x
+ 3 : 2 * x
+ 10);
106 test_assume_noreturn (void)
108 /* Check that the compiler's data-flow analysis recognizes 'assume (0)'.
109 This function should not elicit a warning. */