On Sun, Jun 03, 2007 at 02:41:57PM +0200, Gerald Pfeifer wrote: > On Sun, 3 Jun 2007, Ben Elliston wrote: > >> Are they mentioned in any gcc changes.html? > > No, they're not. They probably should be. > > Do you think we could talk the submitters/maintainers into donating a > patch? :-)
Support for the decimal floating point C extension could be mentioned in the release notes for GCC 4.2, but there it's only supported for powerpc*-linux and x86*-linux and only if requested at configure time. The ABI for powerpc*-linux has changed since then, and the representation will (has?) changed for x86*-linux. Is this worth documenting for 4.2? Janis