Re: %a format in tests-ulc*.c

[Bruno Haible]

Hi Paul,

> On 04/19/2017 05:13 AM, Gisle Vanem wrote:
> > With "%.3a %d", I do get the expected "0x1.922p+1 33".
> > So are these tests somewhat gcc-centric or what? 
> 
> Yes. It looks to me like MSVC-2015 is right and glibc is wrong, at least 
> in the sense of acting like standard printf.

I agree that MSVC 14 is right, quoting [1]
  "a, A  ... if the precision is missing and FLT_RADIX is a power of 2,
         then the precision shall be sufficient for an exact representation
         of the value"
This sentence gives an implementation the freedom to append as many zeroes as
it wants.

But the number we print is 3.1416015625 = 3217 / 2^10; therefore no rounding
is involved. Why would you consider the expected result "0x1.922p+1" wrong?

Bruno

[1] http://pubs.opengroup.org/onlinepubs/9699919799/functions/printf.html