[multiple changes]

2011-08-04  Yannick Moy  <moy@adacore.com>

	* sem_ch13.adb (Aspect_Loop): when an aspect X and its classwise
	corresponding aspect X'Class are allowed, proceed with analysis of the
	aspect instead of skipping it.

2011-08-04  Tristan Gingold  <gingold@adacore.com>

	* s-flocon.adb, s-flocon.ads: Add a body for s-flocon.ads
	This will allow to have an Ada implementation for the subprogram.

From-SVN: r177341

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6ce0420..e9a5697 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,14 @@
+2011-08-04  Yannick Moy  <moy@adacore.com>
+
+       * sem_ch13.adb (Aspect_Loop): when an aspect X and its classwise
+       corresponding aspect X'Class are allowed, proceed with analysis of the
+       aspect instead of skipping it.
+
+2011-08-04  Tristan Gingold  <gingold@adacore.com>
+
+       * s-flocon.adb, s-flocon.ads: Add a body for s-flocon.ads
+       This will allow to have an Ada implementation for the subprogram.
+
 2011-08-04  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch3.adb (Analyze_Full_Type_Declaration): If the declaration is a

diff --git a/gcc/ada/s-flocon.adb b/gcc/ada/s-flocon.adb
new file mode 100644 (file)
index 0000000..970d556
--- /dev/null
+++ b/gcc/ada/s-flocon.adb
@@ -0,0 +1,47 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT RUN-TIME COMPONENTS                         --
+--                                                                          --
+--                 S Y S T E M . F L O A T _ C O N T R O L                  --
+--                                                                          --
+--                                 B o d y                                  --
+--                                                                          --
+--                       Copyright (C) 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    --
+-- <http://www.gnu.org/licenses/>.                                          --
+--                                                                          --
+-- GNAT was originally developed  by the GNAT team at  New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+--  This implementation calls an imported function.
+
+package body System.Float_Control is
+
+   -----------
+   -- Reset --
+   -----------
+
+   procedure Reset is
+      procedure Init_Float;
+      pragma Import (C, Init_Float, "__gnat_init_float");
+   begin
+      Init_Float;
+   end Reset;
+
+end System.Float_Control;

diff --git a/gcc/ada/s-flocon.ads b/gcc/ada/s-flocon.ads
index c237404..fca271c 100644 (file)
--- a/gcc/ada/s-flocon.ads
+++ b/gcc/ada/s-flocon.ads
@@ -37,6 +37,7 @@ package System.Float_Control is
    --  (eg s-imgrea).
 
    procedure Reset;
+   pragma Inline (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
@@ -55,8 +56,4 @@ package System.Float_Control is
    --
    --  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;

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 0423d61..ffc4723 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -854,7 +854,7 @@ package body Sem_Ch13 is
                      end if;
                   end if;
 
-                  goto Continue;
+                  --  Allowed case of X and X'Class both specified
                end if;
 
                Next (Anod);