1 /* { dg-do link } */
2 /* { dg-options "-O2 -fdump-tree-modref1"  } */
3 void linker_error ();
4 __attribute__((noinline))
5 int *
test(int ** a)6 test (int **a)
7 {
8   return *a;
9 }
10 int
main()11 main()
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