31 lines
560 B
C
31 lines
560 B
C
/* { dg-do run } */
|
|
/* { dg-options "-O2 -fdump-tree-alias-vops" } */
|
|
|
|
const static int a;
|
|
|
|
int __attribute__((noinline))
|
|
foo(int i)
|
|
{
|
|
const int *q;
|
|
int b;
|
|
if (i)
|
|
q = &a;
|
|
else
|
|
q = &b;
|
|
b = 1;
|
|
/* We should not prune a from the points-to set of q. */
|
|
return *q;
|
|
}
|
|
|
|
extern void abort (void);
|
|
int main()
|
|
{
|
|
if (foo(1) != 0)
|
|
abort ();
|
|
return 0;
|
|
}
|
|
|
|
/* { dg-final { scan-tree-dump "q_. = { a b }" "alias" } } */
|
|
/* { dg-final { scan-tree-dump "q_., points-to vars: { a b }" "alias" } } */
|
|
/* { dg-final { cleanup-tree-dump "alias" } } */
|