如何抑制PC-Lint Note 970的int main(空)功能？

Question

我有一个带有ANSI C代码的控制台应用程序。主函数定义类似于：

int main(void)
{
    // do stuff
    return 0;
}

然而，PC-Lint为int类型报告了以下消息

注970:在2012年指示4.6之外使用修饰语或类型int⁢，咨询

我需要保留主函数的int类型和Note 970。因此，我希望仅为主要函数定义而抑制Note 970。我不想把//lint !e970放在源代码上。

我想知道是否有可能抑制这条消息仅用于定义主要功能与PC-Lint选项。

Answer 1

你的工具坏了，向PC Lint报告一个错误。

引用MISRA-C:2012指令4.6：

例外情况： 对于函数main，可以使用int而不是类型防御作为返回类型。因此，int main (void)是允许的。