#include <stdio.h>#include <stdlib.h>#include <string.h>int main (){char *foo;__mf_set_options ("-check-initialization");foo = (char *)malloc (1);/* These two operations each expand to a read-modify-write.* Even though the end result is that every bit of foo[0] is* eventually written to deterministically, the first read* triggers an uninit error. Ideally, it shouldn't, so this* should be treated more like a regular XFAIL. */foo[0] &= 0xfe;foo[0] |= 0x01;return foo[0];}/* { dg-output "mudflap violation 1.*" } *//* { dg-output "Nearby object.*" } *//* { dg-output "mudflap object.*malloc region.*1r/0w.*" } *//* { dg-do run { xfail *-*-* } } */