111
|
1 /*
|
|
2 { dg-do compile }
|
|
3 { dg-options "-Wlogical-op" }
|
|
4 */
|
|
5
|
|
6 enum { a, ba, b };
|
|
7
|
|
8 enum testenum { t1, t2};
|
|
9
|
|
10 extern int c;
|
|
11 extern char bool_a, bool_b;
|
|
12
|
|
13 extern int testa();
|
|
14
|
|
15 void foo()
|
|
16 {
|
|
17 if ( testa() && b ) /* { dg-warning "logical" } */
|
|
18 (void)testa();
|
|
19
|
|
20 if ( c && b ) /* { dg-warning "logical" } */
|
|
21 (void)testa();
|
|
22
|
|
23 if ( c && 0x42 ) /* { dg-warning "logical" } */
|
|
24 (void)testa();
|
|
25
|
|
26 if ( c && 0x80 >>6) /* { dg-warning "logical" } */
|
|
27 (void)testa();
|
|
28
|
|
29
|
|
30 if ( b && c == a ) /* { dg-bogus "logical" } */
|
|
31 (void)testa();
|
|
32
|
|
33 if ( 1 && c ) /* { dg-bogus "logical" } */
|
|
34 (void)testa();
|
|
35
|
|
36 if ( t2 && b ) /* { dg-bogus "logical" } */
|
|
37 (void)testa();
|
|
38
|
|
39 if ( 0 && c == a ) /* { dg-bogus "logical" } */
|
|
40 (void)testa();
|
|
41
|
|
42 if ( b && 1 ) /* { dg-bogus "logical" } */
|
|
43 (void)testa();
|
|
44 }
|
|
45
|
|
46
|
|
47 void bar()
|
|
48 {
|
|
49 if ( testa() || b ) /* { dg-warning "logical" } */
|
|
50 (void)testa();
|
|
51
|
|
52 if ( c || b ) /* { dg-warning "logical" } */
|
|
53 (void)testa();
|
|
54
|
|
55 if ( c || 0x42 ) /* { dg-warning "logical" } */
|
|
56 (void) testa();
|
|
57
|
|
58 if ( c || 0x80 >>6) /* { dg-warning "logical" } */
|
|
59 (void)testa();
|
|
60
|
|
61
|
|
62 if ( b || c == a ) /* { dg-bogus "logical" } */
|
|
63 (void)testa();
|
|
64
|
|
65 if ( 1 || c ) /* { dg-bogus "logical" } */
|
|
66 (void)testa();
|
|
67
|
|
68 if ( t2 || b ) /* { dg-bogus "logical" } */
|
|
69 (void)testa();
|
|
70
|
|
71 if ( 0 || c == a ) /* { dg-bogus "logical" } */
|
|
72 (void)testa();
|
|
73
|
|
74 if ( b || 1 ) /* { dg-bogus "logical" } */
|
|
75 (void)testa();
|
|
76 }
|
|
77
|