28 lines
465 B
C
28 lines
465 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-O2 --param max-fields-for-field-sensitive=2 -fdump-tree-alias" } */
|
|
|
|
struct Foo {
|
|
int *p, *q;
|
|
};
|
|
|
|
int foo (int ***x) __attribute__((pure));
|
|
|
|
int bar (int b)
|
|
{
|
|
int i;
|
|
struct Foo f;
|
|
int *p, **q;
|
|
p = &i;
|
|
f.p = &i;
|
|
f.q = f.p;
|
|
if (b)
|
|
q = &f.p;
|
|
else
|
|
q = &f.q;
|
|
return foo (&q);
|
|
}
|
|
|
|
/* { dg-final { scan-tree-dump "CALLUSED = { f.* i q }" "alias" } } */
|
|
/* { dg-final { cleanup-tree-dump "alias" } } */
|
|
|