Mercurial > hg > CbC > CbC_gcc
view libmudflap/testsuite/libmudflap.c/pass54-frag.c @ 63:b7f97abdc517 gcc-4.6-20100522
update gcc from gcc-4.5.0 to gcc-4.6
author | ryoma <e075725@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 24 May 2010 12:47:05 +0900 |
parents | a06113de4d67 |
children |
line wrap: on
line source
struct k { struct { int b; int c; } a; }; static struct k l; static struct k m; void foo () { /* This should not be instrumented. */ l.a.b = 5; } void bar () { /* This should not be instrumented. */ m.a.b = 5; } int main () { /* Force TREE_ADDRESSABLE on "l" only. */ volatile int *k = & l.a.c; *k = 8; __mf_set_options ("-mode-violate"); foo (); bar (); __mf_set_options ("-mode-check"); return 0; }