gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c

   1 /* Verify that points-to information is handled properly for PTR + OFFSET
   2    pointer arithmetics.  */
   3 /* { dg-do compile } */
   4 /* { dg-options "-O2 -fdump-tree-alias-vops" } */
   5
   6 char buf[4], *q;
   7 int foo (int i)
   8 {
   9   char c, *p;
  10   q = &c;
  11   p = buf;
  12   if (i)
  13     p = p + 3;
  14   else
  15     p = p + 2;
  16   *p = 6;
  17   c = 8;
  18   return *p;
  19 }
  20
  21 /* { dg-final { scan-tree-dump-not "VUSE <c" "alias" } } */
  22 /* { dg-final { cleanup-tree-dump "alias" } } */