FMU 合规性检查器:FMICAPI:未定义符号:va_start (Linux)

FMU Compliance Checker: FMICAPI: undefined symbol: va_start (Linux)

在 FMI 包装器中,我们使用可变参数函数进行日志记录。 运行 在使用 gcc 4.9.2 编译的 FMU(用于 Co-Sim)上,用于 linux64 的 FMU 合规性检查器 (2.0.3) 时,合规性检查器在加载 *.so 文件时抛出错误:

[FATAL][FMICAPI] Could not load the DLL: /tmp/fmucktmpslmDuk/binaries/linux64/Frame.so: undefined symbol: va_start

我在想是不是禁止使用va_start in FMI in Linux? The FMI specifications (1, 2)好像没有提示

#include <stdarg.h>

va_arg 和许多其他定义在那里。