gcc - ceedling/cmock：模拟可变参数函数，或 va_list 参数

Question

我试图模拟这段代码：

int myPrintf(const char *fmt, ...);
int myVprintf(const char *fmt, va_list args);

对于这两个函数，都会生成一些错误的代码。例如：

typedef int (* CMOCK_myPrintf_CALLBACK)(const char* fmt, int cmock_num_calls);
void myPrintf_AddCallback(CMOCK_myPrintf_CALLBACK Callback);
void myPrintf_Stub(CMOCK_myPrintf_CALLBACK Callback);
#define myPrintf_StubWithCallback myPrintf_Stub

甚至，在va_list参数的情况下，生成的代码也无法编译：

void CMockExpectParameters_myVprintf(CMOCK_myVprintf_CALL_INSTANCE* cmock_call_instance, const char* fmt, va_list args)
{
  cmock_call_instance->Expected_fmt = fmt;
  memcpy((void*)(&cmock_call_instance->Expected_args), (void*)(&args),
         sizeof(va_list[sizeof(args) == sizeof(va_list) ? 1 : -1])); /* add va_list to :treat_as_array if this causes an error */
}

有没有办法解决这些问题？