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