2004-06-28 Robert Dewar <dewar@gnat.com>

	* mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
	mlib-tgt-irix.adb, mlib-tgt-hpux.adb, mlib-tgt-linux.adb,
	mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-solaris.adb,
	mlib-tgt-vms-alpha.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb,
	a-strmap.adb, a-strmap.ads, clean.adb: Minor reformatting

	* exp_util.adb (Is_Possibly_Unaligned_Slice): Completely rewritten, to
	deal with problem of inefficient slices on machines with strict
	alignment, when the slice is a component of a composite.

	* checks.adb (Apply_Array_Size_Check): Do not special case 64-bit
	machines, we need the check there as well.

2004-06-28  Ed Schonberg  <schonberg@gnat.com>

	* exp_ch5.adb (Expand_Assign_Array): Use correct condition to
	determine safe copying direction for overlapping slice assignments
	when component is controlled.

	* sem_ch12.adb (Instantiate_Formal_Package): Implicit operations of a
	formal derived type in the actual for a formal package are visible in
	the enclosing instance.

2004-06-28  Ed Schonberg  <schonberg@gnat.com>

	PR ada/15600
	* sem_util.adb (Trace_Components): Diagnose properly an illegal
	circularity involving a private type whose completion includes a
	self-referential component.
	(Enter_Name): Use Is_Inherited_Operation to distinguish a source
	renaming or an instantiation from an implicit derived operation.

2004-06-28  Pascal Obry  <obry@gnat.com>

	* mlib-tgt-mingw.adb: (Library_Exists_For): Remove "lib" prefix from
	DLL.
	(Library_File_Name_For): Idem.

2004-06-28  Matthew Gingell  <gingell@gnat.com>

	* g-traceb.ads: Add explanatory note on the format of addresses
	expected by addr2line.

2004-06-28  Jerome Guitton  <guitton@act-europe.fr>

	* Makefile.in: Force debugging information on s-tasdeb.adb,
	a-except.adb and s-assert.adb needed by the debugger.

2004-06-28  Vincent Celier  <celier@gnat.com>

	* make.adb (Collect_Arguments_And_Compile): Change Flag1 to
	Need_To_Build_Lib.
	(Gnatmake): Ditto.

	* mlib-prj.adb (Check_Library): Replace Flag1 with Need_To_Build_Lib

	* prj.adb: Minor reformatting
	(Project_Empty): Change Flag1 to Need_To_Build_Lib. Remove Flag2.

	* prj.ads: Comment updates
	Minor reformatting
	(Project_Data): Change Flag1 to Need_To_Build_Lib.
	Remove Flag2: not used.

	* prj-dect.adb (Parse_Declarative_Items): Accept "null" as a
	declaration.

	* gnat_ugn.texi: Put a "null;" declaration in one project file example

	* gnat_rm.texi: Document Empty declarations "null;".

	* makegpr.adb (Compile_Link_With_Gnatmake): Put the global archives in
	front of the linker options.
	(Link_Foreign): Put the global archives and the libraries in front of
	the linker options.

2004-06-28  Javier Miranda  <miranda@gnat.com>

	* rtsfind.adb: (Get_Unit_Name): Fix typo in comment
	(RTU_Loaded): Code cleanup
	(Set_RTU_Loaded): New procedure to register as *loaded* explicitly
	withed predefined units.

	* rtsfind.ads (Set_RTU_Loaded): New procedure to register as *loaded*
	explicitly withed predefined units.
	Fix typo in comment

	* sem_ch10.adb (Analyze_Compilation_Unit): Register as *loaded*
	explicitly withed predefined units.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@83789 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 24 insertions, 32 deletions

diff --git a/gcc/ada/a-strmap.ads b/gcc/ada/a-strmap.ads
index 41cedea3b34..3e5adf27cf8 100644
--- a/gcc/ada/a-strmap.ads
+++ b/gcc/ada/a-strmap.ads
@@ -61,48 +61,44 @@ pragma Preelaborate (Maps);
 
    type Character_Ranges is array (Positive range <>) of Character_Range;
 
