1  // { dg-do compile }
       2  // { dg-options "-O2 -fdump-tree-evrp" }
       3  
       4  void gg(void);
       5  int f(unsigned t)
       6  {
       7    unsigned g = t*16;
       8    if (g==0)  return 1;
       9    gg();
      10    gg();
      11    gg();
      12    gg();
      13    gg();
      14    gg();
      15    if (g<=4)  return 1;
      16    return 0;
      17  }
      18  
      19  // { dg-final { scan-tree-dump-times " if " 1 "evrp" } }