static analysis - false positive

Clang Frontend
1

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

2

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