从堆栈布局看gcc不同版本的优化

本文探讨了一段存在内存覆盖问题的代码在不同GCC版本(3.4.6与4.1.2)下的表现差异。在3.4.6版本中,即使存在优化,代码仍能意外地读取正确值,而在4.1.2版本中,这种优化消失,导致读取异常。分析发现,GCC的堆栈布局和优化策略变化是关键原因。为避免程序崩溃,添加了null参数作为防护。
摘要由CSDN通过智能技术生成

问题引入:相同的有问题的代码,在4U的gcc3.4.6版本上运行良好,但是在5U的gcc4.1.2版本运行却失败!

简化问题如下:

#include <iostream>
using namespace std;
int test(void* null1, void* i, void* j, void* k, void* null2)
{
        *((long*)i) = 1;
        *((long*)j) = 2;
        *((long*)k) = 3;
}
int main()
{
        int null_1 = 0;
        int myvalue_i = 3;
        int myvalue_j = 5;
        int myvalue_k = 5;
        int null_2 = 0;
        test(&null_1, &myvalue_i, &myvalue_j, &myvalue_k, &null_2);
        cout << "i=" << myvalue_i  << ",j="  << myvalue_j  << ",k=" << myvalue_k<< endl;
        return 0;
}

//相同的代码,在4U的机器上做测试:(gcc 3.4.6)
[root@machine1 test]$ g++ t.cpp 
[root@machine1 test]$ ./a.out 
i=0,j=0,k=3
[root@machine1 test]$ g++ t.cpp -O2
[root@machin
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值