C语言 带有Ceedling的编译器标志定义

Question

我有嵌入式系统项目，我正在用Ceedling (=Unity和Cmock)进行测试。

在一个测试用例中，被测试的代码是这么简单的:

uint32_t zero = eeprom_read_dword((uint32_t*)&non_volatile_zero);
sprintf(output, "%lu", zero);

由于嵌入式系统是8位体系结构，在sprintf中必须使用%lu来格式化32位unsigned int进行打印。但是，桌面环境(GCC)用于测试构建和测试运行(并且不能使用嵌入式构建进行测试)。这会导致下一个警告:

warning: format ‘%lu’ expects argument of type ‘long unsigned int’, but argument 3 has type ‘uint32_t’ {aka ‘unsigned int’} [-Wformat=]
62          sprintf(output, "%lu", zero);
~~^   ~~~~
|   |
|   uint32_t {aka unsigned int}
long unsigned int
%u

警告本身在桌面环境中是正确的，但从嵌入式系统的角度来看是误报。

我的问题是如何为测试构建设置- wno -格式编译器标志，因为我没有在项目中定义工具部分。使用默认的GCC吗?或者甚至有一种方法可以告诉ceedling目标系统正在使用8位体系结构?

Answer 1

如果有人碰巧搜索原始问题的答案，这里有一个解决方案，如何为指定的源文件添加编译器标志，而不需要在project.yml中定义整个工具部分:

# Adds -Wno-format for sourcefile.c
:flags:
:test:
:compile:
:sourcefile: # use :*: for all sources.
- -Wno-format

Answer 2

与其寻找一种方法来禁用警告，不如处理警告所涉及的问题。也就是说，使用inttypes.h中的可移植格式说明符。这些是在打印stdint.h类型时最正确使用的。

#include <inttypes.h>
sprintf(output, "%"PRIu32, zero);