Re: frexpl bugs remain on OS X 10.5 intel

[Bruno Haible]

Gary V. Vaughan wrote:
> > Can you run the test program mentioned in [2]?
> 
> Sure:
> 
> $ gcc -o testfrexpl testfrexpl.c
> $ ./testfrexpl
> -16384 0.5
...
> checking whether frexpl works... yes

Sorry, this makes no sense to me. The testfrexpl.c test is nearly literally
contained in the "whether frexpl works" check.

Can you verify that the configure file, when doing the "whether frexpl works"
check, runs a program that includes the
  /* Test on denormalized numbers.  */
section?

If yes, then it's time to compare the gcc option with which one and the
other programs were compiled.
  $ grep CC config.status
  $ grep CFLAGS config.status
  $ grep CPPFLAGS config.status

> I believe that is 64 bit mode, unless I'm just falling for the hype...

Belief is not something we can build on here. Can you test it, please?
  $ touch empty.c
  $ gcc -E -dM empty.c | grep 86

Bruno