基于Keil C的覆盖分析，总结出编程中可能出现的几种不可预知的BUG,数据覆盖和模拟栈分配局部变量

1. 基于Keil C的覆盖分析，总结出编程中可能出现的几种不可预知的BUG，供各位网友参考
2. 1、编译时出现递归警告，我看到很多网友都采用再入属性解决，对于再入函数，Keil C不对它进行覆盖分析，采用模拟栈来分配局部变量，对于data型的模拟栈，假设函数中如果用了x个变量，递归级数为y，那每调用一次递归函数就要使用(x+2)*y个堆栈空间，极易造成堆栈空间溢出，产生不可预知的错误。连汉诺塔问题都可以采用非递归算法实现，因此使用Keil C编程建议不要使用递归算法。
3. 2、使用函数指针变量间接调用函数，以下几种情况会出现覆盖分析错误，但Keil C无法给出警告，产生不可预知的错误：
4.     A、给指针变量直接赋常数指，然后间接调用。
5.     B、指针变量定义为全局变量，而赋值和调用分别在不同的函数。
6.     C、函数指针作为参数传递。
7. 出现以上情况时，连接时要使用overlay调整调用关系，但我个人觉得overlay命令使软件的可维护性变得很差，一般不建议使用此命令。建议函数指针定义为code类型，因为常数段有参与覆盖分析，但也有负作用，请看第3点。
8. 3、函数指针定义为code类型时，在有些情况Keil C会给出递归警告，下面给出fun10到fun14五个范例进行分析
9.     A、main中的第二句产生的递归调用很好处理，只要把fun10放到其他的OBJ中就可解决，因为这时table和"abcdefg"会在不同的常数段。
10.     B、main中的第三句产生的递归调用可用main中第四句的方式解决。
11. C、main中的第五句产生的递归调用“不可以”采用main中第六句的方式解决，因为第六句就是第2点中的情况B，所以这两句只能用overlay命令解决。