[cfe-dev] static analysis - false positive
kremenek at apple.com
Tue Sep 8 10:59:58 PDT 2009
On Sep 8, 2009, at 7:29 AM, Roman Divacky wrote:
> 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
> the report is false positive
> I cannot get a shorter example... can someone take a look at it?
This issue is already being tracked by two PRs:
PR 2304 relates to tracking field values, which is a feature that has
been implemented and is currently being tested.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev