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

first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children b7f97abdc517
comparison
equal deleted inserted replaced
-1:000000000000 0:a06113de4d67
1 struct k
2 {
3 struct {
4 int b;
5 int c;
6 } a;
7 };
8
9 static struct k l;
10 static struct k m;
11
12 void foo ()
13 {
14 /* This should not be instrumented. */
15 l.a.b = 5;
16 }
17
18 void bar ()
19 {
20 /* This should not be instrumented. */
21 m.a.b = 5;
22 }
23
24 int main ()
25 {
26 /* Force TREE_ADDRESSABLE on "l" only. */
27 volatile int *k = & l.a.c;
28 *k = 8;
29 __mf_set_options ("-mode-violate");
30 foo ();
31 bar ();
32 __mf_set_options ("-mode-check");
33 }