VC6中存在的BUG_2_return相关

104 阅读1分钟

VC6中存在的BUG_2_return相关

#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编译通过(错误)

    应该起码警告:不是所有分支都有返回值

QQ截图20220427193713.png

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

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

    所以上述代码就会变成

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

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

    QQ截图20220427193803.png