On Fri, Aug 08, 2014 at 09:45:09AM +0200, Pino Toscano wrote:
Unless, of course, the analyser has some override to know that.
Coverity is quite flexible and allows you to add "models" for various
things, even when the code itself is wrong or has missing attributes
as in this case.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v