Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/constexpr-preop.c
+++ new/usr/src/tools/smatch/src/validation/constexpr-preop.c
1 1 static int a[] = {
2 2 [+0] = 0, // OK
3 3 [+__builtin_choose_expr(0, 0, 0)] = 0, // OK
4 4 [+0.] = 0, // KO
5 5 [+__builtin_choose_expr(0, 0, 0.)] = 0, // KO
6 6 [-0] = 0, // OK
7 7 [-__builtin_choose_expr(0, 0, 0)] = 0, // OK
8 8 [-0.] = 0, // KO
|
↓ open down ↓ |
8 lines elided |
↑ open up ↑ |
9 9 [-__builtin_choose_expr(0, 0, 0.)] = 0, // KO
10 10 [~0] = 0, // OK
11 11 [~__builtin_choose_expr(0, 0, 0)] = 0, // OK
12 12 [!0] = 0, // OK
13 13 [!__builtin_choose_expr(0, 0, 0)] = 0, // OK
14 14 [!0.] = 0, // KO
15 15 [!__builtin_choose_expr(0, 0, 0.)] = 0, // KO
16 16 };
17 17
18 18 /*
19 - * check-name: Expression constness propagation in preops
19 + * check-name: constexprness in preops
20 20 *
21 21 * check-error-start
22 22 constexpr-preop.c:4:5: error: bad constant expression
23 23 constexpr-preop.c:5:33: error: bad constant expression
24 24 constexpr-preop.c:8:4: error: bad constant expression
25 25 constexpr-preop.c:9:4: error: bad constant expression
26 26 constexpr-preop.c:14:4: error: bad integer constant expression
27 27 constexpr-preop.c:15:4: error: bad integer constant expression
28 +constexpr-preop.c:10:4: error: index out of bounds in initializer
29 +constexpr-preop.c:11:4: error: index out of bounds in initializer
28 30 * check-error-end
29 31 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX