nLint很不靠谱，还是我用得有问题？

大家有没有遇到过明明有规则违反，但nLint不报出来的情况?
我遇到过2次。
一次是例化模块时输入端口根本没写，悬空了。
nLint的规则25001我肯定选上了，结果nLint没报Signal with No Driver错误。
还好后来看verdi的schematic时正好让我看到了。
一次是下面这句话：
sar_match=(SAR==shift_in_reg[5:0]);
其中SAR的宽度是6:0，shift_in_reg的宽度是7:0。
这句话显然存在位宽不匹配的问题，nLint也没报。
想请问下大家有没有遇到过这种情况?
还是我用得不对啊?
我用的是nLint2011.10版，规则集用的就是默认自带的规则集。

我的也是哎，求解