1 /* { dg-do link } */ 2 /* { dg-options "-O2 -fdump-tree-modref1" } */ 3 void linker_error (); 4 __attribute__((noinline)) 5 int * test(int ** a)6test (int **a) 7 { 8 return *a; 9 } 10 int main()11main() 12 { 13 int val; 14 int *a=&val; 15 int *b = test (&a); 16 if (b == (int *)&a) 17 linker_error (); 18 return 0; 19 } 20 /* { dg-final { scan-tree-dump "no_direct_clobber no_indirect_clobber no_direct_escape no_indirect_escape not_returned_directly no_indirect_read" "modref1"} } */ 21