http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #17 from Jeffrey A. Law <law at redhat dot com> --- 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. 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. Thanks, Jeff