2011/6/6 Eric Blake <ebl...@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

--
libvir-list mailing list
libvir-list@redhat.com
https://www.redhat.com/mailman/listinfo/libvir-list

Reply via email to