gcc/testsuite/gcc.dg/tree-ssa/pr21031.c

   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" } } */