1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.7/libmudflap/testsuite/libmudflap.c/fail17-frag.c b/gcc-4.7/libmudflap/testsuite/libmudflap.c/fail17-frag.c
new file mode 100644
index 000000000..5af67f138
--- /dev/null
+++ b/gcc-4.7/libmudflap/testsuite/libmudflap.c/fail17-frag.c
@@ -0,0 +1,18 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+int main ()
+{
+
+char * x;
+int foo;
+x = (char *) malloc (10);
+strcpy (x, "123456789");
+foo = strlen (x+10);
+x [foo] = 1; /* we just just use foo to force execution of strlen */
+return 0;
+}
+/* { dg-output "mudflap violation 1.*" } */
+/* { dg-output "Nearby object 1.*" } */
+/* { dg-output "mudflap object.*.malloc region.*" } */
+/* { dg-do run { xfail *-*-* } } */