1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  int f(int i)
       5  {
       6    int t = i == 1;
       7    int g = t == 2;
       8    int h = g == 3;
       9    return h;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "return 0;" "vrp1" } } */
      13