cyq001 发表于 2009-12-15 12:32:23

变量定义成data型时被莫名其妙改变

请教各位大侠,我在A函数中定义了一个变量i,A函数中通过指针函数的形式调用了B函数,如果把i定义成data型的,则B函数执行完毕返回的时候原本的i值就被莫名其妙的改变了,如果i定义成static 或者idata型的则不会被改变,百思不得其解,不知道各位有没有碰到过这个情形

shark 发表于 2009-12-15 12:48:58

我也遇到过,我认为是Keil C的bug ,keil C处理 函数指针 的时候容易覆盖局部变量,只好用全局变量或static变量解决,没办法。
--------------------
编辑修改:研究了一下,发现不是bug,详见4楼。

cyq001 发表于 2009-12-15 13:03:16

这样我以后就会特别注意了,谢谢shark 大侠!!!

eduhf_123 发表于 2009-12-15 14:07:25

禁止编译器对函数A与函数B进行覆盖分析就好。

shark 发表于 2009-12-15 18:09:03

Keil C为了节省内存,局部变量没有使用栈来存储,而是使用覆盖的方法来重复使用,对没有调用关系的函数,编译器认为他们的局部变量可以覆盖,所以你在A里直接调用B是不会发用问题的,因为有调用链,编译器不会覆盖他们的局部变量,但如果A里通过一个函数指针调用其它函数,编译器没法预知这个函数指针指向哪个函数,所以有可能它指向的那个函数B,而在编译器看来B没有被A直接调用,这样,悲剧就发生了。

   如果编译器智能一点,理论上是可以通过跟踪对函数指针的赋值语句分析出该指针可能指向哪些函数,然后对这些函数不进行覆盖就行了,当然,说起来易,实现起来难,因为赋值操作也可能是通过函数参数传递的,也可能是在任何其它函数里进行的,这样分析起来太难了,干脆就不管了。

3楼的方法是正规方法,不过写起来挺麻烦的,要在在Link里加选项:
例如:
MyFile.c 时有函数 FuncA(),希望FuncA用的局部变量不被其它函数覆盖
要在Link里加

OVERLAY(?PR?FuncA?MyFile ! *)
该操作可以直接加入link 命令行(如果你不用uVision的话),
在uVision里可以Project/Option for XXXX , BL51 MISC 页 ,Overlay 框内输入?PR?FUNA?MyFile ! *   即可。

cyq001 发表于 2009-12-16 10:22:43

试了一下4楼发方法,问题解决,谢谢“鲨鱼”的热心帮助,同时也谢谢 eduhf_123 经历

chunfeng24 发表于 2011-12-8 21:27:37

今天碰到这个问题了,谢谢4楼的方法!已经解决了

betbet 发表于 2012-7-31 22:14:52

感谢四楼的回答
页: [1]
查看完整版本: 变量定义成data型时被莫名其妙改变