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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp-details" } */
   3
   4 static int blocksize = 4096;
   5
   6 int bar (int);
   7
   8 void foo (void)
   9 {
  10   int toread;
  11   int bytes;
  12   __attribute__ ((used))
  13   static char eof_reached = 0;
  14
  15   toread = blocksize;
  16   bytes = 1;
  17
  18   while (toread != 0)
  19     {
  20       bytes = bar (toread);
  21       if (bytes <= 0)
  22         {
  23           if (bytes < 0)
  24             continue;
  25           break;
  26         }
  27       toread -= bytes;
  28     }
  29
  30   if (bytes == 0)
  31     eof_reached = 1;
  32 }
  33
  34
  35 /* First, we should simplify the bits < 0 test within the loop.  */
  36 /* { dg-final { scan-tree-dump-times "Simplified relational" 1 "evrp" } } */