请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。
部件号：RM57L843 工具/软件：
尊敬的 TI：
我们正在尝试将 SAFERTOS 应用于 RM57、SAFERTOS 指定它应使用以下编译器选项进行开发： --opt_level=off --opt_for_speed=1 --fp_mode=strict。
我们的产品是铁路应用、需要通过 SIL-3 认证。
由于编译器验证对于这一点至关重要、我们计划使用 TI 的 CQKIT 版本 20.2.5。
但是、在验证结果上、它不包括此特定的选项组合。
是否有方法额外验证此选项组合？
我需要此组合的原因是--opt_level=off、和--fp_mode=strict 是默认值、但 --opt_for_speed=1不是。
非常感谢您的回答。
此致、
