gcc/testsuite/gcc.dg/tree-ssa/modref-10.c

   1 /* { dg-do link } */
   2 /* { dg-options "-O2 -fdump-tree-modref1"  } */
   3 void linker_error ();
   4 __attribute__((noinline))
   5 int *
   6 test (int **a)
   7 {
   8   return *a;
   9 }
  10 int
  11 main()
  12 {
  13         int val;
  14         int *a=&val;
  15         int *b = test (&a);
  16         if (b == (int *)&a)
  17                 linker_error ();
  18         return 0;
  19 }
  20 /* { dg-final { scan-tree-dump "no_direct_clobber no_indirect_clobber no_direct_escape no_indirect_escape not_returned_directly no_indirect_read" "modref1"} } */