[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 20 Feb 2015 11:57:55 +0000 (12:57 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 20 Feb 2015 11:57:55 +0000 (12:57 +0100)
2015-02-20  Gary Dismukes  <dismukes@adacore.com>

* sem_res.adb: Minor reformatting.

2015-02-20  Vincent Celier  <celier@adacore.com>

* switch-c.adb (Scan_Front_End_Switches): When comparing runtime
path name for several switches --RTS, use the normalized path
names.

2015-02-20  Vincent Celier  <celier@adacore.com>

* bindgen.adb: Minor reformatting and code reorganization.

2015-02-20  Jose Ruiz  <ruiz@adacore.com>

* a-stcoed.ads: Add spec for this package (Unimplemented_Unit).
* impunit.adb (Non_Imp_File_Names_12): Mark unit a-stcoed.ads as
defined by Ada 2012.

From-SVN: r220853

gcc/ada/ChangeLog
gcc/ada/a-stcoed.ads [new file with mode: 0644]
gcc/ada/bindgen.adb
gcc/ada/impunit.adb
gcc/ada/sem_res.adb
gcc/ada/switch-c.adb

index cdaacd253307c6f7482ba7ce21555c47136019bd..c277bb877f7499410e17dca59f79f0e971bcf05c 100644 (file)
@@ -1,3 +1,23 @@
+2015-02-20  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_res.adb: Minor reformatting.
+
+2015-02-20  Vincent Celier  <celier@adacore.com>
+
+       * switch-c.adb (Scan_Front_End_Switches): When comparing runtime
+       path name for several switches --RTS, use the normalized path
+       names.
+
+2015-02-20  Vincent Celier  <celier@adacore.com>
+
+       * bindgen.adb: Minor reformatting and code reorganization.
+
+2015-02-20  Jose Ruiz  <ruiz@adacore.com>
+
+       * a-stcoed.ads: Add spec for this package (Unimplemented_Unit).
+       * impunit.adb (Non_Imp_File_Names_12): Mark unit a-stcoed.ads as
+       defined by Ada 2012.
+
 2015-02-20  Arnaud Charlet  <charlet@adacore.com>
 
        * sysdep.c, expect.c, s-oscons-tmplt.c, gsocket.h, adaint.c: Remove
diff --git a/gcc/ada/a-stcoed.ads b/gcc/ada/a-stcoed.ads
new file mode 100644 (file)
index 0000000..a6436ff
--- /dev/null
@@ -0,0 +1,31 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT RUN-TIME COMPONENTS                         --
+--                                                                          --
+--      A D A . S Y N C H R O N O U S _ T A S K _ C O N T R O L . E D F     --
+--                                                                          --
+--                                 S p e c                                  --
+--                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT.  In accordance with the copyright of that document, you can freely --
+-- copy and modify this specification,  provided that if you redistribute a --
+-- modified version,  any changes that you have made are clearly indicated. --
+--                                                                          --
+------------------------------------------------------------------------------
+
+--  This unit is not implemented in typical GNAT implementations that lie on
+--  top of operating systems, because it is infeasible to implement in such
+--  environments.
+
+--  If a target environment provides appropriate support for this package,
+--  then the Unimplemented_Unit pragma should be removed from this spec and
+--  an appropriate body provided.
+
+package Ada.Synchronous_Task_Control.EDF is
+
+   pragma Unimplemented_Unit;
+
+   procedure Suspend_Until_True_And_Set_Deadline
+      (S  : in out Suspension_Object;
+       TS :        Ada.Real_Time.Time_Span);
+end Ada.Synchronous_Task_Control.EDF;
index 9f4f105dddd3f0f0d7c638b3dc0402c20a75a612..b3589d4f8e42298a675dd7e8d9496ea0750b7c10 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2014, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
 --                                                                          --
 -- 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- --
@@ -1992,6 +1992,21 @@ package body Bindgen is
          end loop;
       end if;
 
+      if not (Opt.No_Run_Time_Mode or Opt.No_Stdlib) then
+         Name_Len := 0;
+
+         if Opt.Shared_Libgnat then
+            Add_Str_To_Name_Buffer ("-shared");
+         else
+            Add_Str_To_Name_Buffer ("-static");
+         end if;
+
+         --  Write directly to avoid inclusion in -K output as -static and
+         --  -shared are not usually specified linker options.
+
+         WBI ("   --   " & Name_Buffer (1 .. Name_Len));
+      end if;
+
       --  Sort linker options
 
       --  This sort accomplishes two important purposes:
@@ -2050,18 +2065,6 @@ package body Bindgen is
       --  linking (not clear if this is still the case, but it is harmless).
 
       if not (Opt.No_Run_Time_Mode or else Opt.No_Stdlib) then
-         Name_Len := 0;
-
-         if Opt.Shared_Libgnat then
-            Add_Str_To_Name_Buffer ("-shared");
-         else
-            Add_Str_To_Name_Buffer ("-static");
-         end if;
-
-         --  Write directly to avoid -K output (why???)
-
-         WBI ("   --   " & Name_Buffer (1 .. Name_Len));
-
          if With_GNARL then
             Name_Len := 0;
 
@@ -2923,7 +2926,7 @@ package body Bindgen is
          end if;
       end Check_Package;
 
-   --  Start of processing for Check_Package
+   --  Start of processing for Resolve_Binder_Options
 
    begin
       for E in Elab_Order.First .. Elab_Order.Last loop
index 5b8676e7b0b628f6b9bc350797f7af7ee27b32c5..d59704f500aa31963b1cc8ebf66ac9a2c08c6fd4 100644 (file)
@@ -575,6 +575,7 @@ package body Impunit is
     ("a-extiin", T),  -- Ada.Execution_Time.Interrupts
     ("a-iteint", T),  -- Ada.Iterator_Interfaces
     ("a-locale", T),  -- Ada.Locales
+    ("a-stcoed", T),  -- Ada.Synchronous_Task_Control.EDF
     ("a-synbar", T),  -- Ada.Synchronous_Barriers
     ("a-undesu", T),  -- Ada.Unchecked_Deallocate_Subpool
 
index d5038ee59adc443bea7e8d8b9bb8e92d9da21c14..de6cef94d768c10b3563e98dc240d13a59306448 100644 (file)
@@ -10714,9 +10714,9 @@ package body Sem_Res is
             Target : Entity_Id := Target_Typ;
 
          begin
-            --  If the type of the operand is a limited view, use the non-
-            --  limited view when available. If it is a class-wide type,
-            --  recover class_wide type of the non-limited view.
+            --  If the type of the operand is a limited view, use nonlimited
+            --  view when available. If it is a class-wide type, recover the
+            --  class-wide type of the nonlimited view.
 
             if From_Limited_With (Opnd) then
                if Ekind (Opnd) in Incomplete_Kind
@@ -11811,7 +11811,7 @@ package body Sem_Res is
             return True;
 
          --  If the operand is a class-wide type obtained through a limited_
-         --  with clause, and the context includes the non-limited view, use
+         --  with clause, and the context includes the nonlimited view, use
          --  it to determine whether the conversion is legal.
 
          elsif Is_Class_Wide_Type (Opnd_Type)
@@ -12299,7 +12299,7 @@ package body Sem_Res is
             end if;
          end if;
 
-         --  In the presence of limited_with clauses we have to use non-limited
+         --  In the presence of limited_with clauses we have to use nonlimited
          --  views, if available.
 
          Check_Limited : declare
index c3b57335a30a18585e71a6e156daa9a6a1361c89..b431081ba508581199174fc72b5a6b632354a6d9 100644 (file)
@@ -214,7 +214,6 @@ package body Switch.C is
             else
                declare
                   Runtime_Dir : String_Access;
-
                begin
                   if System.OS_Lib.Is_Absolute_Path
                        (Switch_Chars (Ptr + 4 .. Max))
@@ -243,7 +242,11 @@ package body Switch.C is
                   if RTS_Specified /= null then
                      if RTS_Src_Path_Name = null
                        or else RTS_Lib_Path_Name = null
-                       or else RTS_Specified.all /= RTS_Lib_Path_Name.all
+                       or else
+                         System.OS_Lib.Normalize_Pathname
+                           (RTS_Specified.all) /=
+                         System.OS_Lib.Normalize_Pathname
+                           (RTS_Lib_Path_Name.all)
                      then
                         Osint.Fail
                           ("--RTS cannot be specified multiple times");