将.init_array部分包含在链接器脚本中会产生不可用的输出

Including .init_array section to Linker script produces unusable output

本文关键字:输出 脚本 array init 链接 包含      更新时间:2023-10-16

我尝试将c ++项目移植到RISC-V。该项目已经使用IAR工具链为ARM和Windows成功编译。

对于RISC-V端口,我已经编写了自己的CRT0。S文件,它执行所有初始化以及我自己的链接器脚本。

对于一些小型演示项目,一切都运行良好。 我还可以成功编译和链接项目。问题是当我将.init_array部分添加到链接器脚本时,输出文件从大约 4k 增加到超过 100k。我将这些部分添加到链接器脚本中:

.preinit_array     :
{
PROVIDE_HIDDEN (__preinit_array_start = .);
KEEP (*(.preinit_array))
PROVIDE_HIDDEN (__preinit_array_end = .);
} > ram
.init_array     :
{
PROVIDE_HIDDEN (__init_array_start = .);
KEEP (*(SORT(.init_array.*)))
KEEP (*(.init_array ))
PROVIDE_HIDDEN (__init_array_end = .);
} > ram
.fini_array     :
{
PROVIDE_HIDDEN (__fini_array_start = .);
KEEP (*(SORT(.fini_array.*)))
KEEP (*(.fini_array ))
PROVIDE_HIDDEN (__fini_array_end = .);
} > ram

当我现在尝试将此 ELF 文件加载到 GDB 时,我只是收到错误无寄存器。当我从链接器中删除这些部分时,只要我不使用未加载的静态对象,我就可以成功运行代码。

这种行为有什么解释吗?

我能够确定问题。添加 init 数组部分时,还添加了标准库中的一些静态对象。库正在使用对操作系统的系统调用 (ebreak(。由于我们正在开发裸机系统,因此未捕获呼叫。

解决方案是排除标准库并手动实现delete运算符。现在它正在完美地工作。

void operator delete(void *p) noexcept
{
free(p);
}
extern "C" void operator delete(void* p, unsigned long c) noexcept
{
operator delete(p); // Same as regular delete
}