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 Note 9007: side effects on right hand of logical operator

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

-emacro((9007),MACRO_CHECK)

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

Answer 1

你应该使用

--emacro((9007),MACRO_CHECK)

请注意-emacro和--emacro之间的差异（取自PC-Lint手册）：

  对于宏表达式，
-emacro（（＃），symbol，...）禁止

- emacro（（＃），symbol，...）禁止整个表达式，   消息＃给出的每个宏符号。预计宏将是   表达式（语法上）。

因此，在大多数情况下，额外的-会执行您想要的操作，但是您应该小心，因为您最终可能会在使用宏的行中抑制消息，而您不想抑制它。< / p>

请考虑以下事项：

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

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

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

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

01234当然是第二个的罪魁祸首。现在如果我按照指出的那样禁用Note 1960：

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

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

LINT从评估中排除宏

1 个答案: