Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/linear/bitfield-init-mask.c
+++ new/usr/src/tools/smatch/src/validation/linear/bitfield-init-mask.c
1 1 struct bfu {
2 2 unsigned int a:11;
3 3 unsigned int f:9;
4 4 unsigned int z:3;
5 5 };
6 6
7 7 struct bfu bfu_init_00_11(int a)
8 8 {
9 9 struct bfu bfu = { .a = a, };
10 10 return bfu;
|
↓ open down ↓ |
10 lines elided |
↑ open up ↑ |
11 11 }
12 12
13 13 struct bfu bfu_init_20_23(int a)
14 14 {
15 15 struct bfu bfu = { .z = a, };
16 16 return bfu;
17 17 }
18 18
19 19 /*
20 20 * check-name: bitfield initializer mask
21 - * check-command: test-linearize -fdump-linearize=only -Wno-decl $file
21 + * check-command: test-linearize -fdump-ir=linearize -Wno-decl $file
22 22 * check-output-ignore
23 23 *
24 24 * check-output-contains: and\\..*fffff800\$
25 25 * check-output-contains: shl\\..* \\$20
26 26 * check-output-contains: and\\..*ff8fffff\$
27 27 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX