3

我正在使用 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-注释（禁用 Lint 消息）到源文件的正确位置。一种更简洁的方法是，将宏从我的 LINT-Ruleset 的检查中排除。所以我尝试将以下行添加到我的 LINT 规则集中：

-emacro((9007),MACRO_CHECK)

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

4

1 回答 1

2

你应该使用

--emacro((9007),MACRO_CHECK)

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

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

--emacro( (#), symbol, ... ) 为整个表达式禁止给定每个宏符号的消息 #。宏应该是表达式（在语法上）。

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

考虑以下：

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

在我的配置（使用 MISRA 检查的 PC-Lint 9.00j）上，这将打印我（在许多其他内容之间）：

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

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

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

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

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

于 2015-01-27T13:28:41.217 回答