南开大学编译原理课件中的静态检查实例续

静态检查例子（续） int *glob; int *f (int **x) { int sa[2] = { 0, 1 }; int loc = 3; glob = &loc; *x = &sa[0]; return &loc; } void h(void) { unsigned int i; if (i >= 0) printf(">=0\n"); else printf("<0"); } Splint检查此程序的结果 返回局部变量！ i为无符号整数！