咨询一个关于程序优化的问题

3rd0mit

我的程序用-O2优化后，执行时出现：
terminate called after throwing an instance of 'std:ut_of_range'
what():  vector::_M_range_check
的错误
可是不用优化执行的很顺利。
各位高人有没有碰到这种问题，我应该如何入手呢？
是语法不严密？ 还是什么别的原因？
我的系统是debian etch，编译器是gcc
谢谢。

[ 本帖最后由 3rd0mit 于 2009-11-25 10:16 编辑 ]

caijimin

一般来说，是程序本身存在问题。
“不用优化执行的很顺利” 很可能是问题没有造成明显可观察到的错误。

3rd0mit

恩，看来我还得仔细看看

agaric

是vector 访问越界了吗？

shan_ghost

我遇到过打开优化没问题、关闭优化出错的函数。

原因是优化前指针可以从任何地址开始，于是对连续两个字符数组，第一个数组写溢出就会覆盖第二个数组的第一个元素；打开优化后，由于地址对齐，两个数组间有了空隙，第一个数组多写一个字符就不会覆盖到第二个数组了。

更根本的原因，是处理第一个数组时，把for循环的<误写成<=了。


其实。。这个函数一直没问题，但俺看代码，觉得边界值处理的不大对，就故意邪恶的关闭优化，迫使问题暴露出来了

3rd0mit

我还不知道，一般这样的提示是说越界，但有时候因为头文件改变，引用同一头文件的子程序有的重新编译，有的没有编译，执行起来也会有类似的提示，我不知道还有什么别的原因，现在正在检查

3rd0mit

我的是关闭没问题，打开有问题，呵呵