-----Original Message-----
From: Paolo Bonzini [mailto:address@hidden On Behalf Of Paolo
Bonzini
Sent: Tuesday, May 27, 2014 9:34 PM
To: Gonglei (Arei); address@hidden
Cc: address@hidden; address@hidden; Huangweidong (C);
address@hidden; address@hidden; Luonengjun; address@hidden;
address@hidden; address@hidden; address@hidden;
address@hidden; address@hidden; address@hidden;
address@hidden; address@hidden
Subject: Re: [PATCH 1/8] vnc-enc-tight: Fix divide-by-zero in
tight_detect_smooth_image{16, 24, 32}
Il 27/05/2014 03:39, address@hidden ha scritto:
(1) Event assignment: Assigning: "pixels" = "0".
(2) Event cond_true: Condition "y < h", taking true branch
(3) Event cond_false: Condition "x < w", taking false branch
(4) Event loop_end: Reached end of loop
(5) Event divide_by_zero: In expression "(stats[0] + stats[1]) * 100U /
pixels",
division by expression "pixels" which may be zero has undefined behavior.
I'm quite sure that this cannot happen (h and w must be > 0) but it
doesn't hurt.