1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fcheck-pointer-bounds -mmpx -fno-tree-ccp" } */
3 
4 extern int vfork (void) __attribute__ ((__nothrow__ , __leaf__));
5 void test1 (void);
6 void test2 (void);
7 void test3 (int *);
8 
test(int * p)9 void test (int *p)
10 {
11  test1 ();
12  p++;
13  test2 ();
14  p++;
15  vfork ();
16  test3 (p);
17 }
18