gcc/testsuite/gcc.dg/pr97515.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-ccp2" } */
   3
   4 int
   5 e7 (int gg)
   6 {
   7   int xe = 0;
   8
   9   while (xe < 1)
  10     {
  11       int ui;
  12
  13       ui = ~xe;
  14       if (ui == 0)
  15         ui = xe >> gg;
  16
  17       xe %= !ui;
  18     }
  19
  20   return xe;
  21 }
  22
  23 /* EVRP should be able to reduce this to a single goto when we can
  24  * revisit statements to try folding again based on changed inputs.
  25  * Until then, make sure its gone by ccp2.  */
  26
  27 /* { dg-final { scan-tree-dump-times "goto" 1 "ccp2" } } */