|
152
|
1 /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
|
|
|
2
|
|
|
3 #include "../analyzer-decls.h"
|
|
|
4
|
|
|
5 struct pf {
|
|
|
6 unsigned int iu : 2;
|
|
|
7 };
|
|
|
8
|
|
|
9 enum {
|
|
|
10 qr, jv, vm, mz,
|
|
|
11 };
|
|
|
12
|
|
|
13 int uh;
|
|
|
14
|
|
|
15 void
|
|
|
16 w9 (struct pf *x2)
|
|
|
17 {
|
|
|
18 /* We ought to know the following based on the bitfield width. */
|
|
|
19 __analyzer_eval (x2->iu >= 0 ); /* { dg-warning "TRUE" } */
|
|
|
20 __analyzer_eval (x2->iu < 4 ); /* { dg-warning "TRUE" } */
|
|
|
21
|
|
|
22 switch (x2->iu)
|
|
|
23 {
|
|
|
24 case qr:
|
|
|
25 case jv:
|
|
|
26 case vm:
|
|
|
27 uh = 0;
|
|
|
28 break;
|
|
|
29
|
|
|
30 case mz:
|
|
|
31 break;
|
|
|
32
|
|
|
33 default:
|
|
|
34 /* We ought to know from the enum values that this code is unreachable,
|
|
|
35 and thus not print anything.
|
|
|
36 TODO(xfail): currently this doesn't work. */
|
|
|
37 __analyzer_eval (x2->iu); /* { dg-bogus "" "" { xfail *-*-* } } */
|
|
|
38 __builtin_abort ();
|
|
|
39 }
|
|
|
40 }
|
