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. Ian. > > Signed-off-by: George Dunlap <george.dun...@citrix.com> > --- > CC: Ian Jackson <ian.jack...@citrix.com> > CC: Wei Liu <wei.l...@citrix.com> > --- > tools/xentrace/xenalyze.c | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/tools/xentrace/xenalyze.c b/tools/xentrace/xenalyze.c > index 9f8c065..123030a 100644 > --- a/tools/xentrace/xenalyze.c > +++ b/tools/xentrace/xenalyze.c > @@ -7306,6 +7306,7 @@ void sched_runstate_process(struct pcpu_info *p) > } > goto update; > } > + __builtin_unreachable(); > fprintf(stderr, "FATAL: Logic hole in %s\n", __func__); > error(ERR_ASSERT, NULL); > } _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
