1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
       3  
       4  int*
       5  foo (int* mem, char sz, int val)
       6  {
       7    char 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|int)\\) sz_\[0-9\]*\\(D\\) \\* 4 \\+ \\(unsigned (long|int)\\) mem_\[0-9\]*\\(D\\)" "ivopts" } } */