Mercurial > hg > CbC > CbC_gcc

comparison libmudflap/testsuite/libmudflap.c/fail28-frag.c @ 0:a06113de4d67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:a06113de4d67
1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4
5 int foo (int *u, int i)
6 {
7 return u[i]; /* this dereference should be instrumented */
8 }
9
10 int main ()
11 {
12 int *k = malloc (6);
13 return foo (k, 8);
14 }
15 /* { dg-output "mudflap violation 1.*" } */
16 /* { dg-output "Nearby object.*" } */
17 /* { dg-output "mudflap object.*malloc region.*alloc" } */
18 /* { dg-do run { xfail *-*-* } } */