1  /* PR tree-optimization/21031
       2  
       3     Make sure that a != 0 is propagated into the "if" statement.  */
       4  
       5  /* { dg-do compile } */
       6  /* { dg-options "-O1 -fdump-tree-forwprop1" } */
       7  
       8  int
       9  foo (int a)
      10  {
      11    int b = a != 0;
      12    unsigned char c = b;
      13    if (c)
      14      return 1;
      15    else
      16      return 0;
      17  }
      18  
      19  /* { dg-final { scan-tree-dump "if \\(a_\[0-9\]+\\(D\\) != 0\\)" "forwprop1" } } */