Re: [Xen-devel] [PATCH v4 08/34] vmap: Make the while loop less fishy.

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 15.03.16 at 20:33, <andrew.cooper3@xxxxxxxxxx> wrote:
> On 15/03/16 17:56, Konrad Rzeszutek Wilk wrote:
>> It looks like it could underflow at first glance. That is
>> if i is zero and you get in the while loop with the
>> i--. However the postfix expression is evaluated after the
>> conditional so the loop is fine and won't execute (with i==0).
>>
>> However in spirit of defense programming lets clarify
>> the loop conditional.
>>
>> Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx>
> 
> Reviewed-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
> 
> This looks as if it will quieten Coverity, even though it is no
> functional change.

Quieten Coverity? In what way? And why would it complain in
the first place? As just in reply to Konrad, this is well defined
behavior.

Jan


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