[参考译文] TMS570LC4357：L2RAMW -使用 GCC 编译/链接时出现双位 ECC 不可纠正的错误

您好、Sunil、

感谢您的快速响应。 我没有修改 HALCoGen 生成的启动代码、而是对其进行检测以调试此问题。

为了进行调试、我已经将应用代码剥离、只需使 HALCoGen HL_SYS_main.c 文件中 int main (void)内的 LED 闪烁。 我已经通过 Clang 分析器和 Coverity 静态分析器运行了所有 C 代码、并且未检测到读取任何未初始化变量。 我没有使用许多变量来使 LED 闪烁、因此这很容易通过手动代码检查和测试进行验证。

在哪里可以找到故意的 ECC 错误并进行检查？ 调用_memInit()，尽管我的测试/检测似乎表明错误发生在那之前。

最棒的
Brad

您好、Sunil、

我已经确定了根本原因、并提出了新的问题。 我在这里的经历很长、所以我会跳到最后

当我将 HALCoGen 层的工具链从 TI 更改为 GCC 时，HALCoGen 将 getResetSource()的函数声明如下所示：

-resetSource_t getResetSource (void)；
+resetSource_t getResetSource (void)__attribute__(naked)； 

因此、GCC 忽略了函数的 return 语句。 当程序计数器到达函数末尾时、没有返回_c_int00 ()的 BX LR 指令。 程序计数器将继续运行 hl_system.c 中的下一个函数，即 systemGetConfigValue()。 永远不会在代码中的任何位置调用此函数、它应该是功能上的死区代码。 一旦程序计数器到达该函数的末尾、它最终将返回_c_int00 ()。  事后看来、ECC 不可纠正的错误似乎是合适的。  

您能解释一下为什么为 GCC 添加了此属性吗？ 它是否解决了可以通过其他方式解决的问题？ 在工具链转换期间添加 naked 属性的唯一其他位置是_c_int00()。

谢谢、
Brad

Brad、您好！

我必须在选择 GCC 工具集时向软件团队核实为什么为 getResetSource 函数指定此属性。

此致、
Sunil

谢谢 Sunil、我很感激。

如果我在上一个帖子中不清楚、当我删除该属性时、函数会按预期返回、ECC 错误不再表示。

我做了一些研究、发现 ：

"此属性允许编译器构建必需的函数声明、同时允许函数主体为汇编代码。 指定的函数不会有编译器生成的起始代码/结束代码序列。 只能将基本 asm 语句安全地包含在裸函数中(请参阅 基本 asm)。 虽然使用扩展 ASM 或混合使用基本 ASM 和 C 代码似乎可以正常工作、但不能依赖它们来可靠地工作、也不受支持。"

该段中的关键短语是"将不具有起始/结束序列"。 在声明中给定该属性时、GCC 似乎运行正常。 还值得注意的是、该函数仅包含 C 代码、GCC 文档指出、使用该属性时不安全。

最棒的
Brad

谢谢 Brad。 我也理解了这一点。 我查找了有关此属性的信息、并确定它确实需要自己的手动上下文保存和恢复以及显式返回指令。

请保持关注，直到我从软件团队那里听到只有在选择 GCC 工具集时才为 getResetSource()函数定义此属性的原因。

此致、
Sunil

您好、Sunil、

我感谢我们在这方面的快速周转时间，这一确认将有助于我们向前迈进。 我们期待看到 HALCoGen 更新。

谢谢、
Brad