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)9void test (int *p) 10 { 11 test1 (); 12 p++; 13 test2 (); 14 p++; 15 vfork (); 16 test3 (p); 17 } 18