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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fno-early-inlining -fdump-tree-ccp2" } */
   3
   4 int *p;
   5 int inline bar(void) { return 0; }
   6 int foo(int x)
   7 {
   8   int i;
   9   int *q;
  10   if (bar())
  11     q = &i;
  12   else
  13     q = p;
  14   return *q + *p;
  15 }
  16
  17 /* { dg-final { scan-tree-dump-not "NOTE: no flow-sensitive alias info for" "ccp2" } } */
  18 /* { dg-final { cleanup-tree-dump "ccp2" } } */