#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