[libvirt] [PATCH 06/12] uuid: annotate non-null requirements

Matthias Bolte matthias.bolte at googlemail.com
Tue Jun 7 13:39:42 UTC 2011


2011/6/6 Eric Blake <eblake at redhat.com>:
> Coverity already saw through a NULL dereference without these
> annotations, and gcc is still too puny to do good NULL analysis.
> But clang still benefits (and is easier to run than coverity),
> not to mention that adding this bit of documentation to the code
> may help future developers remember the constraints.
>
> * src/util/uuid.h (virGetHostUUID, virUUIDFormat): Document
> restrictions, for improved static analysis.
> ---
>  src/util/uuid.h |    8 +++++---
>  1 files changed, 5 insertions(+), 3 deletions(-)

ACK.

Matthias




More information about the libvir-list mailing list