http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #18 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Eric, there's an updated patch in c#8 which reportedly fixes the problem by > passing both the precision and storage size of Register_Float_Type. Right, this is the way to go. > I'm nowhere near versed enough in Ada to know if Mikael's on the right track > with that patch. It's been sitting there for ~2 years now ;( > > The SPARK issues in c#14 is separate and we should probably create a > distinct BZ for that since I believe it completely stands in the way > bootstrapping Ada on platforms without a functional Ada compiler. > > If you could help move along these issues, it'd be appreciated. Geert, could you have a look at the patch?
