(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
ivopts-7.c
       1  /* { dg-do compile { target lp64 } } */
       2  /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
       3  
       4  int*
       5  foo (int* mem, int beg, int end, int val)
       6  {
       7    int i;
       8    for (i = beg; i < end; i++)
       9      if (mem[i] == val) 
      10        return &mem[i];
      11    return 0;
      12  }
      13  /* { dg-final { scan-tree-dump "inv_expr \[0-9\]: \\t\\(unsigned long\\) \\(\\(unsigned int\\) end_\[0-9\]\\(D\\) - \\(unsigned int\\) beg_\[0-9\]\\(D\\)\\)" "ivopts" } } */
      14