* 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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@88499
138bc75d-0d04-0410-961f-
82ee72b054a4
+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
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);
-- 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
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
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;
procedure Add_File (Filename : in String) is
begin
if Is_Ali (Filename) then
-
Check (Filename);
-- Record it to generate the binder program when
A := A + 1;
elsif Is_Obj (Filename) then
-
Check (Filename);
-- Just record this object file
end if;
exception
-
when Invalid_Switch =>
Raise_Exception
(Syntax_Error'Identity,
Raise_Exception
(Syntax_Error'Identity,
Message => "No parameter for " & Full_Switch);
-
end Parse_Command_Line;
-------------------
procedure Check_Context is
begin
-
Check (To_String (Def_Filename));
-- Check that each object file specified exists and raise exception
Check_Context;
case Build_Mode is
-
when Import_Lib =>
MDLL.Build_Import_Library
(To_String (Lib_Filename),
Set_Exit_Status (Success);
exception
-
when SE : Syntax_Error =>
Put_Line ("Syntax error : " & Exception_Message (SE));
New_Line;
when others =>
Put_Line ("gnatdll: INTERNAL ERROR. Please report");
Set_Exit_Status (Failure);
-
end Gnatdll;
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 --
("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;
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