5 extern void test(int i);
13   test(x - x);  // expected-warning {{Both operands to '-' always have the same value}}  in basic()
16   test(x / x);  // expected-warning {{Both operands to '/' always have the same value}}  in basic()
19   test(x & x);  // expected-warning {{Both operands to '&' always have the same value}}  in basic()
21   test(x | x);  // expected-warning {{Both operands to '|' always have the same value}}  in basic()
25   test(x * one);  // expected-warning {{The right operand to '*' is always 1}}  in basic()
27   test(x / one);  // expected-warning {{The right operand to '/' is always 1}}  in basic()
31   test(one * x);   // expected-warning {{The left operand to '*' is always 1}}  in basic()
34   test(x + zero);  // expected-warning {{The right operand to '+' is always 0}}  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()
44   test(zero + x);  // expected-warning {{The left 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()
127   test(height * c); // no-warning  in false4()
145     test(b * c); // no-warning  in false4a()
149     test(b * d); // expected-warning{{The right operand to '*' is always 0}}  in false4a()
151     test(d);  in false4a()
154   test(a + b);  in false4a()
159   static int test = 0;  in false5()  local
161   a *= test; // no-warning  in false5()
162   test++;  in false5()
195   test(a);  in false8()