VC6.0的BUG_2_return相关

博客探讨了VC6.0编译器在处理goto语句时存在的两个错误。首先,尽管函数缺少返回值,VC6.0仍能编译通过而不发出警告。其次,由于代码优化过程中的循环问题,导致原本应删除的代码未被正确处理,形成死循环。具体表现为`goto NEXT`指令后多余的代码未被移除,造成程序执行时陷入无限循环。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

#include <stdio.h>
int fun()
{

}

int main()
{
	fun();
}

此时直接编译会因无返回值而报错

  • ⚠️ 因为编译器扫描每一行比较字符串是否包含return

那么按照此原理,对于下述代码该如何处理呢?

int fun()
{

	goto NEXT;

	return 0;

	NEXT:
			;

}
int main()
{

	fun();

}

此时VC6.0的处理机制出现BUG

  • BUG1:上述代码VC6.0编译通过(错误)

    应该起码警告:不是所有分支都有返回值
    请添加图片描述

  • BUG2:该程序的执行会陷入fun()中的死循环

    按照正常情况,对于没有if判断(无条件)的goto,编译器会直接删除goto与NEXT中间的代码,因为肯定执行不到(无条件break、continue后的代码也会被删除),在文本处理中,想要删除一行的代码,需要通过循环把后一行的代码向前推,但在VC6.0中,多循环了一次

    所以上述代码就会变成

    int fun()
    {
    	NEXT:	goto NEXT;				
    			;
    }
    

    **从而陷入死循环:**汇编代码不停的jmp NEXT

请添加图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值