Mercurial > hg > CbC > CbC_gcc
view libmudflap/testsuite/libmudflap.c/pass54-frag.c @ 60:bd49c42ec43e
remove unnecessary files
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 15 Feb 2010 17:39:45 +0900 |
parents | a06113de4d67 |
children | b7f97abdc517 |
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"); }