如何让C编译/链接器检测NOLOAD段的初始化数据并抛出警告或错误？

1. 链接器脚本ASSERT断言（推荐） #

利用GNU链接器的ASSERT指令，检查NOLOAD段是否包含初始化数据。当有带初始值的变量被放入.buffers段时，链接器会触发错误提示并终止链接。

修改你的链接脚本如下：

.buffers (NOLOAD) : 
{
    __buffers_start = .;
    *(.buffers)
    __buffers_end = .;
} >RAM_D1

// 断言.buffers段的加载大小为0（NOLOAD段不应包含初始化数据）
ASSERT(LOADSIZE(.buffers) == 0, "ERROR: .buffers section contains initialized data! NOLOAD sections cannot have explicit initial values.");

当开发者给.buffers段的变量添加初始化值时，链接器会输出你定义的错误信息，直接阻断编译流程。

2. 拆分段并断言初始化子段为空 #

通过链接脚本拆分未初始化与初始化的子段，强制断言初始化子段不存在，从根源上禁止带初始值的变量进入目标段。

修改链接脚本：

// 仅接收未初始化的.buffers子段
.buffers (NOLOAD) : 
{
    *(.buffers.uninit)
} >RAM_D1

// 断言带初始化数据的子段大小为0
ASSERT(SECTION_SIZE(".buffers.init") == 0, "ERROR: Initialized variable found in .buffers section!");

同时规范变量声明的宏，确保未初始化变量使用指定子段：

#define BUFFERS_SECTION __attribute__((section(".buffers.uninit"), used))
BUFFERS_SECTION uint8_t myBuffer[42];

若开发者错误地将初始化变量放入.buffers.init或直接.buffers段，链接器会触发断言错误。

补充说明 #

• 第一种方法无需修改现有变量声明方式，对代码侵入性极小，更适合团队协作场景。
• 两种方案均依赖GNU链接器（ld）特性，若使用其他链接器需调整对应语法。

内容的提问来源于stack exchange，提问作者Dan F.