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 foo()12void foo () 13 { 14 /* This should not be instrumented. */ 15 l.a.b = 5; 16 } 17 bar()18void bar () 19 { 20 /* This should not be instrumented. */ 21 m.a.b = 5; 22 } 23 main()24int 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 } 34