void * chkp_test (void *p) { return __builtin___bnd_set_ptr_bounds (p, 10); }
int test (int *p) { p = (int *)__builtin___bnd_set_ptr_bounds (p, sizeof (int)); return *p; }
void * chkp_test (void *p) { return __builtin___bnd_set_ptr_bounds (p, 10); }
int test (int *p) { p = (int *)__builtin___bnd_set_ptr_bounds (p, sizeof (int)); return *p; }