为什么我会得到一个无条件跳转的SIGSEGV？

Question

我试图在Linux上运行该代码，看看会发生什么：

int fn(void) { return 0; } 
int main(void) { __asm__("jmp fn;"); } 

我看不出有任何理由要执行由SIGSEGV终止，但是这就是我得到的。我预计流程将被重定向到_start，因为堆栈在main和fn之内没有任何修改，并且激活记录中的返回地址仍应该是“可用的”。

你能解释一下这是什么吗？

Answer 1

return 0产生类似

mov $0x0, %eax 
ret 

其中ret从栈中弹出返回地址并跳转那里。简单的jmp不会推送任何返回地址，因此ret会弹出堆栈上的任何内容。