void af2d() { int *p = my_malloc(12); free(p); my_hold2(0, 0, p); // expected-warning{{Try to free a memory block that has been released}} }
void af2d() { int *p = my_malloc(12); free(p); my_hold2(0, 0, p); // expected-warning{{Attempt to free released memory}} }