Re: [Xen-devel] [PATCH v10 10/11] libxl/xl: make it possible to specify soft-affinity in domain config file

[Dario Faggioli <dario.faggioli@xxxxxxxxxx>]

On ven, 2014-06-27 at 13:47 +0100, Ian Campbell wrote:
> On Fri, 2014-06-20 at 18:20 +0200, Dario Faggioli wrote:
> > +        /*
> > +         * If buf2 is not initialized above, gcc >= 4.9.0 complains with
> > +         * a '[-Werror=maybe-uninitialized]'. That can't happen, though, 
> > since
> > +         * we use buf2 only if buf is NULL, and if we are here and buf is 
> > NULL,
> > +         * it means buf2 is non-NULL, and contains the j-eth element of the
> > +         * list, as per the condition of the while().
> 
> You state that buf2 is non NULL only if buf is NULL (buf2 != NULL => buf
> == NULL). But the logic here is based on the inverse (buf == NULL =>
> buf2 != NULL).
> 
> I haven't read the code carefully to decide if you actually meant "we
> use buf2 only iff buf is NULL".
> 
BTW, in v11, I changed the code just enough to not need a second buffer,
and this kind of spurious initialization any longer.

I am convinced it was logically ok, but did not like it much myself.

Regards,
Dario
-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel