[multiple changes]

2004-04-23  Emmanuel Briot  <briot@act-europe.fr>

	* adaint.c (__gnat_try_lock): No longer requires that the parent
	directory be writable, the directory itself is enough.
	(gnat_is_absolute_path): Change profile, so that the call from
	GNAT.OS_Lib can be made more efficient.

	* adaint.h (gnat_is_absolute_path): Change profile, so that the call
	from GNAT.OS_Lib can be made more efficient.

	* g-os_lib.adb (Is_Absolute_Path): More efficient implementation, avoid
	one copy of the file name. Found by code reading.

2004-04-23  Vincent Celier  <celier@gnat.com>

	* gnat_ugn.texi: Add documentation for gnatmake switch -eL
	Correct documentation on gnatmake switches transmitted to the compiler

	* ali.ads: Minor comment fix

2004-04-23  Javier Miranda  <miranda@gnat.com>

	* sem_ch6.adb: (Confirming Types): Code cleanup

	* decl.c (gnat_to_gnu_entity): Give support to anonymous access to
	subprogram types: E_Anonymous_Access_Subprogram_Type and
	E_Anonymous_Access_Protected_Subprogram_Type.

2004-04-23  Thomas Quinot  <quinot@act-europe.fr>

	* sem_dist.adb: Add a new paramter to the RAS_Access TSS indicating
	whether a pragma All_Calls_Remote applies to the subprogram on which
	'Access is taken.
	No functional change is introduced by this revision; the new parameter
	will be used to allow calls to local RCI subprograms to be optimized
	to not use the PCS in the case where no pragma All_Calls_Remote applies,
	as is already done in the PolyORB implementation of the DSA.

	* exp_dist.adb: Add a new paramter to the RAS_Access TSS indicating
	whether a pragma All_Calls_Remote applies to the subprogram on which
	'Access is taken.
	No functional change is introduced by this revision; the new parameter
	will be used to allow calls to local RCI subprograms to be optimized
	to not use the PCS in the case where no pragma All_Calls_Remote applies,
	as is already done in the PolyORB implementation of the DSA.

2004-04-23  Robert Dewar  <dewar@gnat.com>

	* Makefile.rtl: Add entry for s-addope.o in run time library list
	* Make-lang.in: Add entry for s-addope.o to GNAT1 objects
	* s-addope.ads, s-addope.adb: New files.

	* s-carsi8.adb, s-carun8.adb, s-casi16.adb, s-casi32.adb,
	s-casi64.adb, s-caun16.adb, s-caun32.adb, s-caun64.adb,
	s-finimp.adb, s-geveop.adb, s-stoele.adb: Modifications to allow
	System.Address to be non-private and signed.

	* sem_elim.adb: Minor reformatting (fairly extensive)
	Some minor code reorganization from code reading
	Add a couple of ??? comments

2004-04-23  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

	* trans.c (tree_transform, build_unit_elab): Don't call getdecls.
        (tree_transform, case N_If_Statement): Remove non-determinism.

	* utils.c (begin_subprog_body): Just set DECL_CONTEXT in PARM_DECL.

2004-04-23  Sergey Rybin  <rybin@act-europe.fr>

	* gnat_rm.texi: Small fixes in the changes made in the 'pragma
	Eliminate' section.

	* snames.ads, snames.adb: Remove Name_Homonym_Number (Homonym_Number is
	no longer used as a parameter name for Eliminate pragma).

From-SVN: r81086

1 files changed, 37 insertions, 29 deletions

diff --git a/gcc/ada/sem_elim.adb b/gcc/ada/sem_elim.adb
index 3117549..6c05610 100644
--- a/gcc/ada/sem_elim.adb
+++ b/gcc/ada/sem_elim.adb
@@ -264,10 +264,9 @@ package body Sem_Elim is
          return;
       end if;
 
-      Elmt := Elim_Hash_Table.Get (Chars (E));
-
       --  Loop through homonyms for this key
 
+      Elmt := Elim_Hash_Table.Get (Chars (E));
       while Elmt /= null loop
          declare
             procedure Set_Eliminated;
@@ -354,7 +353,7 @@ package body Sem_Elim is
                Set_Eliminated;
                return;
 
-               --  Check for case of subprogram
+            --  Check for case of subprogram
 
             elsif Ekind (E) = E_Function
               or else Ekind (E) = E_Procedure
@@ -366,7 +365,7 @@ package body Sem_Elim is
 
                   declare
                      Sloc_Trace : constant String :=
-                       Name_Buffer (1 .. Name_Len);
+                                    Name_Buffer (1 .. Name_Len);
 
                      Idx : Natural := Sloc_Trace'First;
                      --  Index in Sloc_Trace, if equals to 0, then we have