-   function To_Set    (Ranges : in Character_Ranges) return Character_Set;
+   function To_Set    (Ranges : Character_Ranges) return Character_Set;
 
-   function To_Set    (Span   : in Character_Range)  return Character_Set;
+   function To_Set    (Span   : Character_Range)  return Character_Set;
 
-   function To_Ranges (Set    : in Character_Set)    return Character_Ranges;
+   function To_Ranges (Set    : Character_Set)    return Character_Ranges;
 
    ----------------------------------
    -- Operations on Character Sets --
    ----------------------------------
 
-   function "="   (Left, Right : in Character_Set) return Boolean;
+   function "="   (Left, Right : Character_Set) return Boolean;
 
-   function "not" (Right       : in Character_Set) return Character_Set;
-   function "and" (Left, Right : in Character_Set) return Character_Set;
-   function "or"  (Left, Right : in Character_Set) return Character_Set;
-   function "xor" (Left, Right : in Character_Set) return Character_Set;
-   function "-"   (Left, Right : in Character_Set) return Character_Set;
+   function "not" (Right       : Character_Set) return Character_Set;
+   function "and" (Left, Right : Character_Set) return Character_Set;
+   function "or"  (Left, Right : Character_Set) return Character_Set;
+   function "xor" (Left, Right : Character_Set) return Character_Set;
+   function "-"   (Left, Right : Character_Set) return Character_Set;
 
    function Is_In
-     (Element : in Character;
-      Set     : in Character_Set)
-      return    Boolean;
+     (Element : Character;
+      Set     : Character_Set) return Boolean;
 
    function Is_Subset
-     (Elements : in Character_Set;
-      Set      : in Character_Set)
-      return     Boolean;
+     (Elements : Character_Set;
+      Set      : Character_Set) return     Boolean;
 
    function "<="
-     (Left  : in Character_Set;
-      Right : in Character_Set)
-      return  Boolean
+     (Left  : Character_Set;
+      Right : Character_Set) return  Boolean
    renames Is_Subset;
 
    subtype Character_Sequence is String;
    --  Alternative representation for a set of character values
 
-   function To_Set (Sequence  : in Character_Sequence) return Character_Set;
+   function To_Set (Sequence  : Character_Sequence) return Character_Set;
+   function To_Set (Singleton : Character)          return Character_Set;
 
-   function To_Set (Singleton : in Character)          return Character_Set;
-
-   function To_Sequence (Set : in Character_Set) return Character_Sequence;
+   function To_Sequence (Set : Character_Set) return Character_Sequence;
 
    ------------------------------------
    -- Character Mapping Declarations --
@@ -112,9 +108,8 @@ pragma Preelaborate (Maps);
    --  Representation for a character to character mapping:
 
    function Value
-     (Map     : in Character_Mapping;
-      Element : in Character)
-      return    Character;
+     (Map     : Character_Mapping;
+      Element : Character) return Character;
 
    Identity : constant Character_Mapping;
 
@@ -123,19 +118,16 @@ pragma Preelaborate (Maps);
    ----------------------------
 
    function To_Mapping
-     (From, To : in Character_Sequence)
-      return     Character_Mapping;
+     (From, To : Character_Sequence) return Character_Mapping;
 
    function To_Domain
-     (Map  : in Character_Mapping)
-      return Character_Sequence;
+     (Map : Character_Mapping) return Character_Sequence;
 
    function To_Range
-     (Map  : in Character_Mapping)
-      return Character_Sequence;
+     (Map : Character_Mapping) return Character_Sequence;
 
    type Character_Mapping_Function is
-      access function (From : in Character) return Character;
+      access function (From : Character) return Character;
 
 private
    pragma Inline (Is_In);