6 extern void test(int i);
14   test(x - x);  // expected-warning {{Both operands to '-' always have the same value}}  in basic()
17   test(x / x);  // expected-warning {{Both operands to '/' always have the same value}}  in basic()
20   test(x & x);  // expected-warning {{Both operands to '&' always have the same value}}  in basic()
22   test(x | x);  // expected-warning {{Both operands to '|' always have the same value}}  in basic()
26   test(x * one);  // expected-warning {{The right operand to '*' is always 1}}  in basic()
28   test(x / one);  // expected-warning {{The right operand to '/' is always 1}}  in basic()
32   test(one * x);   // expected-warning {{The left operand to '*' is always 1}}  in basic()
35   test(x + zero);  // expected-warning {{The right operand to '+' is always 0}}  in basic()
36   test(x - zero);  // expected-warning {{The right operand to '-' is always 0}}  in basic()
37   test(x * zero);  // expected-warning {{The right operand to '*' is always 0}}  in basic()
38   test(x & zero);  // expected-warning {{The right operand to '&' is always 0}}  in basic()
39   test(x | zero);  // expected-warning {{The right operand to '|' is always 0}}  in basic()
40   test(x ^ zero);  // expected-warning {{The right operand to '^' is always 0}}  in basic()
41   test(x << zero); // expected-warning {{The right operand to '<<' is always 0}}  in basic()
42   test(x >> zero); // expected-warning {{The right operand to '>>' is always 0}}  in basic()
45   test(zero + x);  // expected-warning {{The left operand to '+' is always 0}}  in basic()
46   test(zero - x);  // expected-warning {{The left operand to '-' is always 0}}  in basic()
47   test(zero / x);  // expected-warning {{The left operand to '/' is always 0}}  in basic()
48   test(zero * x);  // expected-warning {{The left operand to '*' is always 0}}  in basic()
49   test(zero & x);  // expected-warning {{The left operand to '&' is always 0}}  in basic()
50   test(zero | x);  // expected-warning {{The left operand to '|' is always 0}}  in basic()
51   test(zero ^ x);  // expected-warning {{The left operand to '^' is always 0}}  in basic()
52   test(zero << x); // expected-warning {{The left operand to '<<' is always 0}}  in basic()
53   test(zero >> x); // expected-warning {{The left operand to '>>' is always 0}}  in basic()
128   test(height * c); // no-warning  in false4()
146     test(b * c); // no-warning  in false4a()
150     test(b * d); // expected-warning{{The right operand to '*' is always 0}}  in false4a()
152     test(d);  in false4a()
155   test(a + b);  in false4a()
160   static int test = 0;  in false5()  local
162   a *= test; // no-warning  in false5()
163   test++;  in false5()
196   test(a);  in false8()