[Bug ada/51483] [4.7/4.8 regression] cstand.adb:Register_Float_Type makes invalid assumptions about FP representation

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483

--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-04 07:15:31 UTC ---
> Can't build Ada/gnat-4.7 on Ubuntu 12.10 because of SPARK issue, although there
> are long and complicated directions for how to build Ada/gnat-4.7 on Ubuntu,
> some work and some don't.  Per GNU standards, the build system should be
> changed so that it's possible to build gnat-4.7 with gnat-4.6. Also, if a
> native compiler of the same version number must be built to build gnat, then
> the build system should (but fails to) automatically build the native version
> first, then use that to build the cross compiler.

This PR has nothing to do with the build system though.