LINT 从评估中排除宏答案

【问题标题】：LINT exclude macro from evaluationLINT 从评估中排除宏
【发布时间】：2014-08-21 14:44:43
【问题描述】：

我正在使用 LINT 检查自动生成的 C 源文件。在这些源文件中使用了这些宏（简化）：

#define MACRO_CHECK(a, b, c) \ 
   ((a==b) ? b : (SET_VAR, c))

#define SET_VAR \
   global_var = 0 \

在代码中，这些宏是这样使用的：

if ( (x==0) && (MACRO(var1,var2,var3)==0) )
{
    //...
}

我的 LINT 分析给了我以下信息：

LINT Note 9007: side effects on right hand of logical operator

由于我的宏正在向全局变量写入值，因此 LINT 消息本身是合理的。但是，由于架构原因，我知道我可以忽略此消息 - 因此，我想从检查 Note 9007 中排除宏。由于我使用自动代码生成，我很难将我的 LINT-cmets（禁用 Lint 消息）注入源文件的正确位置。一种更简洁的方法是，将宏从我的 LINT-Ruleset 的检查中排除。所以我尝试将以下行添加到我的 LINT 规则集中：

-emacro((9007),MACRO_CHECK)

但是，这并不能解决问题，因为它从检查中排除了宏本身的代码，但它不包括逻辑运算符 &&，因此它仍然给我注 9007。有什么方法可以禁用与我的宏相关的所有消息的错误？

【问题讨论】：

标签： macros static-analysis lint pc-lint

【解决方案1】：

你应该使用

--emacro((9007),MACRO_CHECK)

注意-emacro和--emacro之间的区别（摘自PC-Lint手册）：

-emacro( (#), symbol, ... ) 禁止，对于宏表达式，

--emacro( (#), symbol, ... ) 禁止，对于整个表达式，给定的每个宏符号的消息#。宏预计为表达式（句法）。

因此，在大多数情况下，额外的 - 会满足您的需求，但您应该小心，因为您可能最终会在使用宏的行中隐藏消息，而您不想隐藏这些消息。

考虑以下几点：

if ( (x==0) && (MACRO_CHECK(var1,var2,var3)==0) && ((01234) == 0x1234) )
{
    //...
}

在我的配置中（PC-Lint 9.00j 使用 MISRA-checks）这将打印我（在很多其他东西之间）：

注意[1960]：违反 MISRA C++ 2008 要求的规则 5-14-1，逻辑运算符右侧的副作用：'&&'

注意[1960]：违反 MISRA C++ 2008 要求的规则 2-13-2，使用八进制常量

01234 当然是第二个的罪魁祸首。现在，如果我按照以下说明禁用宏的 Note 1960：

//lint --emacro((1960),MACRO_CHECK)

两条消息都消失了，在这种情况下，这是不希望的。

【讨论】：