[PATCH] ADA float misbehavior

[jerome duquennoy]

Hi,

This patch solves the bug #35194 (http://gcc.gnu.org/bugzilla/ 
show_bug.cgi?id=35194).

It has been tested on the configuration on which the problem appeared  
(Linux 2.6.13, linking to oracle10's lib), and found to fix the problem.
It was created for rev#133141 (head at that time).
It is the first time I submit a patch, I hope the format is correct.

2008-03-12	Jerome Duquennoy <jerome.duquennoy@wanadoo.fr>

	init.c : linux added to the list of platforms that needs an FPU reset

--- gcc/ada/init.c.old	2008-03-12 15:03:16.000000000 +0100
+++ gcc/ada/init.c	2008-03-12 14:57:04.000000000 +0100
@@ -1991,7 +1991,7 @@

  #if defined (_WIN32) || defined (__INTERIX) || defined (__EMX__) \
    || defined (__Lynx__) || defined(__NetBSD__) || defined 
(__FreeBSD__) \
-  || defined (__OpenBSD__)
+  || defined (__OpenBSD__) || defined(linux)

  #define HAVE_GNAT_INIT_FLOAT


Jérôme Duquennoy
------------------------------------------------------------------------ 
---------------------------------------------------------
clef GPG : http://jerome.duquennoy.fr/gpg/jduquennoy.gpg
md5 : c0ff5a8bca033eade512374db18ecb38