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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 void
   5 func_18 ( int t )
   6 {
   7   unsigned l_889;
   8   int l_895 = 1;
   9   for (0; 1; ++l_889)
  10     {
  11       int t1 = 0;
  12       if (func_81 (1))
  13         {
  14           int rhs = l_895;
  15           if (rhs == 0)
  16             rhs = 1;
  17           if (1 & (t % rhs))
  18             t1 = 1;
  19         }
  20       func_98 (t1);
  21       l_895 = 0;
  22     }
  23 }
  24
  25 /* There should be a single if left.  */
  26
  27 /* { dg-final { scan-tree-dump-times "if" 1 "vrp1" } } */
  28 /* { dg-final { cleanup-tree-dump "vrp1" } } */