1 /* Test the "verify" module.
3 Copyright (C) 2005, 2009-2021 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 (gx >= 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 */
67 /* ============================== Test assume ============================== */
75 typedef struct { unsigned int context : 4; unsigned int halt : 1; } state;
77 void test_assume_expressions (state *s);
78 int test_assume_optimization (int x);
79 _Noreturn void test_assume_noreturn (void);
82 test_assume_expressions (state *s)
84 /* Check that 'assume' accepts a function call, even of a non-const
87 /* Check that 'assume' accepts a bit-field expression. */
92 test_assume_optimization (int x)
94 /* Check that the compiler uses 'assume' for optimization.
95 This function, when compiled with optimization, should have code
98 Use 'objdump --disassemble test-verify.o' to verify this. */
100 return (x > 1 ? x + 3 : 2 * x + 10);
104 test_assume_noreturn (void)
106 /* Check that the compiler's data-flow analysis recognizes 'assume (0)'.
107 This function should not elicit a warning. */
111 /* ============================== Main ===================================== */
116 test_assume_expressions (&s);
117 test_assume_optimization (5);
118 return !(function (0) == 0 && function (1) == 8);