c - 让夹板与 win32 整数后缀一起工作

Question

Splint 遇到使用 Windows 编译器似乎使用的大小指定后缀的系统头文件的解析错误。所以夹板无法解析包含类似表达式的文件0xffui8（其中 ui8 表示 8 位的无符号整数）。如何配置夹板来解决这个问题？

更广泛的背景：我试图让夹板与 WinDDK 7600.16385.1 一起工作。带有示例的文件是intsafe.h.

Answer 1

我所做的极其蹩脚的解决方案是将有问题的文件复制到另一个目录，对其进行编辑以删除夹板问题，然后将夹板配置为在 WinDDK...\inc 目录中的文件之前使用它们。