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