1  /* { dg-do run } */
       2  /* { dg-options "-fdump-tree-alias" } */
       3  /* { dg-skip-if "" { *-*-* } { "-O0" "-fno-fat-lto-objects" } { "" } } */
       4  
       5  volatile int i;
       6  int ** __attribute__((noinline,pure)) foo(int **p) { i; return p; }
       7  int bar(void)
       8  {
       9    int i = 0, j = 1;
      10    int *p, **q;
      11    p = &i;
      12    q = foo(&p);
      13    *q = &j;
      14    return *p;
      15  }
      16  extern void abort (void);
      17  int main()
      18  {
      19    if (bar() != 1)
      20      abort ();
      21    return 0;
      22  }
      23  
      24  /* { dg-final { scan-tree-dump "p.\?.._. = { i j }" "alias" } } */