@@ -413,6 +412,10 @@ package body Sem_Elim is
                      --  non-space character in Sloc_Trace to the right of
                      --  Idx. Returns 0 if there is no such character.
 
+                     -----------------------------
+                     -- Different_Trace_Lengths --
+                     -----------------------------
+
                      function Different_Trace_Lengths return Boolean is
                      begin
                         P := Instantiation (Sindex);
@@ -422,8 +425,8 @@ package body Sem_Elim is
                            (P /= No_Location and then Idx = 0)
                         then
                            return True;
-                        else
 
+                        else
                            if P /= No_Location then
                               Sindex := Get_Source_File_Index (P);
                               Get_Name_String (File_Name (Sindex));
@@ -434,10 +437,14 @@ package body Sem_Elim is
                      end Different_Trace_Lengths;
 
                      function File_Mame_Match return Boolean is
-                        Tmp_Idx : Positive;
-                        End_Idx : Positive;
-                     begin
+                        Tmp_Idx : Positive := 1;
+                        End_Idx : Positive := 1;
+                        --  Initializations are to stop warnings
 
+                        --  But are warnings possibly valid ???
+                        --  Why are loops below guaranteed to exit ???
+
+                     begin
                         if Idx = 0 then
                            return False;
                         end if;
@@ -467,42 +474,40 @@ package body Sem_Elim is
                         else
                            return False;
                         end if;
-
                      end File_Mame_Match;
 
+                     --------------------
+                     -- Line_Num_Match --
+                     --------------------
+
                      function Line_Num_Match return Boolean is
                         N : Int := 0;
-                     begin
 
+                     begin
                         if Idx = 0 then
                            return False;
                         end if;
 
                         while Idx <= Last
-                           and then
-                              Sloc_Trace (Idx) in '0' .. '9'
+                           and then Sloc_Trace (Idx) in '0' .. '9'
                         loop
                            N := N * 10 +
                             (Character'Pos (Sloc_Trace (Idx)) -
                              Character'Pos ('0'));
-
                            Idx := Idx + 1;
                         end loop;
 
                         if Get_Physical_Line_Number (P) =
                            Physical_Line_Number (N)
                         then
-
                            while Sloc_Trace (Idx) /= '['
-                               and then
-                                 Idx <= Last
+                               and then Idx <= Last
                            loop
                               Idx := Idx + 1;
                            end loop;
 
                            if Sloc_Trace (Idx) = '['
-                             and then
-                               Idx < Last
+                             and then Idx < Last
                            then
                               Idx := Idx + 1;
                               Idx := Skip_Spaces;
@@ -514,13 +519,16 @@ package body Sem_Elim is
                         else
                            return False;
                         end if;
-
                      end Line_Num_Match;
 
+                     -----------------
+                     -- Skip_Spaces --
+                     -----------------
+
                      function Skip_Spaces return Natural is
                         Res : Natural := Idx;
-                     begin
 
+                     begin
                         while Sloc_Trace (Res) = ' ' loop
                            Res := Res + 1;
 
@@ -534,14 +542,12 @@ package body Sem_Elim is
                      end Skip_Spaces;
 
                   begin
-                     P      := Sloc (E);
+                     P := Sloc (E);
                      Sindex := Get_Source_File_Index (P);
                      Get_Name_String (File_Name (Sindex));
 
                      Idx := Skip_Spaces;
-
                      while Idx > 0 loop
-
                         if not File_Mame_Match then
                            goto Continue;
                         elsif not Line_Num_Match then
@@ -572,10 +578,8 @@ package body Sem_Elim is
                   Form := First_Formal (E);
 
                   if No (Form)
-                   and then
-                    Elmt.Parameter_Types'Length = 1
-                   and then
-                    Elmt.Parameter_Types (1) = No_Name
+                    and then Elmt.Parameter_Types'Length = 1
+                    and then Elmt.Parameter_Types (1) = No_Name
                   then
                      --  Parameterless procedure matches
 
@@ -607,9 +611,10 @@ package body Sem_Elim is
                Set_Eliminated;
                return;
             end if;
-
-            <<Continue>> Elmt := Elmt.Homonym;
          end;
+
+      <<Continue>>
+         Elmt := Elmt.Homonym;
       end loop;
 
       return;
@@ -779,8 +784,11 @@ package body Sem_Elim is
             String_To_Name_Buffer (Strval (Arg_Parameter_Types));
 
             if Name_Len = 0 then
+
                --  Parameterless procedure
+
                Data.Parameter_Types := new Names'(1 => No_Name);
+
             else
                Data.Parameter_Types := new Names'(1 => Name_Find);
             end if;