26 Mar
2010
26 Mar
'10
7:41 a.m.
--------------000706010609000308080803 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: 7bit
masarati@aero.polimi.it wrote:
Fixed in HEAD; please test. Thanks, p.
The patch works, however gcc with "-Wall -pedantic" complains that according to C standards, behaviour of line like this is undefined.
For maximum portability, it is probably best to increment "i" individually instead, as seen in the attached patch. I apologise for the inconvenience of patching a tiny bug like this in two stages.
The committed patch already contains this change. Please test and report.
Thanks, p.