[cfe-dev] static analysis - false positive

[Roman Divacky]

Hi

I have this source code with this analysis:

	http://vlakno.cz/~rdivacky/scan-build-2009-09-08-1/report-B3CyQm.html#EndPath


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?

thnx!

roman

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 196 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090908/6835be1c/attachment.sig>