Re: [Xen-devel] [PATCH 4/8] tools/xenalyze: Mark unreachable code as unreachable

[George Dunlap <george.dunlap@xxxxxxxxxx>]

On 25/02/16 15:03, Ian Campbell wrote:
> On Thu, 2016-02-25 at 14:48 +0000, George Dunlap wrote:
>> ...so that coverity knows it's unreachable.
> 
> I would not be surprised if Coverity starts complaining about the dead code
> once this is in place. fprintf + abort is probably what would be wanted to
> placate it in this case.

Hrm -- it would be nice to have a way to figure out what coverity likes
without having to actually check something into the tree...

 -George


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