1  /* { dg-do compile { target lp64 } } */
       2  /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
       3  
       4  int*
       5  foo (int* mem, int sz, int val)
       6  {
       7    int i;
       8    for (i = 0; i != sz; i++)
       9      if (mem[i] == val) 
      10        return &mem[i];
      11    return 0;
      12  }
      13  
      14  /* { dg-final { scan-tree-dump "inv_expr \[0-9\]: \\t\\(unsigned long\\) sz_\[0-9\]\\(D\\) \\* 4 \\+ \\(unsigned long\\) mem_\[0-9\]\\(D\\)" "ivopts" } } */