#include <stdio.h> | |
#include <stdlib.h> | |
#include <string.h> | |
int main () | |
{ | |
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 */ | |
return 0; | |
} |