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