[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

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



2011/6/6 Eric Blake <eblake 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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]