Splint遇到一个系统头文件的解析错误，该文件使用windows编译器似乎使用的指定后缀的大小因此splint无法解析包含类似0xffui8的表达式的文件（其中ui8表示8位的无符号整数）我如何配置夹板来解决这个问题？
更广泛的背景：我试图让splint与Windk7600.16385.1一起工作带有示例的文件是intsafe.h。
最佳答案
我做的非常糟糕的解决方案是将有问题的文件复制到另一个目录，编辑它们以删除splint问题，然后将splint配置为在windk…\inc目录中的文件之前使用它们。
关于c - 使夹板与Win32整数后缀一起使用，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/46313135/