gcc/testsuite/gcc.c-torture/compile/20040916-1.c

   1 /* PR tree-optimization/17512
   2
   3    We used to try to fold "(char) (X ^ Y)", where '^' is
   4    TRUTH_XOR_EXPR into ((char) X ^ (char) Y), creating TRUTH_XOR_EXPR
   5    with its operands being of type char, which is invalid.  */
   6
   7 char
   8 foo (int p)
   9 {
  10   int q = p;
  11   return (p != 0) == (p == q);
  12 }