[cfe-dev] static analysis - false positive
rdivacky at freebsd.org
Tue Sep 8 07:29:39 PDT 2009
I have this source code with this analysis:
the problem is that at (2) it assumes that devsw->d_flags & D_NEEDGIANT is false
while at (6) it assumes that it's true. this is bogus assumption and thus
the report is false positive
I cannot get a shorter example... can someone take a look at it?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 196 bytes
Desc: not available
More information about the cfe-dev