1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-forwprop1-details" } */
       3  
       4  int foo(int z0, unsigned z1)
       5  {
       6    int t0 = (z0 != -1);
       7    int t1 = (z1 != -1U);
       8    int t2 = (t0 | t1);
       9    return t2;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "gimple_simplified to _\[0-9\]* = \\(int\\) z1_\[0-9\]*\\(D\\);" "forwprop1" } } */