2011/6/6 Eric Blake <eblake@xxxxxxxxxx>: > 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@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/libvir-list