| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-release_ssa" } */ | |
| struct wrap { | |
| void **array; | |
| }; | |
| __attribute__ ((noinline)) | |
| void | |
| write_array (struct wrap *ptr) | |
| { | |
| ptr->array[0]=0; | |
| } | |
| int | |
| test () | |
| { | |
| void *arrayval; | |
| struct wrap w = {&arrayval}; | |
| write_array (&w); | |
| return w.array == &arrayval; | |
| } | |
| /* We should deterine that write_array writes to PTR only indirectly. */ | |
| /* { dg-final { scan-tree-dump "return 1" "release_ssa" } } */ |