为何在NASM中无法任意顺序使用?在.bss段声明未初始化变量

你关于变量覆盖的猜测不正确，这个报错并非代码逻辑错误，也不存在变量覆盖的问题，是NASM 2.15.04/05版本针对.bss段标签地址计算的已知bug。

触发逻辑 #

NASM在处理.bss段的未初始化变量时，会自动给不同类型的变量做地址对齐：

• DW类型要求地址按2字节对齐
• DB类型没有对齐要求
  在2.15.x的bug版本中，当.bss段内先定义了高对齐要求的变量，再定义低对齐要求的变量时，汇编器的两遍扫描计算出的低对齐变量标签地址不一致，就会触发label-redef-late的错误检查，和你是否使用var2标签没有关系。

• 方案1：升级NASM到2.16.01及以上版本，该bug已经在后续版本中被官方修复
• 方案2：如果必须使用2.15.x版本，可以选择以下任意一种规避方式：
  • 调整变量定义顺序，将所有DB类型的未初始化变量放在更高对齐要求的变量之前（也就是你最初能正常汇编的写法）
  • 给.bss段显式指定对齐规则，将段声明改为section .bss align=1（会牺牲变量访问性能，仅临时调试用）
  • 改用NASM规范的bss段伪指令写法，把DB ?替换为resb 1、DW ?替换为resw 1，也可以规避该bug

你收到的报错error: label var2' changed during code generation [-w+error=label-redef-late]`本身的含义是汇编器两次扫描计算出的同一个标签地址不一致，属于汇编器的保护性报错，和代码业务逻辑无关。

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