Clang scan-build output

[Maxim Dounin]

Hello!

On Wed, Nov 04, 2009 at 02:59:01PM -0800, Akins, Brian wrote:

> Output from the clang static analyzer ( http://clang-analyzer.llvm.org/ )
> for nginx-0.7.63
> 
> http://www.akins.org/scan-build-2009-11-04-1/index.html

Intresting, thanks.  I've played with clang a bit, but haven't 
tried it's static analyzer yet.  This one:

http://www.akins.org/scan-build-2009-11-04-1/report-E52fnq.html#EndPath

seems to be real bug (though really rare one, may happen only on 
low memory conditions during configuration parsing and only when 
close() call returned error for some reason).

Unfortunately others looks like false positives.  I've tried it on 
debug build and this eliminated some dead assignments reported, 
but introduced null pointer dereference false positives in code 
working with queues.  Probably adding some assert()'s will make 
nginx's code a bit more analyzer friendly...

Maxim Dounin