1  /* Test operation of -Wparentheses.  Precedence warnings.  & or + or -
       2     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
      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 & (0x2 ^ 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 + (0x2 ^ 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 - (0x2 ^ 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 >= (0x2 ^ 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 == (0x2 ^ 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 < (0x2 ^ 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  }