| #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; | |
| } |