1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-release_ssa"  } */
       3  struct wrap {
       4  	void **array;
       5  };
       6  __attribute__ ((noinline))
       7  void
       8  write_array (struct wrap *ptr)
       9  {
      10  	ptr->array[0]=0;
      11  }
      12  int
      13  test ()
      14  {
      15  	void *arrayval;
      16  	struct wrap w = {&arrayval};
      17  	write_array (&w);
      18  	return w.array == &arrayval;
      19  }
      20  /* We should deterine that write_array writes to PTR only indirectly.  */
      21  /* { dg-final { scan-tree-dump "return 1" "release_ssa"  } } */