[multiple changes]

2014-10-31  Eric Botcazou  <ebotcazou@adacore.com>

	* sem_ch6.adb: Remove obsolete comment.

2014-10-31  Olivier Hainque  <hainque@adacore.com>

	* g-allein.ads: bind vec_sld for pixels to 8hi vsldoi instead
	of 4si, as pixels are short.

2014-10-31  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb (Resolve_Call): Do not reject a call to a protected
	operation in the spec of a protected type, when the call appears
	in a pre/postcondition for another protected operation.

2014-10-31  Tristan Gingold  <gingold@adacore.com>

	* prj-conf.adb: Locate_Runtime: Always search the runtime in
	project path.

2014-10-31  Eric Botcazou  <ebotcazou@adacore.com>

	* inline.adb (Check_Package_Body_For_Inlining): Adjust previous
	change to use correct idiom for back-end inlining.

From-SVN: r216958

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7b9be963e399ccc0499abd3e26e87d81ae97b853..eb8949ca10aef83af38b9687aa1b09dc363c6d1e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,28 @@
+2014-10-31  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch6.adb: Remove obsolete comment.
+
+2014-10-31  Olivier Hainque  <hainque@adacore.com>
+
+       * g-allein.ads: bind vec_sld for pixels to 8hi vsldoi instead
+       of 4si, as pixels are short.
+
+2014-10-31  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb (Resolve_Call): Do not reject a call to a protected
+       operation in the spec of a protected type, when the call appears
+       in a pre/postcondition for another protected operation.
+
+2014-10-31  Tristan Gingold  <gingold@adacore.com>
+
+       * prj-conf.adb: Locate_Runtime: Always search the runtime in
+       project path.
+
+2014-10-31  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * inline.adb (Check_Package_Body_For_Inlining): Adjust previous
+       change to use correct idiom for back-end inlining.
+
 2014-10-31  Ed Schonberg  <schonberg@adacore.com>
 
        * freeze.adb (Freeze_Record_Type): Do not check component size

diff --git a/gcc/ada/g-allein.ads b/gcc/ada/g-allein.ads
index 8007630e3ff5fcd2d878099cb6a18c648973f42e..1346fdd56c56e230427ebd0f0aee19fdb9f6bd82 100644 (file)
--- a/gcc/ada/g-allein.ads
+++ b/gcc/ada/g-allein.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 2004-2009, Free Software Foundation, Inc.         --
+--          Copyright (C) 2004-2014, 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- --
@@ -830,7 +830,7 @@ package GNAT.Altivec.Low_Level_Interface is
       C : c_int) return vector_pixel;
 
    pragma Import
