#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 *-*-* } } */ |