Hi, I have recently been working on issues related to the changing
values of global variables. That is, I was trying to develop a gimple
pass, which needs to check whether the value of a global variable is
modified in the a function or some blocks.
Some of the more tricky cases are as follows:
int type; // global variable
void foo() {
int tmp;
tmp = type; // store type in tmp
type = 0;
// do other things
// type will be used or changed
// ...
type = tmp;
return;
}
Obviously, this function does not modify the value of type, but from
the compiler's point of view, it seems not so obvious. I'd like to ask
is there any good way to solve it? Or does gcc provide some ready-made
implementations to use already?
