1 /* Test operation of -Wparentheses. Precedence warnings. & or ^ or +
2 or - or comparison inside |. */
3 /* Origin: Joseph Myers <jsm@polyomino.org.uk> */
4
5 /* { dg-do compile } */
6 /* { dg-options "-Wparentheses" } */
7
8 int foo (int);
9
10 int
bar(int a,int b,int c)11 bar (int a, int b, int c)
12 {
13 foo (a & b | c); /* { dg-warning "parentheses" "correct warning" } */
14 foo ((a & b) | c);
15 foo (a & (b | c));
16 foo (1 & 2 | c); /* { dg-warning "parentheses" "correct warning" } */
17 foo ((1 & 2) | c);
18 foo (1 & (2 | c));
19 foo (1 & 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
20 foo ((1 & 2) | 3);
21 foo (1 & (2 | 3));
22 foo (a | b & c); /* { dg-warning "parentheses" "correct warning" } */
23 foo ((a | b) & c);
24 foo (a | (b & c));
25 foo (1 | 2 & c); /* { dg-warning "parentheses" "correct warning" } */
26 foo ((1 | 2) & c);
27 foo (1 | (2 & c));
28 foo (1 | 2 & 3); /* { dg-warning "parentheses" "correct warning" } */
29 foo ((1 | 2) & 3);
30 foo (1 | (2 & 3));
31 foo (a ^ b | c); /* { dg-warning "parentheses" "correct warning" } */
32 foo ((a ^ b) | c);
33 foo (a ^ (b | c));
34 foo (1 ^ 2 | c); /* { dg-warning "parentheses" "correct warning" } */
35 foo ((1 ^ 2) | c);
36 foo (1 ^ (2 | c));
37 foo (1 ^ 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
38 foo ((1 ^ 2) | 3);
39 foo (1 ^ (2 | 3));
40 foo (a | b ^ c); /* { dg-warning "parentheses" "correct warning" } */
41 foo ((a | b) ^ c);
42 foo (a | (b ^ c));
43 foo (1 | 2 ^ c); /* { dg-warning "parentheses" "correct warning" } */
44 foo ((1 | 2) ^ c);
45 foo (1 | (2 ^ c));
46 foo (1 | 2 ^ 3); /* { dg-warning "parentheses" "correct warning" } */
47 foo ((1 | 2) ^ 3);
48 foo (1 | (2 ^ 3));
49 foo (a + b | c); /* { dg-warning "parentheses" "correct warning" } */
50 foo ((a + b) | c);
51 foo (a + (b | c));
52 foo (1 + 2 | c); /* { dg-warning "parentheses" "correct warning" } */
53 foo ((1 + 2) | c);
54 foo (1 + (2 | c));
55 foo (1 + 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
56 foo ((1 + 2) | 3);
57 foo (1 + (2 | 3));
58 foo (a | b + c); /* { dg-warning "parentheses" "correct warning" } */
59 foo ((a | b) + c);
60 foo (a | (b + c));
61 foo (1 | 2 + c); /* { dg-warning "parentheses" "correct warning" } */
62 foo ((1 | 2) + c);
63 foo (1 | (2 + c));
64 foo (1 | 2 + 3); /* { dg-warning "parentheses" "correct warning" } */
65 foo ((1 | 2) + 3);
66 foo (1 | (2 + 3));
67 foo (a - b | c); /* { dg-warning "parentheses" "correct warning" } */
68 foo ((a - b) | c);
69 foo (a - (b | c));
70 foo (1 - 2 | c); /* { dg-warning "parentheses" "correct warning" } */
71 foo ((1 - 2) | c);
72 foo (1 - (2 | c));
73 foo (1 - 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
74 foo ((1 - 2) | 3);
75 foo (1 - (2 | 3));
76 foo (a | b - c); /* { dg-warning "parentheses" "correct warning" } */
77 foo ((a | b) - c);
78 foo (a | (b - c));
79 foo (1 | 2 - c); /* { dg-warning "parentheses" "correct warning" } */
80 foo ((1 | 2) - c);
81 foo (1 | (2 - c));
82 foo (1 | 2 - 3); /* { dg-warning "parentheses" "correct warning" } */
83 foo ((1 | 2) - 3);
84 foo (1 | (2 - 3));
85 foo (a > b | c); /* { dg-warning "parentheses" "correct warning" } */
86 foo ((a > b) | c);
87 foo (a > (b | c));
88 foo (1 > 2 | c); /* { dg-warning "parentheses" "correct warning" } */
89 foo ((1 > 2) | c);
90 foo (1 > (2 | c));
91 foo (1 > 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
92 foo ((1 > 2) | 3);
93 foo (1 > (2 | 3));
94 foo (a | b > c); /* { dg-warning "parentheses" "correct warning" } */
95 foo ((a | b) > c);
96 foo (a | (b > c));
97 foo (1 | 2 > c); /* { dg-warning "parentheses" "correct warning" } */
98 foo ((1 | 2) > c);
99 foo (1 | (2 > c));
100 foo (1 | 2 > 3); /* { dg-warning "parentheses" "correct warning" } */
101 foo ((1 | 2) > 3);
102 foo (1 | (2 > 3));
103 foo (a <= b | c); /* { dg-warning "parentheses" "correct warning" } */
104 foo ((a <= b) | c);
105 foo (a <= (b | c));
106 foo (1 <= 2 | c); /* { dg-warning "parentheses" "correct warning" } */
107 foo ((1 <= 2) | c);
108 foo (1 <= (2 | c));
109 foo (1 <= 2 | 3); /* { dg-warning "parentheses" "correct warning" } */
110 foo ((1 <= 2) | 3);
111 foo (1 <= (2 | 3));
112 foo (a | b <= c); /* { dg-warning "parentheses" "correct warning" } */
113 foo ((a | b) <= c);
114 foo (a | (b <= c));
115 foo (1 | 2 <= c); /* { dg-warning "parentheses" "correct warning" } */
116 foo ((1 | 2) <= c);
117 foo (1 | (2 <= c));
118 foo (1 | 2 <= 3); /* { dg-warning "parentheses" "correct warning" } */
119 foo ((1 | 2) <= 3);
120 foo (1 | (2 <= 3));
121 }
122