今天试了一下用pclint，有两个问题搞不明白

皇家救星

1 在程序里面定义了#define for if (0) {} else for，用pclint检查时总是报
“error 774: (Info -- Boolean within 'if' always evaluates to False”
怎么屏蔽这个错误（想过/*lint -e774*/，但是又怕其它代码出现这种错误）

2 调用assert(memcmp(array_sort, array, array_size) == 0);时，会提示
error 1776: (Info -- Converting a string literal to void * is not const safe (arg. no. 1))
同样，怕其它代码错误不敢屏蔽此类型所有错误，不知怎么单独处理


不知各位使用时有没有碰过这种问题，怎么解决好呢？

gawk

写得代码基本上没有用pclint以及类似的东西检查过

ilex

在#define的末尾加 \\lint  !e774 不知道行不行，（不是在option文件里）

可能不行，

那试试看在使用该宏的每个地方地方都加一个。

2 调用assert(memcmp(array_sort, array, array_size) == 0);时，会提示
修改为assert(memcmp((VOID *)array_sort, array, array_size) == 0);呢？

皇家救星

加了注释还是不行　估计是宏展开时不会把注释也展开

不可能在程序里面每行都加上忽略的，因为for实在用得太多了，并且每个for都加这些注释对代码阅读不利

assert也一样，用了很多，显式转换成void*也不行，主要是assert这个宏展示时会出现 (void *) "memset ..."这样的类型

皇家救星

还是pclint的问题

我看网上说这个工具能检查内存泄漏，但我试了一下，默认的配置似乎不行

int init()
{
g_pstring = new char[LEN];
}

init();init();init();

很明显看出这里面有内存泄露，但是用lint检查不出，不知要怎么配置才行呢？

皇家救星

发现在宏前面写才有效，第一个问题解决了

#define for /*lint -e(777, 506, 774)*/if(0) {} else for

ilex

原帖由 皇家救星 于 2009-3-15 17:36 发表
发现在宏前面写才有效，第一个问题解决了

#define for /*lint -e(777, 506, 774)*/if(0) {} else for

说点题外话，
既然用到了PC-LINT了，肯定不是自己玩的代码了，却又怎么把for给define一遍啊？主要本人太菜，没看到这样#define的优势在哪里。

我learnc

pc-lint手册中讲道，
-e ( #[,#]...) will inhibit message numbers # for the entire express before or within which it is placed. For example :

a = /*lint -e(413) */ *(int *) 0 + *(char *) 0;

这想这个能够解决你的第二个问题

皇家救星

因为vc 6.0的for不符合标准　
在for循环里面定义的变量并不只在循环内部可见，即使在循环外部也是可见的
所以要重定义以适应标准

皇家救星

意思是要在assert宏里面加上这忽略这个错误的参数？

但assert宏不是我定义的，是标准库里面的，修改它修改不是很合适

有其它方法吗？