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