[libvirt] [PATCH] storage_backend.c: assure clang that inputvol can't be NULL

Daniel P. Berrange berrange at redhat.com
Thu Sep 3 10:31:27 UTC 2009


On Thu, Sep 03, 2009 at 11:18:00AM +0200, Jim Meyering wrote:
> clang was complaining that a NULL inputvol would be dereferenced
> in that "could not open..." diagnostic.
> 
> Since the two sole callers of this function are careful
> to call it only when inputvol is non-NULL, this is a good
> case for giving the parameter the nonnull attribute:

ACK. 

BTW, how exactly are you getting all these warnings/diagnostics ?
Are you merely compiling libvirt using clang & just collecting
the warnings, or is this some special static analysis tool ?

If we're going to start adding these non-null attributes, then 
I should hook the appropriate tool into autobuild.sh to validate
them regularly.

Regards,
Daniel
-- 
|: Red Hat, Engineering, London   -o-   http://people.redhat.com/berrange/ :|
|: http://libvirt.org  -o-  http://virt-manager.org  -o-  http://ovirt.org :|
|: http://autobuild.org       -o-         http://search.cpan.org/~danberr/ :|
|: GnuPG: 7D3B9505  -o-  F3C9 553F A1DA 4AC2 5648 23C1 B3DF F742 7D3B 9505 :|




More information about the libvir-list mailing list