gcc/testsuite/gcc.dg/torture/pta-callused-1.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fdump-tree-alias" } */
   3 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
   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.._., name memory tag: NMT..., is dereferenced, points-to vars: { i j }" "alias" } } */
  25 /* { dg-final { cleanup-tree-dump "alias" } } */