34 lines
433 B
C
34 lines
433 B
C
|
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");
|
||
|
|
}
|