This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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

--- Comment #8 from Mikael Pettersson <mikpe at it dot uu.se> 2012-01-30 23:56:33 UTC ---
Created attachment 26524
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26524
pass both precision and storage size to Register_Float_Type

Patch I'm testing.  Works on i686-linux.  Unfortunately all post-20110730
snapshots seem to suffer from additional build failures (for m68k at least) so
I haven't been able to build a cross yet.  The first one I need to figure out
is:

/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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]