| #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"); | |
| c = b->a; | |
| (void) malloc (c); /* some dummy use of c */ | |
| return 0; | |
| } | |
| /* { dg-output "mudflap violation 1.*" } */ | |
| /* { dg-output "Nearby object 1.*" } */ | |
| /* { dg-output "mudflap object.*.malloc region.*1r/0w.*" } */ | |
| /* { dg-do run { xfail *-*-* } } */ |