summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c
blob: 1c5ea02ba786bc2c061d299a94607f6934a94d3c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-forwprop1" } */

struct X { int a[256]; };

int foo(struct X *p, __SIZE_TYPE__ i)
{
  int *q = &p->a[0];
  int *q2 = (int *)((void *)q + i*4 + 32);
  return *q2;
}

int bar(struct X *p, int i)
{
  return *((int *)p + i + 8);
}

/* We should have propagated the base array address through the
   address arithmetic into the memory access as an array access.  */

/* { dg-final { scan-tree-dump-times "->a\\\[D\\\." 2 "forwprop1" { xfail *-*-* } } } */
/* { dg-final { cleanup-tree-dump "forwprop1" } } */