[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / modref-13.c

/* { 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"  } } */
Commit	Line	Data
d70ef656 JH	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. */
a5c9b9bc	21	/* { dg-final { scan-tree-dump "return 1" "release_ssa" } } */