[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / alias-access-path-5.c


/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */

struct a {int v1;
          int v2;};
struct b {int array[0]; struct a a[];};
union c {struct b b;};

int
test (struct b *bptr1, union c *cptr, int i, int j)
{
  bptr1->a[i].v1=123;
  cptr->b.a[j].v2=1;
  return bptr1->a[i].v1;
}
int
test2 (struct b *bptr1, union c *cptr, int i, int j)
{
  bptr1->a[i].v1=124;
  cptr->b.a[j].v1=1;
  return bptr1->a[i].v1;
}
/* { dg-final { scan-tree-dump-times "return 123" 1 "optimized"  { xfail *-*-* } } } */
/* { dg-final { scan-tree-dump-not "return 124" "optimized"} } */
Commit	Line	Data
8e2d0529 JH	1
	2	/* { dg-do compile } */
	3	/* { dg-options "-O2 -fdump-tree-optimized" } */
	4
	5	struct a {int v1;
	6	int v2;};
	7	struct b {int array[0]; struct a a[];};
	8	union c {struct b b;};
	9
	10	int
	11	test (struct b bptr1, union c cptr, int i, int j)
	12	{
	13	bptr1->a[i].v1=123;
	14	cptr->b.a[j].v2=1;
	15	return bptr1->a[i].v1;
	16	}
	17	int
	18	test2 (struct b bptr1, union c cptr, int i, int j)
	19	{
	20	bptr1->a[i].v1=124;
	21	cptr->b.a[j].v1=1;
	22	return bptr1->a[i].v1;
	23	}
9640ff5a	24	/* { dg-final { scan-tree-dump-times "return 123" 1 "optimized" { xfail --* } } } */
8e2d0529	25	/* { dg-final { scan-tree-dump-not "return 124" "optimized"} } */