macros - LINT 从评估中排除宏

Question

我正在使用 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 注释 9007:逻辑运算符右手的副作用

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

-emacro((9007),MACRO_CHECK) 

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

Answer 1

你应该使用

--emacro((9007),MACRO_CHECK)

注意 -emacro 和 --emacro 的区别(摘自 PC-Lint 手册):

-emacro( (#), symbol, ... ) inhibits, for a macro expression,

--emacro( (#), symbol, ... ) inhibits, for the entire expression, message # for each of the macro symbols given. The macros are expected to be expressions (syntactically).

所以附加的 - 在大多数情况下会做你想做的事，但你应该小心，因为你可能最终会在使用宏的行中抑制消息，而这是你不希望的压制。

考虑以下几点:

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

在我的配置中(使用 MISRA 检查的 PC-Lint 9.00j)这将打印我(在很多其他东西之间):

Note[1960]: Violates MISRA C++ 2008 Required Rule 5-14-1, side effects on right hand of logical operator: '&&'

Note[1960]: Violates MISRA C++ 2008 Required Rule 2-13-2, Octal constant used

01234 当然是第二个的罪魁祸首。现在，如果我为宏禁用 Note 1960，如下所示:

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

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