This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/51483] [4.7 regression] cstand.adb:Register_Float_Type makes invalid assumptions about FP representation
- From: "mikpe at it dot uu.se" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 01 Feb 2012 12:42:44 +0000
- Subject: [Bug ada/51483] [4.7 regression] cstand.adb:Register_Float_Type makes invalid assumptions about FP representation
- Auto-submitted: auto-generated
- References: <bug-51483-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #9 from Mikael Pettersson <mikpe at it dot uu.se> 2012-02-01 12:42:44 UTC ---
(In reply to comment #8)
> /tmp/gcc-4.7-20110820/gcc/ada -g -O2 -W -Wall -Wwrite-strings
> -Wstrict-prototypes -Wmissing-prototypes -gnatpg -gnata -I-
> /tmp/gcc-4.7-20110820/gcc/ada/ali-util.adb
> scng.adb:1799:47: "SPARK" is undefined
> gnatmake: "/tmp/gcc-4.7-20110820/gcc/ada/ali-util.adb" compilation error
This is a generic problem affecting all cross-builds, caused by r177183. For
instance, a gcc-4.6.2 host gcc fails to build gcc-4.7-20120128 as a cross to
sparc64-linux with the above error, even though native builds on sparc64-linux
have no problems building the same gcc-4.7-20120128 with an even older
gcc-4.4.6 host compiler.
However, in the brief period between r177141 and r177183, applying my tentative
patch did allow a successful build of a gcc-4.7 cross to m68k w/ ada, so I'll
try a native bootstrap with it soonish.