27 lines
484 B
C
27 lines
484 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-O2 -fno-tree-ccp -fdump-tree-alias" } */
|
|
|
|
extern void abort (void);
|
|
struct X {
|
|
int *p;
|
|
int *q;
|
|
int *r;
|
|
};
|
|
int __attribute__((noinline))
|
|
foo(int i, int j, int k, int off)
|
|
{
|
|
struct X x;
|
|
int **p, *q;
|
|
x.p = &i;
|
|
x.q = &j;
|
|
x.r = &k;
|
|
p = &x.q;
|
|
p += 1;
|
|
/* *p points to { k } */
|
|
q = *p;
|
|
return *q;
|
|
}
|
|
|
|
/* { dg-final { scan-tree-dump "q_., points-to vars: { k }" "alias" } } */
|
|
/* { dg-final { cleanup-tree-dump "alias" } } */
|