#include <stdio.h> | |
#include <stdlib.h> | |
int main () | |
{ | |
volatile int *k = (int *) malloc (sizeof (int)); | |
volatile int l; | |
if (k == NULL) abort (); | |
*k = 5; | |
free ((void *) k); | |
__mf_set_options ("-ignore-reads"); | |
l = *k; /* Should not trip, even though memory region just freed. */ | |
return 0; | |
} |