1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-optimized-raw" } */
       3  
       4  int f(unsigned a, unsigned b, unsigned *c)
       5  {
       6    if (a > -1 / b)
       7      return -1;
       8    *c = a * b;
       9    return 0;
      10  }
      11  
      12  void g(unsigned long long a, unsigned long long b, unsigned long long *c)
      13  {
      14    if (a <= -1 / b)
      15      *c = a * b;
      16  }
      17  
      18  /* { dg-final { scan-tree-dump-not "trunc_div_expr" "optimized" } } */