URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Go to most recent revision |
Only display areas with differences |
Details |
Blame |
View Log
Rev 154 |
Rev 816 |
struct k
|
struct k
|
{
|
{
|
struct {
|
struct {
|
int b;
|
int b;
|
int c;
|
int c;
|
} a;
|
} a;
|
};
|
};
|
|
|
static struct k l;
|
static struct k l;
|
static struct k m;
|
static struct k m;
|
|
|
void foo ()
|
void foo ()
|
{
|
{
|
/* This should not be instrumented. */
|
/* This should not be instrumented. */
|
l.a.b = 5;
|
l.a.b = 5;
|
}
|
}
|
|
|
void bar ()
|
void bar ()
|
{
|
{
|
/* This should not be instrumented. */
|
/* This should not be instrumented. */
|
m.a.b = 5;
|
m.a.b = 5;
|
}
|
}
|
|
|
int main ()
|
int main ()
|
{
|
{
|
/* Force TREE_ADDRESSABLE on "l" only. */
|
/* Force TREE_ADDRESSABLE on "l" only. */
|
volatile int *k = & l.a.c;
|
volatile int *k = & l.a.c;
|
*k = 8;
|
*k = 8;
|
__mf_set_options ("-mode-violate");
|
__mf_set_options ("-mode-violate");
|
foo ();
|
foo ();
|
bar ();
|
bar ();
|
__mf_set_options ("-mode-check");
|
__mf_set_options ("-mode-check");
|
}
|
}
|
|
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.