#include <stdio.h>#include <stdlib.h>#include <string.h>intmain(){struct boo {int a; };int c;struct boo *b =malloc(sizeof(struct boo));__mf_set_options("-check-initialization");
b->a =0;/* That __mf_set_options call could be here instead. */
c = b->a;(void)malloc(c);/* some dummy use of c */return0;}