On 9 Feb 2011, at 21:20, Fred Kiefer wrote: > Hi David, > > I just found a new version of the GUI analysis on your server. Thank you > for doing this! > The first few entries are false positives, but looking at the code I > wish the static analysis was right :-) > > Cheers > Fred
I've now set up some scripts for generating the results, and I'll try to run them every day and post the results here (poke me if I forget, or if I automate it and it stops working): http://theravensnest.org/ In a few cases, the analyser can't tell that a condition is impossible. You can silence these by adding an NSAssert() statement - this is marked as not returning if the condition doesn't hold, so it lets the analyser trim branches (and also gives us more helpful errors if the assertion is wrong). There are also a few attributes that can be used to silence other warnings, documented here: http://clang-analyzer.llvm.org/annotations.html It would be nice if we could add annotations to silence spurious warnings before the next release, so that we can easily see newly introduced analyser warnings. David -- Sent from my IBM 1620 _______________________________________________ Discuss-gnustep mailing list [email protected] http://lists.gnu.org/mailman/listinfo/discuss-gnustep
