<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Sep 8, 2009, at 7:29 AM, Roman Divacky wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hi<br><br>I have this source code with this analysis:<br><br><span class="Apple-tab-span" style="white-space:pre"> </span><a href="http://vlakno.cz/~rdivacky/scan-build-2009-09-08-1/report-B3CyQm.html#EndPath">http://vlakno.cz/~rdivacky/scan-build-2009-09-08-1/report-B3CyQm.html#EndPath</a><br><br><br>the problem is that at (2) it assumes that devsw->d_flags & D_NEEDGIANT is false<br>while at (6) it assumes that it's true. this is bogus assumption and thus<br>the report is false positive<br><br>I cannot get a shorter example... can someone take a look at it?<br><br>thnx!<br><br>roman</div></blockquote><br></div><div>Hi Roman,</div><div><br></div><div>This issue is already being tracked by two PRs:</div><div><br></div><div>PR <a href="http://llvm.org/bugs/show_bug.cgi?id=2304">2304</a></div><div>PR <a href="http://llvm.org/bugs/show_bug.cgi?id=3098">3098</a></div><div><br></div><div>PR 2304 relates to tracking field values, which is a feature that has been implemented and is currently being tested.</div><div><br></div><div>Ted</div></body></html>