问获取与win32整数后缀一起工作的拼板
EN

Stack Overflow用户

提问于 2017-09-20 12:08:47

回答 1查看 66关注 0票数 2

对于使用windows编译器似乎使用的指定大小后缀的系统头文件，Splint遇到分析错误。因此，splint无法解析包含0xffui8 (其中ui8表示8位无符号整数)这样的表达式的文件。我如何配置splint来解决这个问题？

更广泛的背景:我正在尝试让splint与WinDDK 7600.16385.1一起工作。带有示例的文件是intsafe.h。

发布于 2017-09-26 13:17:40

我所做的非常糟糕的解决方案是将有问题的文件复制到另一个目录中，编辑它们以删除拼板问题，然后配置拼板在WinDDK...\inc目录中的文件之前使用它们。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/46313135

复制

相似问题

问获取与win32整数后缀一起工作的拼板EN