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;
foo(int i)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