1 #include <stdio.h>
2 #include <stdlib.h>
3 
main()4 int main ()
5 {
6   volatile int *k = (int *) malloc (sizeof (int));
7   volatile int l;
8   if (k == NULL) abort ();
9   *k = 5;
10   free ((void *) k);
11   __mf_set_options ("-ignore-reads");
12   l = *k; /* Should not trip, even though memory region just freed.  */
13   return 0;
14 }
15