| /* { dg-do link } */ | |
| /* { dg-options "-O2 -fdump-tree-modref1" } */ | |
| void linker_error (); | |
| __attribute__((noinline)) | |
| int * | |
| test (int **a) | |
| { | |
| return *a; | |
| } | |
| int | |
| main() | |
| { | |
| int val; | |
| int *a=&val; | |
| int *b = test (&a); | |
| if (b == (int *)&a) | |
| linker_error (); | |
| return 0; | |
| } | |
| /* { dg-final { scan-tree-dump "no_direct_clobber no_indirect_clobber no_direct_escape no_indirect_escape not_returned_directly no_indirect_read" "modref1"} } */ |