Re: [PATCH 5/7] libxc: Removing dead code from xc_dom_allocate()

[Ian Campbell <ian.campbell@citrix.com>]

On Fri, 2015-07-03 at 16:24 +0100, Ian Jackson wrote:
> Jennifer Herbert writes ("[Xen-devel] [PATCH 5/7] libxc: Removing dead code from xc_dom_allocate()"):
> > The only place that jumps to 'err:' does so because !dom, which is
> > rechecked in 'err:'.  This patch simplifies, giving the same result.
> 
> I'm not particularly convinced by this change, but maybe Ian Campbell
> disagrees.
> 
> I presume that your Coverity instance is complaining about the fact
> that the if (dom) clause's test is always false.  This is true with
> the current code, but if this function were to gain any other code it
> might stop being true and the first thing to do to get a good error
> handling pattern would be to revert this patch.

I briefly thought something like this but decided it was under my
threshold for worrying about.

> However: If we're doing teh `initialise everything; single goto for
> error paths; dispose of everything' error handling pattern, dom ought
> to be initialised to NULL.
> 
> Ian C, what do you think ?
> 
> Thanks,
> Ian.