1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-ivopts-details" } */ 3 4 int* foo(int * mem,char sz,int val)5foo (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" } } */ 15