|
111
|
1 /* { dg-do compile } */
|
|
|
2 /* { dg-options "-Wswitch-enum -Wsign-compare -fstrict-overflow -Wstrict-overflow -Werror -Wno-error=switch-enum" } */
|
|
|
3 /* PR c/66098 - #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow
|
|
|
4 PR c/66711 - GCC does not correctly restore diagnostic state after pragma GCC diagnostic pop with -Werror
|
|
|
5 */
|
|
|
6 /* { dg-message "warnings being treated as errors" "" {target "*-*-*"} 0 } */
|
|
|
7
|
|
|
8 void testing2() {
|
|
|
9 #pragma GCC diagnostic push
|
|
|
10 #pragma GCC diagnostic ignored "-Wstrict-overflow"
|
|
|
11 int j = 4;
|
|
|
12 j + 4 < j;
|
|
|
13 #pragma GCC diagnostic pop
|
|
|
14 }
|
|
|
15
|
|
|
16 void testing3() {
|
|
|
17 int k = 4;
|
|
|
18 k + 4 < k; /* { dg-error "overflow" "" { xfail *-*-* } } */
|
|
|
19 }
|
|
|
20
|
|
|
21 int bar()
|
|
|
22 {
|
|
|
23 unsigned x = 0;
|
|
|
24 int y = 1;
|
|
|
25
|
|
|
26 /* generates an error - ok */
|
|
|
27 x += x < y ? 1 : 0; /* { dg-error "comparison" } */
|
|
|
28
|
|
|
29 #pragma GCC diagnostic push
|
|
|
30 #pragma GCC diagnostic ignored "-Wsign-compare"
|
|
|
31 /* generates no diagnostic - ok */
|
|
|
32 x += x < y ? 1 : 0;
|
|
|
33 #pragma GCC diagnostic pop
|
|
|
34
|
|
|
35 x += x < y ? 1 : 0; /* { dg-error "comparison" } */
|
|
|
36
|
|
|
37 return x;
|
|
|
38 }
|
|
|
39
|
|
|
40 enum EE { ONE, TWO };
|
|
|
41
|
|
|
42 int f (enum EE e)
|
|
|
43 {
|
|
|
44 int r = 0;
|
|
|
45
|
|
|
46 #pragma GCC diagnostic push
|
|
|
47 #pragma GCC diagnostic ignored "-Wswitch-enum"
|
|
|
48
|
|
|
49 switch (e)
|
|
|
50 {
|
|
|
51 case ONE:
|
|
|
52 r = 1;
|
|
|
53 break;
|
|
|
54 }
|
|
|
55 #pragma GCC diagnostic pop
|
|
|
56
|
|
|
57 switch (e) /* { dg-warning "switch" } */
|
|
|
58 {
|
|
|
59 case ONE:
|
|
|
60 r = 1;
|
|
|
61 break;
|
|
|
62 }
|
|
|
63 return r;
|
|
|
64 }
|
