Re: Next GNUstep releases

[David Chisnall]

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