[patch, libgfortran][4.3 regression] PR32554 Bug in P formatting

[Jerry DeLisle]

:ADDPATCH fortran:

Hi all,

The initial problem here is that gfortran was truncating by one with snprintf 
and overflowing the buffer by one with sprintf.  Surprising we were not getting 
an error before enabling snprintf.  Using snprintf uncovered this latent bug.

Investigating further I found that the problem could be avoided by adjusting the 
calculation of the the number of digits, ndigits.  I simply reduced this by one. 
  However, examining the buffer after the calls to snprintf showed that the 
width was varying because the number of exponent digits, edigits, varied.

Exploring this, I tried fixing the size of edigits to see what happens.  I 
discovered that edigits does not need to be calculated at all.  If it is set to 
the largest expected size (4) snprintf (and sprintf) conveniently pads blanks at 
the end anyway.  (The exponent is read back in downstream by atoi)

The result is seriously simplified code which should yield better performance.

Regression tested on x86-64-pc-Gnu/Linux.

Also NIST tested.

NOTE: I tested with sprintf and snprintf on my system by commenting out the 
conditional compiles to make sure both work OK.

I would prefer testing on other platforms such as Darwin.  I will test on 
freebsd tonight.

OK for trunk?  We should probably back port this to 4.2 (though it does not
manifest) since it is a buffer overrun issue.

Regards,

Jerry

2007-06-30  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

	PR libgfortran/32554
	* io/write.c (output_float): Set edigits to a fixed size, avoiding
	variation in field width calculation and eliminate buffer overrun.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fmt_p_1.f90
Type: text/x-fortran
Size: 406 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20070630/48c6a8f7/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr32554-2.diff
Type: text/x-patch
Size: 1275 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20070630/48c6a8f7/attachment-0001.bin>