a-except.adb: Add a comment for last change

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

	* a-except.adb: Add a comment for last change

	* einfo.ads: Minor spelling correction in comment

	* exp_pakd.adb, gnatdll.adb, prj-attr.ads: Minor reformatting

	* sem_ch11.adb: Fix a case of using | instead of \ for continuation
	messages.

	* sem_util.ads: Minor comment update

From-SVN: r88499

gcc/ada/ChangeLog

+2004-10-04  Robert Dewar  <dewar@gnat.com>
+
+	* a-except.adb: Add a comment for last change
+
+	* einfo.ads: Minor spelling correction in comment
+
+	* exp_pakd.adb, gnatdll.adb, prj-attr.ads: Minor reformatting
+
+	* sem_ch11.adb: Fix a case of using | instead of \ for continuation
+	messages.
+
+	* sem_util.ads: Minor comment update
+
 2004-10-04  Ed Schonberg  <schonberg@gnat.com>
 
 	* sem_ch6.adb (Analyze_Subprogram_Body): Do not treat Inline as

gcc/ada/a-except.adb

@@ -516,6 +516,10 @@ package body Ada.Exceptions is
    pragma Export (C, Rcheck_28, "__gnat_rcheck_28");
    pragma Export (C, Rcheck_29, "__gnat_rcheck_29");
 
+   --  None of these procedures ever returns (they raise an exception!). By
+   --  using pragma No_Return, we ensure that any junk code after the call,
+   --  such as normal return epilog stuff, can be eliminated).
+
    pragma No_Return (Rcheck_00);
    pragma No_Return (Rcheck_01);
    pragma No_Return (Rcheck_02);

gcc/ada/einfo.ads

@@ -1614,7 +1614,7 @@ package Einfo is
 --       and packages. Set to Empty unless an export, import, or interface
 --       name pragma has explicitly specified an external name, in which
 --       case it references an N_String_Literal node for the specified
---       exteral name. In the case of exceptions, the field is set by
+--       external name. In the case of exceptions, the field is set by
 --       Import_Exception/Export_Exception (which can be used in OpenVMS
 --       versions only). Note that if this field is Empty, and Is_Imported
 --       or Is_Exported is set, then the default interface name is the name

gcc/ada/exp_pakd.adb

@@ -469,8 +469,7 @@ package body Exp_Pakd is
 
    function RJ_Unchecked_Convert_To
      (Typ  : Entity_Id;
-      Expr : Node_Id)
-      return Node_Id;
+      Expr : Node_Id) return Node_Id;
    --  The packed array code does unchecked conversions which in some cases
    --  may involve non-discrete types with differing sizes. The semantics of
    --  such conversions is potentially endian dependent, and the effect we
@@ -2410,8 +2409,7 @@ package body Exp_Pakd is
 
    function RJ_Unchecked_Convert_To
      (Typ  : Entity_Id;
-      Expr : Node_Id)
-      return Node_Id
+      Expr : Node_Id) return Node_Id
    is
       Source_Typ : constant Entity_Id := Etype (Expr);
       Target_Typ : constant Entity_Id := Typ;

gcc/ada/gnatdll.adb

@@ -212,7 +212,6 @@ procedure Gnatdll is
       procedure Add_File (Filename : in String) is
       begin
          if Is_Ali (Filename) then
-
             Check (Filename);
 
             --  Record it to generate the binder program when
@@ -222,7 +221,6 @@ procedure Gnatdll is
             A := A + 1;
 
          elsif Is_Obj (Filename) then
-
             Check (Filename);
 
             --  Just record this object file
@@ -474,7 +472,6 @@ procedure Gnatdll is
       end if;
 
    exception
-
       when Invalid_Switch    =>
          Raise_Exception
            (Syntax_Error'Identity,
@@ -484,7 +481,6 @@ procedure Gnatdll is
          Raise_Exception
            (Syntax_Error'Identity,
             Message => "No parameter for " & Full_Switch);
-
    end Parse_Command_Line;
 
    -------------------
@@ -493,7 +489,6 @@ procedure Gnatdll is
 
    procedure Check_Context is
    begin
-
       Check (To_String (Def_Filename));
 
       --  Check that each object file specified exists and raise exception
@@ -529,7 +524,6 @@ begin
       Check_Context;
 
       case Build_Mode is
-
          when Import_Lib =>
             MDLL.Build_Import_Library
               (To_String (Lib_Filename),
@@ -571,7 +565,6 @@ begin
    Set_Exit_Status (Success);
 
 exception
-
    when SE : Syntax_Error =>
       Put_Line ("Syntax error : " & Exception_Message (SE));
       New_Line;
@@ -585,5 +578,4 @@ exception
    when others =>
       Put_Line ("gnatdll: INTERNAL ERROR. Please report");
       Set_Exit_Status (Failure);
-
 end Gnatdll;

gcc/ada/prj-attr.ads

@@ -96,11 +96,10 @@ package Prj.Attr is
    procedure Register_New_Package
      (Name       : String;
       Attributes : Attribute_Data_Array);
-   --  Add a new package with its attributes.
-   --  This procedure can only be called after Initialize, but before any
-   --  other call to a service of the Project Managers.
-   --  Fail if the name of the package is empty or not unique, or if the names
-   --  of the attributes are not different.
+   --  Add a new package with its attributes. This procedure can only be
+   --  called after Initialize, but before any other call to a service of
+   --  the Project Manager. Fail if the name of the package is empty or not
+   --  unique, or if the names of the attributes are not different.
 
    ----------------
    -- Attributes --

gcc/ada/sem_ch11.adb

@@ -247,7 +247,7 @@ package body Sem_Ch11 is
                              ("Numeric_Error is an " &
                               "obsolescent feature ('R'M 'J.6(1))?", Id);
                            Error_Msg_N
-                             ("|use Constraint_Error instead?", Id);
+                             ("\use Constraint_Error instead?", Id);
                         end if;
                      end if;
 

gcc/ada/sem_util.ads

@@ -544,7 +544,8 @@ package Sem_Util is
    function Is_Statement (N : Node_Id) return Boolean;
    --  Check if the node N is a statement node. Note that this includes
    --  the case of procedure call statements (unlike the direct use of
-   --  the N_Statement_Other_Than_Procedure_Call subtype from Sinfo)
+   --  the N_Statement_Other_Than_Procedure_Call subtype from Sinfo).
+   --  Note that a label is *not* a statement, and will return False.
 
    function Is_Transfer (N : Node_Id) return Boolean;
    --  Returns True if the node N is a statement which is known to cause