静态检查例子续-南开大学编译原理课件

【文件属性】：

文件名称：静态检查例子续-南开大学编译原理课件

文件大小：1.14MB

文件格式：PPT

更新时间：2024-05-16 03:21:13

编译原理

静态检查例子（续） 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为无符号整数！