返回类型为uint8_t的函数返回4个字节

Question

编辑：解决问题的方法是缺少原型。

当我调用uint8_t foo(uint16_t bar)并将其返回值分配给uint32_t temp时，temp的LSB不仅会被覆盖，而且会被覆盖。这怎么可能呢？编译器是GCC。

主叫代码：

uint32_t temp = 0xAAAAAAAA;
printf("[%x]\n", temp);
temp = foo(me->bar);
printf("[%x]\n", temp);

输出：

[aaaaaaaa]
[4081ff]

这里执行foo的相关部分。

typedef struct CMOCK_foo_CALL_INSTANCE_tag
{
  UNITY_LINE_TYPE LineNumber;
  uint8_t ReturnVal;
  int CallOrder;
  uint16_t Expected_nGoNo;
} CMOCK_foo_CALL_INSTANCE;

uint8_t foo(uint16_t bar)
{
  CMOCK_foo_CALL_INSTANCE* cmock_call_instance =
    (CMOCK_foo_CALL_INSTANCE*)CMock_Guts_GetAddressFor(Mock.foo_CallInstance);
  (...)
  return cmock_call_instance->ReturnVal;
}

Answer 1

确保调用temp = foo(me -> bar);的文件在调用之前包含uint8_t foo(uint16_t bar);函数的原型或完整定义，可以通过#include指令，也可以通过添加文件中较早的原型/定义。

如果没有已经看到的函数签名，编译器将假定签名为int foo();并相应地生成代码。

使用gcc -W -Wall进行编译时，应在隐式函数签名假设时生成警告。