blob: 801d3f68a4662c6a35a96c55ccc3915aeec741bd [file] [log] [blame]
#include <stdlib.h>
int main() {
char *x = (char*)malloc(10 * sizeof(char));
free(x);
return x[5];
}
// CHECK: heap-use-after-free
// CHECKSLEEP: Sleeping for 1 second