diff options
Diffstat (limited to 'gcc-4.4.3/libmudflap/testsuite/libmudflap.c/fail28-frag.c')
-rw-r--r-- | gcc-4.4.3/libmudflap/testsuite/libmudflap.c/fail28-frag.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.4.3/libmudflap/testsuite/libmudflap.c/fail28-frag.c b/gcc-4.4.3/libmudflap/testsuite/libmudflap.c/fail28-frag.c new file mode 100644 index 000000000..7d61c57f3 --- /dev/null +++ b/gcc-4.4.3/libmudflap/testsuite/libmudflap.c/fail28-frag.c @@ -0,0 +1,18 @@ +#include <stdio.h> +#include <stdlib.h> +#include <string.h> + +int foo (int *u, int i) +{ + return u[i]; /* this dereference should be instrumented */ +} + +int main () +{ +int *k = malloc (6); +return foo (k, 8); +} +/* { dg-output "mudflap violation 1.*" } */ +/* { dg-output "Nearby object.*" } */ +/* { dg-output "mudflap object.*malloc region.*alloc" } */ +/* { dg-do run { xfail *-*-* } } */ |