8 __mf_set_options ("-check-initialization");
9 foo = (char *)malloc (1);
11 /* These two operations each expand to a read-modify-write.
12 * Even though the end result is that every bit of foo[0] is
13 * eventually written to deterministically, the first read
14 * triggers an uninit error. Ideally, it shouldn't, so this
15 * should be treated more like a regular XFAIL. */
21 /* { dg-output "mudflap violation 1.*" } */
22 /* { dg-output "Nearby object.*" } */
23 /* { dg-output "mudflap object.*malloc region.*1r/0w.*" } */
24 /* { dg-do run { xfail *-*-* } } */