--------------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.