C程序编译为汇编二进制后取消i自增注释触发段错误问题咨询

• 根本原因是你手动调用ld链接时使用了-e main参数，直接将C语言的main函数设置为程序的入口点，违背了Linux系统下C程序的标准执行流程。
• 标准C程序的真实入口是glibc提供的_start函数，它会在调用main之前完成libc初始化、运行时环境配置、栈帧准备等工作，main执行完成返回后，_start会主动调用exit()系列函数完成IO缓冲区刷新、资源回收，最终正常退出进程，不会出现跳转非法地址的问题。
• 你注释掉i = i + 1时，程序进入无限循环，永远执行不到main函数末尾的ret返回指令，所以不会触发地址跳转错误，你看到的连续输出是printf的缓冲区满后自动刷出的内容。
• 取消自增注释后，循环执行10次就会正常结束，main执行到末尾的ret指令时，栈上并没有_start函数预先准备的合法返回地址，ret会将栈顶的垃圾数据当作返回地址跳转到非法内存区域，直接触发段错误。

验证方案 #

你可以在main函数的return 0之前手动添加exit(0);引入标准退出流程，即使保持当前的ld链接参数，程序也能正常退出不会触发段错误。也可以直接使用gcc count.o -o count完成链接，gcc会自动添加必要的启动文件和处理逻辑，不需要手动指定入口点和动态链接器参数。

内容的提问来源于stack exchange，提问作者Him