Re: [Xen-devel] [for-4.9 PATCH] xen: credit: change an ASSERT on nr_runnable so that it makes sense.

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Thu, Apr 13, 2017 at 10:42:56AM +0100, Julien Grall wrote:
> Hi Dario,
> 
> On 13/04/17 08:49, Dario Faggioli wrote:
> > Since the counter is unsigned, it's pointless/bogous to check
> > for if to be above zero.
> > 
> > Check that it is at least one before it's decremented, instead.
> > 
> > Spotted by Coverity.
> 
> Do you have the Coverity-ID? :)
> 

Not really. It is XenServer's internal instance.

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