1#include <stdio.h> 2#include <stdlib.h> 3#include <string.h> 4int main () 5{ 6struct boo { int a; }; 7int c; 8struct boo *b = malloc (sizeof (struct boo)); 9__mf_set_options ("-check-initialization"); 10b->a = 0; 11/* That __mf_set_options call could be here instead. */ 12c = b->a; 13(void) malloc (c); /* some dummy use of c */ 14return 0; 15} 16