在你的头文件:
类型定义中断无效(*品脱)(空白);
这个编译就会失败的原因是“中断”是编译器的编译器指令——它不是一个字、一个变量或一个类型。
品脱Polyspace需要看到什么函数指针类型定义工作
类型定义空白(*品脱)(空白);
因此,为了实现这一输入以下的宏观配置> &目标编译器>宏>预处理器定义:
中断=
注意:没有空格之前或之后,或在“中断”和“=”
这个宏设置如上所述,Polyspace将删除所有出现“中断”关键字的源代码。如Polyspace静态代码分析,它可以这样做。
如果你有多个中断函数,删除关键字并不是前进的方式,更多信息,请参阅添加中断Polyspace分析。请通过Polyspace设置相应的源代码文档:文档中,寻找切入点之一。
