1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1-nouid" } */
       3  
       4  int f (int x, int y)
       5  {
       6    if (x > -1024 && x < 0 && y > -1024 && y < 0)
       7      {
       8        x = x ^ y;
       9        if (x < 0 || x > 1023)
      10  	return 1234;
      11      }
      12    return x;
      13  }
      14  
      15  /* { dg-final { scan-tree-dump-not "1234" "vrp1" } } */