-     (LL_Altivec, vec_sld_vx_vx_cint_r_vx, "__builtin_altivec_vsldoi_4si");
+     (LL_Altivec, vec_sld_vx_vx_cint_r_vx, "__builtin_altivec_vsldoi_8hi");
 
    function vec_sld_vsc_vsc_cint_r_vsc
      (A : vector_signed_char;

diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index 0b9427742f384451d70c0a6a585cd0fe0c366b4a..c06e5cb429c980dbd6d69d7be6dea7e59a452421 100644 (file)
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -1981,7 +1981,9 @@ package body Inline is
       OK    : Boolean;
 
    begin
-      if Front_End_Inlining
+      --  Legacy implementation (relying on frontend inlining)
+
+      if not Back_End_Inlining
         and then Is_Compilation_Unit (P)
         and then not Is_Generic_Instance (P)
       then
@@ -1989,7 +1991,9 @@ package body Inline is
 
          E := First_Entity (P);
          while Present (E) loop
-            if Has_Pragma_Inline (E) then
+            if Has_Pragma_Inline_Always (E)
+              or else (Has_Pragma_Inline (E) and Front_End_Inlining)
+            then
                if not Is_Loaded (Bname) then
                   Load_Needed_Body (N, OK);
 

diff --git a/gcc/ada/prj-conf.adb b/gcc/ada/prj-conf.adb
index 53d29ac5d37feaa3c2733f2f31250b1ab6de9349..b88f1a156597ebe4be7ec50d2f8134f00019a58c 100644 (file)
--- a/gcc/ada/prj-conf.adb
+++ b/gcc/ada/prj-conf.adb
@@ -26,7 +26,6 @@
 with Makeutl;  use Makeutl;
 with MLib.Tgt;
 with Opt;      use Opt;
-with Osint;    use Osint;
 with Output;   use Output;
 with Prj.Env;
 with Prj.Err;
@@ -1553,28 +1552,24 @@ package body Prj.Conf is
      (Language : Name_Id;
       Env      : Prj.Tree.Environment)
    is
-      function Is_Base_Name (Path : String) return Boolean;
-      --  Returns True if Path has no directory separator
+      function Is_RTS_Directory (Path : String) return Boolean;
+      --  Returns True if Path is a directory for a runtime. This simply check
+      --  that Path has a "adalib" subdirectoy, which is a property for
+      --  runtimes on the project path.
 
-      ------------------
-      -- Is_Base_Name --
-      ------------------
+      ----------------------
+      -- Is_RTS_Directory --
+      ----------------------
 
-      function Is_Base_Name (Path : String) return Boolean is
+      function Is_RTS_Directory (Path : String) return Boolean is
       begin
-         for J in Path'Range loop
-            if Is_Directory_Separator (Path (J)) then
-               return False;
-            end if;
-         end loop;
-
-         return True;
-      end Is_Base_Name;
+         return Is_Directory (Path & Directory_Separator & "adalib");
+      end Is_RTS_Directory;
 
       --  Local declarations
 
       function Find_Rts_In_Path is new Prj.Env.Find_Name_In_Path
-        (Check_Filename => Is_Directory);
+        (Check_Filename => Is_RTS_Directory);
 
       RTS_Name : constant String := Runtime_Name_For (Language);
 
@@ -1583,14 +1578,9 @@ package body Prj.Conf is
    --  Start of processing for Locate_Runtime
 
    begin
-      if not Is_Base_Name (RTS_Name) then
-         Full_Path :=
-           Find_Rts_In_Path (Env.Project_Path, RTS_Name);
-
-         if Full_Path = null then
-            Raise_Invalid_Config ("cannot find RTS " & RTS_Name);
-         end if;
+      Full_Path := Find_Rts_In_Path (Env.Project_Path, RTS_Name);
 
+      if Full_Path /= null then
          Set_Runtime_For (Language, Normalize_Pathname (Full_Path.all));
          Free (Full_Path);
       end if;

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 6f28cbf4efa1ae9bee29ac9b41bdece7aab760e1..27e2706f9271acb66b2bbed4b5e898cd44b5ce91 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -3595,8 +3595,7 @@ package body Sem_Ch6 is
                Build_Body_To_Inline (N, Spec_Id);
             end if;
 
-         --  New implementation (relying on backend inlining). Enabled by
-         --  debug flag gnatd.z for testing
+         --  New implementation (relying on backend inlining)
 
          else
             if Has_Pragma_Inline_Always (Spec_Id)

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index c8869d720e492873d090f5e1113bfc4da719aec4..31dfe5fee8d9f92b6cf85f10f75d9ecdcc9b5e01 100644 (file)
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -6022,11 +6022,13 @@ package body Sem_Res is
       end if;
 
       --  A protected function cannot be called within the definition of the
-      --  enclosing protected type.
+      --  enclosing protected type, unless it is part of a pre/postcondition
+      --  on another protected operation.
 
       if Is_Protected_Type (Scope (Nam))
         and then In_Open_Scopes (Scope (Nam))
         and then not Has_Completion (Scope (Nam))
+        and then not In_Spec_Expression
       then
          Error_Msg_NE
            ("& cannot be called before end of protected definition", N, Nam);