Bug#426713: gcc-4.2: decimal float support (--enable-decimal-float)

[Vincent Lefevre <vincent@vinc17.org>]

Package: gcc-4.2
Version: 4.2-20070528-1
Severity: wishlist

GCC 4.2 has partial support for decimal floating-point types (DFP):

  http://gcc.gnu.org/onlinedocs/gcc/Decimal-Float.html

But it seems that this is not enabled by default. I think that gcc
should be built with --enable-decimal-float to get decimal float
support. Even if the API can change, users still have the choice
to use decimal floating-point types or not. So, there should be
no drawback.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 2.6.18-4-686-bigmem (SMP w/2 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1 (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/bash

Versions of packages gcc-4.2 depends on:
ii  binutils               2.17cvs20070426-8 The GNU assembler, linker and bina
ii  cpp-4.2                4.2-20070528-1    The GNU C preprocessor
ii  gcc-4.2-base           4.2-20070528-1    The GNU Compiler Collection (base 
ii  libc6                  2.5-9             GNU C Library: Shared libraries
ii  libgcc1                1:4.2-20070528-1  GCC support library
ii  libgomp1               4.2-20070528-1    GCC OpenMP (GOMP) support library

Versions of packages gcc-4.2 recommends:
ii  libc6-dev                     2.5-9      GNU C Library: Development Librari
pn  libmudflap0-4.2-dev           <none>     (no description available)

-- no debconf information