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