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@lists.xen.org http://lists.xen.org/xen-devel
