diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 13 | ||||
| -rw-r--r-- | gcc/ada/a-except.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/einfo.ads | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_pakd.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/gnatdll.adb | 8 | ||||
| -rw-r--r-- | gcc/ada/prj-attr.ads | 9 | ||||
| -rw-r--r-- | gcc/ada/sem_ch11.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sem_util.ads | 3 |
8 files changed, 27 insertions, 20 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 2dd08a9f911..e7bd215c0b9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,16 @@ +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 diff --git a/gcc/ada/a-except.adb b/gcc/ada/a-except.adb index 22331f318dd..1ca819011c5 100644 --- a/gcc/ada/a-except.adb +++ b/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); diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 2b467419e1e..863f624da92 100644 --- a/gcc/ada/einfo.ads +++ b/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 diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb index 364b4d7664c..f8415093bf3 100644 --- a/gcc/ada/exp_pakd.adb +++ b/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; diff --git a/gcc/ada/gnatdll.adb b/gcc/ada/gnatdll.adb index 10249b313dd..09f0ea7d903 100644 --- a/gcc/ada/gnatdll.adb +++ b/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; diff --git a/gcc/ada/prj-attr.ads b/gcc/ada/prj-attr.ads index 4c096893426..31042989601 100644 --- a/gcc/ada/prj-attr.ads +++ b/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 -- diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index 5eafc79d97e..616b2282308 100644 --- a/gcc/ada/sem_ch11.adb +++ b/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; diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 4cc22f8b917..a356eae219d 100644 --- a/gcc/ada/sem_util.ads +++ b/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 |