#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

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

被折叠的 条评论
为什么被折叠?



