[cfe-dev] static analysis - false positive

[Ted Kremenek]

On Sep 8, 2009, at 7:29 AM, Roman Divacky wrote:

> 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

Hi Roman,

This issue is already being tracked by two PRs:

PR 2304
PR 3098

PR 2304 relates to tracking field values, which is a feature that has  
been implemented and is currently being tested.

Ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090908/e485205f/attachment.html>