使用TASKING编译器将变量链接到指定地址失败，求故障排查

用户操作与问题现象 #

操作步骤 #

1. 使用#pragma定义变量所属段：

#pragma section farbss "user_test_bss"
volatile int run_cnt1;
#pragma section farbss restore

#pragma section fardata "user_test_data"
volatile int run_cnt2 = 0x1234;
#pragma section fardata restore

2. 在TASKING LSL文件中配置段地址：

section_layout :vtc:linear
{
     group
     {
           group (ordered, attributes=rw, run_addr=0x70001000)
           {
                 select ".bss.user_test_bss";
           }
           group (ordered, attributes=rw, run_addr=0x70004000)
           {
                 select ".data.user_test_data";
           }
     }
}

3. 编译后查看.map文件，结果显示变量未分配到指定地址：

run_cnt1            | 0x90000004 | mpe:vtc:abs18  
run_cnt2            | 0x90000000 |              

问题排查与解决方法 #

1. 段名称匹配错误（核心问题） #

TASKING中，#pragma section farbss "user_test_bss"生成的实际段名是farbss.user_test_bss，而非.bss.user_test_bss；同理fardata定义的段是fardata.user_test_data，不是.data.user_test_data。

修改LSL中的select语句为：

section_layout :vtc:linear
{
     group
     {
           group (ordered, attributes=rw, run_addr=0x70001000)
           {
                 select "farbss.user_test_bss";
           }
           group (ordered, attributes=rw, run_addr=0x70004000)
           {
                 select "fardata.user_test_data";
           }
     }
}

2. 内存区域合法性检查 #

确认0x70001000和0x70004000地址所在的内存区域，已在LSL中被正确声明为可读写的线性区域，示例声明如下：

memory vtc {
    linear (rw) : origin = 0x70000000, length = 0x10000;
}

3. 验证段分配正确性 #

可通过TASKING的段查看工具（如objdump或IDE内置的段分析功能），检查编译后.elf文件中run_cnt1和run_cnt2是否被分配到farbss.user_test_bss和fardata.user_test_data段，排除编译器未正确识别#pragma指令的情况。

4. 链接规则优先级检查 #

如果LSL文件中存在其他通用段匹配规则（如select ".bss.*"），需确保目标段的select规则位置更靠前（LSL规则按顺序匹配，先匹配的规则生效）。

5. __attribute__方式的正确写法 #

若尝试用属性关键字指定段，需遵循TASKING的语法格式：

volatile int run_cnt1 __attribute__((section("farbss.user_test_bss")));
volatile int run_cnt2 __attribute__((section("fardata.user_test_data"))) = 0x1234;

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