1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main ()
5 {
6 struct boo { int a; };
7 int c;
8 struct boo *b = malloc (sizeof (struct boo));
9 __mf_set_options ("-check-initialization");
10 c = b->a;
11 (void) malloc (c); /* some dummy use of c */
12 return 0;
13 }
14 /* { dg-output "mudflap violation 1.*" } */
15 /* { dg-output "Nearby object 1.*" } */
16 /* { dg-output "mudflap object.*.malloc region.*1r/0w.*" } */
17 /* { dg-do run { xfail *-*-* } } */
18