Reflextion test のソースのスライスについて

[maxfie1d]

現在グローバル変数は、__GLOBAL__にしているが、
これだけだと関数の中でグローバル変数が書き換えられるのを
追えなくないか?

たとえば、main関数内でfunc2()を呼び出した時、
func2()の内部でグローバル変数は変更されることになるが、
このときmain()関数内でグローバル変数が変更されたということに
なるのではないか。

int main(int argc, char** argv) {
     // ...
	g1 = 0;
	func1();
	g3 = g2;

	func2();    // この中で変えられたらヤバくない ??
	func3();    // この中で変えられたらヤバくない ??
	func4();    // この中で変えられたらヤバくない ??
	
     // ...
}