From 51c400f5b8edf0d9c7dd679724fa5114b700cad4 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 4 Aug 2011 10:55:50 +0200 Subject: [PATCH] [multiple changes] 2011-08-04 Robert Dewar * erroutc.adb: Minor reformatting. 2011-08-04 Thomas Quinot * par_sco.adb: Comment update. 2011-08-04 Tristan Gingold * s-flocon.ads: New file. * g-flocon.ads: Now a renaming of s-flocon. * Makefile.rtl: Add s-flocon.o From-SVN: r177336 --- gcc/ada/ChangeLog | 14 +++++++++++ gcc/ada/Makefile.rtl | 1 + gcc/ada/erroutc.adb | 2 +- gcc/ada/g-flocon.ads | 29 +++------------------- gcc/ada/par_sco.adb | 10 +++++--- gcc/ada/s-flocon.ads | 59 ++++++++++++++++++++++++++++++++++++++++++++ 6 files changed, 86 insertions(+), 29 deletions(-) create mode 100644 gcc/ada/s-flocon.ads diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 278186f3966..0bf95191e56 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,17 @@ +2011-08-04 Robert Dewar + + * erroutc.adb: Minor reformatting. + +2011-08-04 Thomas Quinot + + * par_sco.adb: Comment update. + +2011-08-04 Tristan Gingold + + * s-flocon.ads: New file. + * g-flocon.ads: Now a renaming of s-flocon. + * Makefile.rtl: Add s-flocon.o + 2011-08-04 Javier Miranda * exp_strm.adb (Build_Array_Input_Function): if the array type is diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl index 0c8dac0a109..046e5378bf9 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -492,6 +492,7 @@ GNATRTL_NONTASKING_OBJS= \ s-filofl$(objext) \ s-finroo$(objext) \ s-fishfl$(objext) \ + s-flocon$(objext) \ s-fore$(objext) \ s-fvadfl$(objext) \ s-fvaffl$(objext) \ diff --git a/gcc/ada/erroutc.adb b/gcc/ada/erroutc.adb index 4ea4a16b0c0..593b71ceb27 100644 --- a/gcc/ada/erroutc.adb +++ b/gcc/ada/erroutc.adb @@ -21,7 +21,7 @@ -- GNAT was originally developed by the GNAT team at New York University. -- -- Extensive contributions were provided by Ada Core Technologies Inc. -- -- -- --------------------------------------------R----------------------------------- +------------------------------------------------------------------------------ -- Warning! Error messages can be generated during Gigi processing by direct -- calls to error message routines, so it is essential that the processing diff --git a/gcc/ada/g-flocon.ads b/gcc/ada/g-flocon.ads index a7ed1d6a145..a7ab7f6d90f 100644 --- a/gcc/ada/g-flocon.ads +++ b/gcc/ada/g-flocon.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2010, AdaCore -- +-- Copyright (C) 2000-2011, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -31,29 +31,8 @@ -- Control functions for floating-point unit -package GNAT.Float_Control is +-- See file s-flocon.ads for full documentation of the interface - procedure Reset; - -- Reset the floating-point processor to the default state needed to get - -- correct Ada semantics for the target. Some third party tools change - -- the settings for the floating-point processor. Reset can be called - -- to reset the floating-point processor into the mode required by GNAT - -- for correct operation. Use this call after a call to foreign code if - -- you suspect incorrect floating-point operation after the call. - -- - -- For example under Windows NT some system DLL calls change the default - -- FPU arithmetic to 64 bit precision mode. However, since in Ada 95 it - -- is required to provide full access to the floating-point types of the - -- architecture, GNAT requires full 80-bit precision mode, and Reset makes - -- sure this mode is established. - -- - -- Similarly on the PPC processor, it is important that overflow and - -- underflow exceptions be disabled. - -- - -- The call to Reset simply has no effect if the target environment - -- does not give rise to such concerns. +with System.Float_Control; -private - pragma Import (C, Reset, "__gnat_init_float"); - -end GNAT.Float_Control; +package GNAT.Float_Control renames System.Float_Control; diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb index 6c31eab2837..af953771f20 100644 --- a/gcc/ada/par_sco.adb +++ b/gcc/ada/par_sco.adb @@ -987,9 +987,13 @@ package body Par_SCO is procedure Set_Statement_Entry; -- If Start is No_Location, does nothing, otherwise outputs a SCO_Table -- statement entry for the range Start-Stop and then sets both Start - -- and Stop to No_Location. Unconditionally sets Term to True. This is - -- called when we find a statement or declaration that generates its - -- own table entry, so that we must end the current statement sequence. + -- and Stop to No_Location. + -- What are Start and Stop??? This comment seems completely unrelated + -- to the implementation!??? + -- Unconditionally sets Term to True. What is Term??? + -- This is called when we find a statement or declaration that generates + -- its own table entry, so that we must end the current statement + -- sequence. procedure Process_Decisions_Defer (N : Node_Id; T : Character); pragma Inline (Process_Decisions_Defer); diff --git a/gcc/ada/s-flocon.ads b/gcc/ada/s-flocon.ads new file mode 100644 index 00000000000..5741efd90a0 --- /dev/null +++ b/gcc/ada/s-flocon.ads @@ -0,0 +1,59 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- S Y S T E M . F L O A T _ C O N T R O L -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2000-2011, AdaCore -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 3, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. -- +-- -- +-- As a special exception under Section 7 of GPL version 3, you are granted -- +-- additional permissions described in the GCC Runtime Library Exception, -- +-- version 3.1, as published by the Free Software Foundation. -- +-- -- +-- You should have received a copy of the GNU General Public License and -- +-- a copy of the GCC Runtime Library Exception along with this program; -- +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- +-- . -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +-- Control functions for floating-point unit + +package System.Float_Control is + + procedure Reset; + -- Reset the floating-point processor to the default state needed to get + -- correct Ada semantics for the target. Some third party tools change + -- the settings for the floating-point processor. Reset can be called + -- to reset the floating-point processor into the mode required by GNAT + -- for correct operation. Use this call after a call to foreign code if + -- you suspect incorrect floating-point operation after the call. + -- + -- For example under Windows NT some system DLL calls change the default + -- FPU arithmetic to 64 bit precision mode. However, since in Ada 95 it + -- is required to provide full access to the floating-point types of the + -- architecture, GNAT requires full 80-bit precision mode, and Reset makes + -- sure this mode is established. + -- + -- Similarly on the PPC processor, it is important that overflow and + -- underflow exceptions be disabled. + -- + -- The call to Reset simply has no effect if the target environment + -- does not give rise to such concerns. + +private + pragma Import (C, Reset, "__gnat_init_float"); + +end System.Float_Control; -- 2.30.2