Mercurial > hg > CbC > CbC_gcc
view libmudflap/testsuite/libmudflap.c/fail39-frag.c @ 48:9907f3135723
update CbC on GCC from 4.4.2 to 4.4.3.
author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 07 Feb 2010 17:48:31 +0900 |
parents | a06113de4d67 |
children |
line wrap: on
line source
#include <stdio.h> #include <stdlib.h> int main () { volatile int *k = (int *) malloc (sizeof (int)); volatile int l; if (k == NULL) abort (); *k = 5; free ((void *) k); __mf_set_options ("-ignore-reads"); l = *k; /* Should not trip, even though memory region just freed. */ __mf_set_options ("-no-ignore-reads"); l = *k; /* Should trip now. */ return 0; } /* { dg-output "mudflap violation 1.*check/read.*" } */ /* { dg-output "Nearby object 1.*" } */ /* { dg-output "mudflap dead object.*malloc region.*" } */ /* { dg-do run { xfail *-*-* } } */