gcc/testsuite/gcc.dg/tree-ssa/alias-19.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 -fdump-tree-alias-details" } */
   3
   4 const static int a;
   5
   6 int __attribute__((noinline))
   7 foo(int i)
   8 {
   9   const int *q;
  10   int b;
  11   if (i)
  12     q = &a;
  13   else
  14     q = &b;
  15   b = 1;
  16   /* We should not prune a from the points-to set of q.  */
  17   return *q;
  18 }
  19
  20 extern void abort (void);
  21 int main()
  22 {
  23   if (foo(1) != 0)
  24     abort ();
  25   return 0;
  26 }
  27
  28 /* { dg-final { scan-tree-dump "q_. = { a b }" "alias" } } */