gcc/testsuite/gcc.dg/tree-ssa/divide-8.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-optimized" } */
   3 /* PR tree-optimization/113301 */
   4 /* We should figure out that 1/(x+1) range is [-1,1]
   5    and then /2 is always 0. */
   6
   7 void link_error(void);
   8 void func(int x){
   9     int c=(1/(x+1))/2;
  10     if (c != 0)
  11       link_error();
  12 }
  13 /* { dg-final { scan-tree-dump-not "link_error " "optimized" } } */