diff options
Diffstat (limited to 'gcc-4.2.1/gcc/ada/sem_prag.adb')
-rw-r--r-- | gcc-4.2.1/gcc/ada/sem_prag.adb | 11145 |
1 files changed, 0 insertions, 11145 deletions
diff --git a/gcc-4.2.1/gcc/ada/sem_prag.adb b/gcc-4.2.1/gcc/ada/sem_prag.adb deleted file mode 100644 index bec0eb5e8..000000000 --- a/gcc-4.2.1/gcc/ada/sem_prag.adb +++ /dev/null @@ -1,11145 +0,0 @@ ------------------------------------------------------------------------------- --- -- --- GNAT COMPILER COMPONENTS -- --- -- --- S E M _ P R A G -- --- -- --- B o d y -- --- -- --- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- --- -- --- GNAT is free software; you can redistribute it and/or modify it under -- --- terms of the GNU General Public License as published by the Free Soft- -- --- ware Foundation; either version 2, or (at your option) any later ver- -- --- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- --- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- --- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- --- for more details. You should have received a copy of the GNU General -- --- Public License distributed with GNAT; see file COPYING. If not, write -- --- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- --- Boston, MA 02110-1301, USA. -- --- -- --- GNAT was originally developed by the GNAT team at New York University. -- --- Extensive contributions were provided by Ada Core Technologies Inc. -- --- -- ------------------------------------------------------------------------------- - --- This unit contains the semantic processing for all pragmas, both language --- and implementation defined. For most pragmas, the parser only does the --- most basic job of checking the syntax, so Sem_Prag also contains the code --- to complete the syntax checks. Certain pragmas are handled partially or --- completely by the parser (see Par.Prag for further details). - -with Atree; use Atree; -with Casing; use Casing; -with Csets; use Csets; -with Debug; use Debug; -with Einfo; use Einfo; -with Elists; use Elists; -with Errout; use Errout; -with Exp_Dist; use Exp_Dist; -with Hostparm; use Hostparm; -with Lib; use Lib; -with Lib.Writ; use Lib.Writ; -with Lib.Xref; use Lib.Xref; -with Namet; use Namet; -with Nlists; use Nlists; -with Nmake; use Nmake; -with Opt; use Opt; -with Output; use Output; -with Restrict; use Restrict; -with Rident; use Rident; -with Rtsfind; use Rtsfind; -with Sem; use Sem; -with Sem_Ch3; use Sem_Ch3; -with Sem_Ch8; use Sem_Ch8; -with Sem_Ch13; use Sem_Ch13; -with Sem_Disp; use Sem_Disp; -with Sem_Dist; use Sem_Dist; -with Sem_Elim; use Sem_Elim; -with Sem_Eval; use Sem_Eval; -with Sem_Intr; use Sem_Intr; -with Sem_Mech; use Sem_Mech; -with Sem_Res; use Sem_Res; -with Sem_Type; use Sem_Type; -with Sem_Util; use Sem_Util; -with Sem_VFpt; use Sem_VFpt; -with Sem_Warn; use Sem_Warn; -with Stand; use Stand; -with Sinfo; use Sinfo; -with Sinfo.CN; use Sinfo.CN; -with Sinput; use Sinput; -with Snames; use Snames; -with Stringt; use Stringt; -with Stylesw; use Stylesw; -with Table; -with Targparm; use Targparm; -with Tbuild; use Tbuild; -with Ttypes; -with Uintp; use Uintp; -with Urealp; use Urealp; -with Validsw; use Validsw; - -with GNAT.Spelling_Checker; use GNAT.Spelling_Checker; - -package body Sem_Prag is - - ---------------------------------------------- - -- Common Handling of Import-Export Pragmas -- - ---------------------------------------------- - - -- In the following section, a number of Import_xxx and Export_xxx - -- pragmas are defined by GNAT. These are compatible with the DEC - -- pragmas of the same name, and all have the following common - -- form and processing: - - -- pragma Export_xxx - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, other optional parameters ]); - - -- pragma Import_xxx - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, other optional parameters ]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- The internal LOCAL_NAME designates the entity that is imported or - -- exported, and must refer to an entity in the current declarative - -- part (as required by the rules for LOCAL_NAME). - - -- The external linker name is designated by the External parameter - -- if given, or the Internal parameter if not (if there is no External - -- parameter, the External parameter is a copy of the Internal name). - - -- If the External parameter is given as a string, then this string - -- is treated as an external name (exactly as though it had been given - -- as an External_Name parameter for a normal Import pragma). - - -- If the External parameter is given as an identifier (or there is no - -- External parameter, so that the Internal identifier is used), then - -- the external name is the characters of the identifier, translated - -- to all upper case letters for OpenVMS versions of GNAT, and to all - -- lower case letters for all other versions - - -- Note: the external name specified or implied by any of these special - -- Import_xxx or Export_xxx pragmas override an external or link name - -- specified in a previous Import or Export pragma. - - -- Note: these and all other DEC-compatible GNAT pragmas allow full - -- use of named notation, following the standard rules for subprogram - -- calls, i.e. parameters can be given in any order if named notation - -- is used, and positional and named notation can be mixed, subject to - -- the rule that all positional parameters must appear first. - - -- Note: All these pragmas are implemented exactly following the DEC - -- design and implementation and are intended to be fully compatible - -- with the use of these pragmas in the DEC Ada compiler. - - -------------------------------------------- - -- Checking for Duplicated External Names -- - -------------------------------------------- - - -- It is suspicious if two separate Export pragmas use the same external - -- name. The following table is used to diagnose this situation so that - -- an appropriate warning can be issued. - - -- The Node_Id stored is for the N_String_Literal node created to - -- hold the value of the external name. The Sloc of this node is - -- used to cross-reference the location of the duplication. - - package Externals is new Table.Table ( - Table_Component_Type => Node_Id, - Table_Index_Type => Int, - Table_Low_Bound => 0, - Table_Initial => 100, - Table_Increment => 100, - Table_Name => "Name_Externals"); - - ------------------------------------- - -- Local Subprograms and Variables -- - ------------------------------------- - - function Adjust_External_Name_Case (N : Node_Id) return Node_Id; - -- This routine is used for possible casing adjustment of an explicit - -- external name supplied as a string literal (the node N), according - -- to the casing requirement of Opt.External_Name_Casing. If this is - -- set to As_Is, then the string literal is returned unchanged, but if - -- it is set to Uppercase or Lowercase, then a new string literal with - -- appropriate casing is constructed. - - function Get_Base_Subprogram (Def_Id : Entity_Id) return Entity_Id; - -- If Def_Id refers to a renamed subprogram, then the base subprogram - -- (the original one, following the renaming chain) is returned. - -- Otherwise the entity is returned unchanged. Should be in Einfo??? - - procedure Set_Unit_Name (N : Node_Id; With_Item : Node_Id); - -- Place semantic information on the argument of an Elaborate or - -- Elaborate_All pragma. Entity name for unit and its parents is - -- taken from item in previous with_clause that mentions the unit. - - ------------------------------- - -- Adjust_External_Name_Case -- - ------------------------------- - - function Adjust_External_Name_Case (N : Node_Id) return Node_Id is - CC : Char_Code; - - begin - -- Adjust case of literal if required - - if Opt.External_Name_Exp_Casing = As_Is then - return N; - - else - -- Copy existing string - - Start_String; - - -- Set proper casing - - for J in 1 .. String_Length (Strval (N)) loop - CC := Get_String_Char (Strval (N), J); - - if Opt.External_Name_Exp_Casing = Uppercase - and then CC >= Get_Char_Code ('a') - and then CC <= Get_Char_Code ('z') - then - Store_String_Char (CC - 32); - - elsif Opt.External_Name_Exp_Casing = Lowercase - and then CC >= Get_Char_Code ('A') - and then CC <= Get_Char_Code ('Z') - then - Store_String_Char (CC + 32); - - else - Store_String_Char (CC); - end if; - end loop; - - return - Make_String_Literal (Sloc (N), - Strval => End_String); - end if; - end Adjust_External_Name_Case; - - -------------------- - -- Analyze_Pragma -- - -------------------- - - procedure Analyze_Pragma (N : Node_Id) is - Loc : constant Source_Ptr := Sloc (N); - Prag_Id : Pragma_Id; - - Pragma_Exit : exception; - -- This exception is used to exit pragma processing completely. It - -- is used when an error is detected, and no further processing is - -- required. It is also used if an earlier error has left the tree - -- in a state where the pragma should not be processed. - - Arg_Count : Nat; - -- Number of pragma argument associations - - Arg1 : Node_Id; - Arg2 : Node_Id; - Arg3 : Node_Id; - Arg4 : Node_Id; - -- First four pragma arguments (pragma argument association nodes, - -- or Empty if the corresponding argument does not exist). - - type Name_List is array (Natural range <>) of Name_Id; - type Args_List is array (Natural range <>) of Node_Id; - -- Types used for arguments to Check_Arg_Order and Gather_Associations - - procedure Check_Ada_83_Warning; - -- Issues a warning message for the current pragma if operating in Ada - -- 83 mode (used for language pragmas that are not a standard part of - -- Ada 83). This procedure does not raise Error_Pragma. Also notes use - -- of 95 pragma. - - procedure Check_Arg_Count (Required : Nat); - -- Check argument count for pragma is equal to given parameter. - -- If not, then issue an error message and raise Pragma_Exit. - - -- Note: all routines whose name is Check_Arg_Is_xxx take an - -- argument Arg which can either be a pragma argument association, - -- in which case the check is applied to the expression of the - -- association or an expression directly. - - procedure Check_Arg_Is_External_Name (Arg : Node_Id); - -- Check that an argument has the right form for an EXTERNAL_NAME - -- parameter of an extended import/export pragma. The rule is that - -- the name must be an identifier or string literal (in Ada 83 mode) - -- or a static string expression (in Ada 95 mode). - - procedure Check_Arg_Is_Identifier (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is an - -- identifier. If not give error and raise Pragma_Exit. - - procedure Check_Arg_Is_Integer_Literal (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is an - -- integer literal. If not give error and raise Pragma_Exit. - - procedure Check_Arg_Is_Library_Level_Local_Name (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it has the - -- proper syntactic form for a local name and meets the semantic - -- requirements for a local name. The local name is analyzed as - -- part of the processing for this call. In addition, the local - -- name is required to represent an entity at the library level. - - procedure Check_Arg_Is_Local_Name (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it has the - -- proper syntactic form for a local name and meets the semantic - -- requirements for a local name. The local name is analyzed as - -- part of the processing for this call. - - procedure Check_Arg_Is_Locking_Policy (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is a valid - -- locking policy name. If not give error and raise Pragma_Exit. - - procedure Check_Arg_Is_One_Of (Arg : Node_Id; N1, N2 : Name_Id); - procedure Check_Arg_Is_One_Of (Arg : Node_Id; N1, N2, N3 : Name_Id); - -- Check the specified argument Arg to make sure that it is an - -- identifier whose name matches either N1 or N2 (or N3 if present). - -- If not then give error and raise Pragma_Exit. - - procedure Check_Arg_Is_Queuing_Policy (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is a valid - -- queuing policy name. If not give error and raise Pragma_Exit. - - procedure Check_Arg_Is_Static_Expression - (Arg : Node_Id; - Typ : Entity_Id); - -- Check the specified argument Arg to make sure that it is a static - -- expression of the given type (i.e. it will be analyzed and resolved - -- using this type, which can be any valid argument to Resolve, e.g. - -- Any_Integer is OK). If not, given error and raise Pragma_Exit. - - procedure Check_Arg_Is_String_Literal (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is a - -- string literal. If not give error and raise Pragma_Exit - - procedure Check_Arg_Is_Task_Dispatching_Policy (Arg : Node_Id); - -- Check the specified argument Arg to make sure that it is a valid - -- valid task dispatching policy name. If not give error and raise - -- Pragma_Exit. - - procedure Check_Arg_Order (Names : Name_List); - -- Checks for an instance of two arguments with identifiers for the - -- current pragma which are not in the sequence indicated by Names, - -- and if so, generates a fatal message about bad order of arguments. - - procedure Check_At_Least_N_Arguments (N : Nat); - -- Check there are at least N arguments present - - procedure Check_At_Most_N_Arguments (N : Nat); - -- Check there are no more than N arguments present - - procedure Check_Component (Comp : Node_Id); - -- Examine Unchecked_Union component for correct use of per-object - -- constrained subtypes, and for restrictions on finalizable components. - - procedure Check_Duplicated_Export_Name (Nam : Node_Id); - -- Nam is an N_String_Literal node containing the external name set - -- by an Import or Export pragma (or extended Import or Export pragma). - -- This procedure checks for possible duplications if this is the - -- export case, and if found, issues an appropriate error message. - - procedure Check_First_Subtype (Arg : Node_Id); - -- Checks that Arg, whose expression is an entity name referencing - -- a subtype, does not reference a type that is not a first subtype. - - procedure Check_In_Main_Program; - -- Common checks for pragmas that appear within a main program - -- (Priority, Main_Storage, Time_Slice). - - procedure Check_Interrupt_Or_Attach_Handler; - -- Common processing for first argument of pragma Interrupt_Handler - -- or pragma Attach_Handler. - - procedure Check_Is_In_Decl_Part_Or_Package_Spec; - -- Check that pragma appears in a declarative part, or in a package - -- specification, i.e. that it does not occur in a statement sequence - -- in a body. - - procedure Check_No_Identifier (Arg : Node_Id); - -- Checks that the given argument does not have an identifier. If - -- an identifier is present, then an error message is issued, and - -- Pragma_Exit is raised. - - procedure Check_No_Identifiers; - -- Checks that none of the arguments to the pragma has an identifier. - -- If any argument has an identifier, then an error message is issued, - -- and Pragma_Exit is raised. - - procedure Check_Optional_Identifier (Arg : Node_Id; Id : Name_Id); - -- Checks if the given argument has an identifier, and if so, requires - -- it to match the given identifier name. If there is a non-matching - -- identifier, then an error message is given and Error_Pragmas raised. - - procedure Check_Optional_Identifier (Arg : Node_Id; Id : String); - -- Checks if the given argument has an identifier, and if so, requires - -- it to match the given identifier name. If there is a non-matching - -- identifier, then an error message is given and Error_Pragmas raised. - -- In this version of the procedure, the identifier name is given as - -- a string with lower case letters. - - procedure Check_Static_Constraint (Constr : Node_Id); - -- Constr is a constraint from an N_Subtype_Indication node from a - -- component constraint in an Unchecked_Union type. This routine checks - -- that the constraint is static as required by the restrictions for - -- Unchecked_Union. - - procedure Check_Valid_Configuration_Pragma; - -- Legality checks for placement of a configuration pragma - - procedure Check_Valid_Library_Unit_Pragma; - -- Legality checks for library unit pragmas. A special case arises for - -- pragmas in generic instances that come from copies of the original - -- library unit pragmas in the generic templates. In the case of other - -- than library level instantiations these can appear in contexts which - -- would normally be invalid (they only apply to the original template - -- and to library level instantiations), and they are simply ignored, - -- which is implemented by rewriting them as null statements. - - procedure Check_Variant (Variant : Node_Id); - -- Check Unchecked_Union variant for lack of nested variants and - -- presence of at least one component. - - procedure Error_Pragma (Msg : String); - pragma No_Return (Error_Pragma); - -- Outputs error message for current pragma. The message contains an % - -- that will be replaced with the pragma name, and the flag is placed - -- on the pragma itself. Pragma_Exit is then raised. - - procedure Error_Pragma_Arg (Msg : String; Arg : Node_Id); - pragma No_Return (Error_Pragma_Arg); - -- Outputs error message for current pragma. The message may contain - -- a % that will be replaced with the pragma name. The parameter Arg - -- may either be a pragma argument association, in which case the flag - -- is placed on the expression of this association, or an expression, - -- in which case the flag is placed directly on the expression. The - -- message is placed using Error_Msg_N, so the message may also contain - -- an & insertion character which will reference the given Arg value. - -- After placing the message, Pragma_Exit is raised. - - procedure Error_Pragma_Arg (Msg1, Msg2 : String; Arg : Node_Id); - pragma No_Return (Error_Pragma_Arg); - -- Similar to above form of Error_Pragma_Arg except that two messages - -- are provided, the second is a continuation comment starting with \. - - procedure Error_Pragma_Arg_Ident (Msg : String; Arg : Node_Id); - pragma No_Return (Error_Pragma_Arg_Ident); - -- Outputs error message for current pragma. The message may contain - -- a % that will be replaced with the pragma name. The parameter Arg - -- must be a pragma argument association with a non-empty identifier - -- (i.e. its Chars field must be set), and the error message is placed - -- on the identifier. The message is placed using Error_Msg_N so - -- the message may also contain an & insertion character which will - -- reference the identifier. After placing the message, Pragma_Exit - -- is raised. - - function Find_Lib_Unit_Name return Entity_Id; - -- Used for a library unit pragma to find the entity to which the - -- library unit pragma applies, returns the entity found. - - procedure Find_Program_Unit_Name (Id : Node_Id); - -- If the pragma is a compilation unit pragma, the id must denote the - -- compilation unit in the same compilation, and the pragma must appear - -- in the list of preceding or trailing pragmas. If it is a program - -- unit pragma that is not a compilation unit pragma, then the - -- identifier must be visible. - - function Find_Unique_Parameterless_Procedure - (Name : Entity_Id; - Arg : Node_Id) return Entity_Id; - -- Used for a procedure pragma to find the unique parameterless - -- procedure identified by Name, returns it if it exists, otherwise - -- errors out and uses Arg as the pragma argument for the message. - - procedure Gather_Associations - (Names : Name_List; - Args : out Args_List); - -- This procedure is used to gather the arguments for a pragma that - -- permits arbitrary ordering of parameters using the normal rules - -- for named and positional parameters. The Names argument is a list - -- of Name_Id values that corresponds to the allowed pragma argument - -- association identifiers in order. The result returned in Args is - -- a list of corresponding expressions that are the pragma arguments. - -- Note that this is a list of expressions, not of pragma argument - -- associations (Gather_Associations has completely checked all the - -- optional identifiers when it returns). An entry in Args is Empty - -- on return if the corresponding argument is not present. - - function Get_Pragma_Arg (Arg : Node_Id) return Node_Id; - -- All the routines that check pragma arguments take either a pragma - -- argument association (in which case the expression of the argument - -- association is checked), or the expression directly. The function - -- Get_Pragma_Arg is a utility used to deal with these two cases. If - -- Arg is a pragma argument association node, then its expression is - -- returned, otherwise Arg is returned unchanged. - - procedure GNAT_Pragma; - -- Called for all GNAT defined pragmas to note the use of the feature, - -- and also check the relevant restriction (No_Implementation_Pragmas). - - function Is_Before_First_Decl - (Pragma_Node : Node_Id; - Decls : List_Id) return Boolean; - -- Return True if Pragma_Node is before the first declarative item in - -- Decls where Decls is the list of declarative items. - - function Is_Configuration_Pragma return Boolean; - -- Deterermines if the placement of the current pragma is appropriate - -- for a configuration pragma (precedes the current compilation unit) - - procedure Pragma_Misplaced; - -- Issue fatal error message for misplaced pragma - - procedure Process_Atomic_Shared_Volatile; - -- Common processing for pragmas Atomic, Shared, Volatile. Note that - -- Shared is an obsolete Ada 83 pragma, treated as being identical - -- in effect to pragma Atomic. - - procedure Process_Convention (C : out Convention_Id; E : out Entity_Id); - -- Common procesing for Convention, Interface, Import and Export. - -- Checks first two arguments of pragma, and sets the appropriate - -- convention value in the specified entity or entities. On return - -- C is the convention, E is the referenced entity. - - procedure Process_Extended_Import_Export_Exception_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Form : Node_Id; - Arg_Code : Node_Id); - -- Common processing for the pragmas Import/Export_Exception. - -- The three arguments correspond to the three named parameters of - -- the pragma. An argument is empty if the corresponding parameter - -- is not present in the pragma. - - procedure Process_Extended_Import_Export_Object_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Size : Node_Id); - -- Common processing for the pragmass Import/Export_Object. - -- The three arguments correspond to the three named parameters - -- of the pragmas. An argument is empty if the corresponding - -- parameter is not present in the pragma. - - procedure Process_Extended_Import_Export_Internal_Arg - (Arg_Internal : Node_Id := Empty); - -- Common processing for all extended Import and Export pragmas. The - -- argument is the pragma parameter for the Internal argument. If - -- Arg_Internal is empty or inappropriate, an error message is posted. - -- Otherwise, on normal return, the Entity_Field of Arg_Internal is - -- set to identify the referenced entity. - - procedure Process_Extended_Import_Export_Subprogram_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Parameter_Types : Node_Id; - Arg_Result_Type : Node_Id := Empty; - Arg_Mechanism : Node_Id; - Arg_Result_Mechanism : Node_Id := Empty; - Arg_First_Optional_Parameter : Node_Id := Empty); - -- Common processing for all extended Import and Export pragmas - -- applying to subprograms. The caller omits any arguments that do - -- bnot apply to the pragma in question (for example, Arg_Result_Type - -- can be non-Empty only in the Import_Function and Export_Function - -- cases). The argument names correspond to the allowed pragma - -- association identifiers. - - procedure Process_Generic_List; - -- Common processing for Share_Generic and Inline_Generic - - procedure Process_Import_Or_Interface; - -- Common processing for Import of Interface - - procedure Process_Inline (Active : Boolean); - -- Common processing for Inline and Inline_Always. The parameter - -- indicates if the inline pragma is active, i.e. if it should - -- actually cause inlining to occur. - - procedure Process_Interface_Name - (Subprogram_Def : Entity_Id; - Ext_Arg : Node_Id; - Link_Arg : Node_Id); - -- Given the last two arguments of pragma Import, pragma Export, or - -- pragma Interface_Name, performs validity checks and sets the - -- Interface_Name field of the given subprogram entity to the - -- appropriate external or link name, depending on the arguments - -- given. Ext_Arg is always present, but Link_Arg may be missing. - -- Note that Ext_Arg may represent the Link_Name if Link_Arg is - -- missing, and appropriate named notation is used for Ext_Arg. - -- If neither Ext_Arg nor Link_Arg is present, the interface name - -- is set to the default from the subprogram name. - - procedure Process_Interrupt_Or_Attach_Handler; - -- Common processing for Interrupt and Attach_Handler pragmas - - procedure Process_Restrictions_Or_Restriction_Warnings; - -- Common processing for Restrictions and Restriction_Warnings pragmas - - procedure Process_Suppress_Unsuppress (Suppress_Case : Boolean); - -- Common processing for Suppress and Unsuppress. The boolean parameter - -- Suppress_Case is True for the Suppress case, and False for the - -- Unsuppress case. - - procedure Set_Exported (E : Entity_Id; Arg : Node_Id); - -- This procedure sets the Is_Exported flag for the given entity, - -- checking that the entity was not previously imported. Arg is - -- the argument that specified the entity. A check is also made - -- for exporting inappropriate entities. - - procedure Set_Extended_Import_Export_External_Name - (Internal_Ent : Entity_Id; - Arg_External : Node_Id); - -- Common processing for all extended import export pragmas. The first - -- argument, Internal_Ent, is the internal entity, which has already - -- been checked for validity by the caller. Arg_External is from the - -- Import or Export pragma, and may be null if no External parameter - -- was present. If Arg_External is present and is a non-null string - -- (a null string is treated as the default), then the Interface_Name - -- field of Internal_Ent is set appropriately. - - procedure Set_Imported (E : Entity_Id); - -- This procedure sets the Is_Imported flag for the given entity, - -- checking that it is not previously exported or imported. - - procedure Set_Mechanism_Value (Ent : Entity_Id; Mech_Name : Node_Id); - -- Mech is a parameter passing mechanism (see Import_Function syntax - -- for MECHANISM_NAME). This routine checks that the mechanism argument - -- has the right form, and if not issues an error message. If the - -- argument has the right form then the Mechanism field of Ent is - -- set appropriately. - - procedure Set_Ravenscar_Profile (N : Node_Id); - -- Activate the set of configuration pragmas and restrictions that - -- make up the Ravenscar Profile. N is the corresponding pragma - -- node, which is used for error messages on any constructs - -- that violate the profile. - - -------------------------- - -- Check_Ada_83_Warning -- - -------------------------- - - procedure Check_Ada_83_Warning is - begin - if Ada_Version = Ada_83 and then Comes_From_Source (N) then - Error_Msg_N ("(Ada 83) pragma& is non-standard?", N); - end if; - end Check_Ada_83_Warning; - - --------------------- - -- Check_Arg_Count -- - --------------------- - - procedure Check_Arg_Count (Required : Nat) is - begin - if Arg_Count /= Required then - Error_Pragma ("wrong number of arguments for pragma%"); - end if; - end Check_Arg_Count; - - -------------------------------- - -- Check_Arg_Is_External_Name -- - -------------------------------- - - procedure Check_Arg_Is_External_Name (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - if Nkind (Argx) = N_Identifier then - return; - - else - Analyze_And_Resolve (Argx, Standard_String); - - if Is_OK_Static_Expression (Argx) then - return; - - elsif Etype (Argx) = Any_Type then - raise Pragma_Exit; - - -- An interesting special case, if we have a string literal and - -- we are in Ada 83 mode, then we allow it even though it will - -- not be flagged as static. This allows expected Ada 83 mode - -- use of external names which are string literals, even though - -- technically these are not static in Ada 83. - - elsif Ada_Version = Ada_83 - and then Nkind (Argx) = N_String_Literal - then - return; - - -- Static expression that raises Constraint_Error. This has - -- already been flagged, so just exit from pragma processing. - - elsif Is_Static_Expression (Argx) then - raise Pragma_Exit; - - -- Here we have a real error (non-static expression) - - else - Error_Msg_Name_1 := Chars (N); - Flag_Non_Static_Expr - ("argument for pragma% must be a identifier or " & - "static string expression!", Argx); - raise Pragma_Exit; - end if; - end if; - end Check_Arg_Is_External_Name; - - ----------------------------- - -- Check_Arg_Is_Identifier -- - ----------------------------- - - procedure Check_Arg_Is_Identifier (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - begin - if Nkind (Argx) /= N_Identifier then - Error_Pragma_Arg - ("argument for pragma% must be identifier", Argx); - end if; - end Check_Arg_Is_Identifier; - - ---------------------------------- - -- Check_Arg_Is_Integer_Literal -- - ---------------------------------- - - procedure Check_Arg_Is_Integer_Literal (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - begin - if Nkind (Argx) /= N_Integer_Literal then - Error_Pragma_Arg - ("argument for pragma% must be integer literal", Argx); - end if; - end Check_Arg_Is_Integer_Literal; - - ------------------------------------------- - -- Check_Arg_Is_Library_Level_Local_Name -- - ------------------------------------------- - - -- LOCAL_NAME ::= - -- DIRECT_NAME - -- | DIRECT_NAME'ATTRIBUTE_DESIGNATOR - -- | library_unit_NAME - - procedure Check_Arg_Is_Library_Level_Local_Name (Arg : Node_Id) is - begin - Check_Arg_Is_Local_Name (Arg); - - if not Is_Library_Level_Entity (Entity (Expression (Arg))) - and then Comes_From_Source (N) - then - Error_Pragma_Arg - ("argument for pragma% must be library level entity", Arg); - end if; - end Check_Arg_Is_Library_Level_Local_Name; - - ----------------------------- - -- Check_Arg_Is_Local_Name -- - ----------------------------- - - -- LOCAL_NAME ::= - -- DIRECT_NAME - -- | DIRECT_NAME'ATTRIBUTE_DESIGNATOR - -- | library_unit_NAME - - procedure Check_Arg_Is_Local_Name (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Analyze (Argx); - - if Nkind (Argx) not in N_Direct_Name - and then (Nkind (Argx) /= N_Attribute_Reference - or else Present (Expressions (Argx)) - or else Nkind (Prefix (Argx)) /= N_Identifier) - and then (not Is_Entity_Name (Argx) - or else not Is_Compilation_Unit (Entity (Argx))) - then - Error_Pragma_Arg ("argument for pragma% must be local name", Argx); - end if; - - if Is_Entity_Name (Argx) - and then Scope (Entity (Argx)) /= Current_Scope - then - Error_Pragma_Arg - ("pragma% argument must be in same declarative part", Arg); - end if; - end Check_Arg_Is_Local_Name; - - --------------------------------- - -- Check_Arg_Is_Locking_Policy -- - --------------------------------- - - procedure Check_Arg_Is_Locking_Policy (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Check_Arg_Is_Identifier (Argx); - - if not Is_Locking_Policy_Name (Chars (Argx)) then - Error_Pragma_Arg - ("& is not a valid locking policy name", Argx); - end if; - end Check_Arg_Is_Locking_Policy; - - ------------------------- - -- Check_Arg_Is_One_Of -- - ------------------------- - - procedure Check_Arg_Is_One_Of (Arg : Node_Id; N1, N2 : Name_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Check_Arg_Is_Identifier (Argx); - - if Chars (Argx) /= N1 and then Chars (Argx) /= N2 then - Error_Msg_Name_2 := N1; - Error_Msg_Name_3 := N2; - Error_Pragma_Arg ("argument for pragma% must be% or%", Argx); - end if; - end Check_Arg_Is_One_Of; - - procedure Check_Arg_Is_One_Of - (Arg : Node_Id; - N1, N2, N3 : Name_Id) - is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Check_Arg_Is_Identifier (Argx); - - if Chars (Argx) /= N1 - and then Chars (Argx) /= N2 - and then Chars (Argx) /= N3 - then - Error_Pragma_Arg ("invalid argument for pragma%", Argx); - end if; - end Check_Arg_Is_One_Of; - - --------------------------------- - -- Check_Arg_Is_Queuing_Policy -- - --------------------------------- - - procedure Check_Arg_Is_Queuing_Policy (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Check_Arg_Is_Identifier (Argx); - - if not Is_Queuing_Policy_Name (Chars (Argx)) then - Error_Pragma_Arg - ("& is not a valid queuing policy name", Argx); - end if; - end Check_Arg_Is_Queuing_Policy; - - ------------------------------------ - -- Check_Arg_Is_Static_Expression -- - ------------------------------------ - - procedure Check_Arg_Is_Static_Expression - (Arg : Node_Id; - Typ : Entity_Id) - is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Analyze_And_Resolve (Argx, Typ); - - if Is_OK_Static_Expression (Argx) then - return; - - elsif Etype (Argx) = Any_Type then - raise Pragma_Exit; - - -- An interesting special case, if we have a string literal and - -- we are in Ada 83 mode, then we allow it even though it will - -- not be flagged as static. This allows the use of Ada 95 - -- pragmas like Import in Ada 83 mode. They will of course be - -- flagged with warnings as usual, but will not cause errors. - - elsif Ada_Version = Ada_83 - and then Nkind (Argx) = N_String_Literal - then - return; - - -- Static expression that raises Constraint_Error. This has - -- already been flagged, so just exit from pragma processing. - - elsif Is_Static_Expression (Argx) then - raise Pragma_Exit; - - -- Finally, we have a real error - - else - Error_Msg_Name_1 := Chars (N); - Flag_Non_Static_Expr - ("argument for pragma% must be a static expression!", Argx); - raise Pragma_Exit; - end if; - end Check_Arg_Is_Static_Expression; - - --------------------------------- - -- Check_Arg_Is_String_Literal -- - --------------------------------- - - procedure Check_Arg_Is_String_Literal (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - begin - if Nkind (Argx) /= N_String_Literal then - Error_Pragma_Arg - ("argument for pragma% must be string literal", Argx); - end if; - end Check_Arg_Is_String_Literal; - - ------------------------------------------ - -- Check_Arg_Is_Task_Dispatching_Policy -- - ------------------------------------------ - - procedure Check_Arg_Is_Task_Dispatching_Policy (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - - begin - Check_Arg_Is_Identifier (Argx); - - if not Is_Task_Dispatching_Policy_Name (Chars (Argx)) then - Error_Pragma_Arg - ("& is not a valid task dispatching policy name", Argx); - end if; - end Check_Arg_Is_Task_Dispatching_Policy; - - --------------------- - -- Check_Arg_Order -- - --------------------- - - procedure Check_Arg_Order (Names : Name_List) is - Arg : Node_Id; - - Highest_So_Far : Natural := 0; - -- Highest index in Names seen do far - - begin - Arg := Arg1; - for J in 1 .. Arg_Count loop - if Chars (Arg) /= No_Name then - for K in Names'Range loop - if Chars (Arg) = Names (K) then - if K < Highest_So_Far then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N - ("parameters out of order for pragma%", Arg); - Error_Msg_Name_1 := Names (K); - Error_Msg_Name_2 := Names (Highest_So_Far); - Error_Msg_N ("\% must appear before %", Arg); - raise Pragma_Exit; - - else - Highest_So_Far := K; - end if; - end if; - end loop; - end if; - - Arg := Next (Arg); - end loop; - end Check_Arg_Order; - - -------------------------------- - -- Check_At_Least_N_Arguments -- - -------------------------------- - - procedure Check_At_Least_N_Arguments (N : Nat) is - begin - if Arg_Count < N then - Error_Pragma ("too few arguments for pragma%"); - end if; - end Check_At_Least_N_Arguments; - - ------------------------------- - -- Check_At_Most_N_Arguments -- - ------------------------------- - - procedure Check_At_Most_N_Arguments (N : Nat) is - Arg : Node_Id; - begin - if Arg_Count > N then - Arg := Arg1; - for J in 1 .. N loop - Next (Arg); - Error_Pragma_Arg ("too many arguments for pragma%", Arg); - end loop; - end if; - end Check_At_Most_N_Arguments; - - --------------------- - -- Check_Component -- - --------------------- - - procedure Check_Component (Comp : Node_Id) is - begin - if Nkind (Comp) = N_Component_Declaration then - declare - Sindic : constant Node_Id := - Subtype_Indication (Component_Definition (Comp)); - Typ : constant Entity_Id := - Etype (Defining_Identifier (Comp)); - begin - if Nkind (Sindic) = N_Subtype_Indication then - - -- Ada 2005 (AI-216): If a component subtype is subject to - -- a per-object constraint, then the component type shall - -- be an Unchecked_Union. - - if Has_Per_Object_Constraint (Defining_Identifier (Comp)) - and then - not Is_Unchecked_Union (Etype (Subtype_Mark (Sindic))) - then - Error_Msg_N ("component subtype subject to per-object" & - " constraint must be an Unchecked_Union", Comp); - end if; - end if; - - if Is_Controlled (Typ) then - Error_Msg_N - ("component of unchecked union cannot be controlled", Comp); - - elsif Has_Task (Typ) then - Error_Msg_N - ("component of unchecked union cannot have tasks", Comp); - end if; - end; - end if; - end Check_Component; - - ---------------------------------- - -- Check_Duplicated_Export_Name -- - ---------------------------------- - - procedure Check_Duplicated_Export_Name (Nam : Node_Id) is - String_Val : constant String_Id := Strval (Nam); - - begin - -- We are only interested in the export case, and in the case of - -- generics, it is the instance, not the template, that is the - -- problem (the template will generate a warning in any case). - - if not Inside_A_Generic - and then (Prag_Id = Pragma_Export - or else - Prag_Id = Pragma_Export_Procedure - or else - Prag_Id = Pragma_Export_Valued_Procedure - or else - Prag_Id = Pragma_Export_Function) - then - for J in Externals.First .. Externals.Last loop - if String_Equal (String_Val, Strval (Externals.Table (J))) then - Error_Msg_Sloc := Sloc (Externals.Table (J)); - Error_Msg_N ("external name duplicates name given#", Nam); - exit; - end if; - end loop; - - Externals.Append (Nam); - end if; - end Check_Duplicated_Export_Name; - - ------------------------- - -- Check_First_Subtype -- - ------------------------- - - procedure Check_First_Subtype (Arg : Node_Id) is - Argx : constant Node_Id := Get_Pragma_Arg (Arg); - begin - if not Is_First_Subtype (Entity (Argx)) then - Error_Pragma_Arg - ("pragma% cannot apply to subtype", Argx); - end if; - end Check_First_Subtype; - - --------------------------- - -- Check_In_Main_Program -- - --------------------------- - - procedure Check_In_Main_Program is - P : constant Node_Id := Parent (N); - - begin - -- Must be at in subprogram body - - if Nkind (P) /= N_Subprogram_Body then - Error_Pragma ("% pragma allowed only in subprogram"); - - -- Otherwise warn if obviously not main program - - elsif Present (Parameter_Specifications (Specification (P))) - or else not Is_Compilation_Unit (Defining_Entity (P)) - then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N - ("?pragma% is only effective in main program", N); - end if; - end Check_In_Main_Program; - - --------------------------------------- - -- Check_Interrupt_Or_Attach_Handler -- - --------------------------------------- - - procedure Check_Interrupt_Or_Attach_Handler is - Arg1_X : constant Node_Id := Expression (Arg1); - Handler_Proc, Proc_Scope : Entity_Id; - - begin - Analyze (Arg1_X); - - if Prag_Id = Pragma_Interrupt_Handler then - Check_Restriction (No_Dynamic_Attachment, N); - end if; - - Handler_Proc := Find_Unique_Parameterless_Procedure (Arg1_X, Arg1); - Proc_Scope := Scope (Handler_Proc); - - -- On AAMP only, a pragma Interrupt_Handler is supported for - -- nonprotected parameterless procedures. - - if not AAMP_On_Target - or else Prag_Id = Pragma_Attach_Handler - then - if Ekind (Proc_Scope) /= E_Protected_Type then - Error_Pragma_Arg - ("argument of pragma% must be protected procedure", Arg1); - end if; - - if Parent (N) /= Protected_Definition (Parent (Proc_Scope)) then - Error_Pragma ("pragma% must be in protected definition"); - end if; - end if; - - if not Is_Library_Level_Entity (Proc_Scope) - or else (AAMP_On_Target - and then not Is_Library_Level_Entity (Handler_Proc)) - then - Error_Pragma_Arg - ("argument for pragma% must be library level entity", Arg1); - end if; - end Check_Interrupt_Or_Attach_Handler; - - ------------------------------------------- - -- Check_Is_In_Decl_Part_Or_Package_Spec -- - ------------------------------------------- - - procedure Check_Is_In_Decl_Part_Or_Package_Spec is - P : Node_Id; - - begin - P := Parent (N); - loop - if No (P) then - exit; - - elsif Nkind (P) = N_Handled_Sequence_Of_Statements then - exit; - - elsif Nkind (P) = N_Package_Specification then - return; - - elsif Nkind (P) = N_Block_Statement then - return; - - -- Note: the following tests seem a little peculiar, because - -- they test for bodies, but if we were in the statement part - -- of the body, we would already have hit the handled statement - -- sequence, so the only way we get here is by being in the - -- declarative part of the body. - - elsif Nkind (P) = N_Subprogram_Body - or else Nkind (P) = N_Package_Body - or else Nkind (P) = N_Task_Body - or else Nkind (P) = N_Entry_Body - then - return; - end if; - - P := Parent (P); - end loop; - - Error_Pragma ("pragma% is not in declarative part or package spec"); - end Check_Is_In_Decl_Part_Or_Package_Spec; - - ------------------------- - -- Check_No_Identifier -- - ------------------------- - - procedure Check_No_Identifier (Arg : Node_Id) is - begin - if Chars (Arg) /= No_Name then - Error_Pragma_Arg_Ident - ("pragma% does not permit identifier& here", Arg); - end if; - end Check_No_Identifier; - - -------------------------- - -- Check_No_Identifiers -- - -------------------------- - - procedure Check_No_Identifiers is - Arg_Node : Node_Id; - begin - if Arg_Count > 0 then - Arg_Node := Arg1; - while Present (Arg_Node) loop - Check_No_Identifier (Arg_Node); - Next (Arg_Node); - end loop; - end if; - end Check_No_Identifiers; - - ------------------------------- - -- Check_Optional_Identifier -- - ------------------------------- - - procedure Check_Optional_Identifier (Arg : Node_Id; Id : Name_Id) is - begin - if Present (Arg) and then Chars (Arg) /= No_Name then - if Chars (Arg) /= Id then - Error_Msg_Name_1 := Chars (N); - Error_Msg_Name_2 := Id; - Error_Msg_N ("pragma% argument expects identifier%", Arg); - raise Pragma_Exit; - end if; - end if; - end Check_Optional_Identifier; - - procedure Check_Optional_Identifier (Arg : Node_Id; Id : String) is - begin - Name_Buffer (1 .. Id'Length) := Id; - Name_Len := Id'Length; - Check_Optional_Identifier (Arg, Name_Find); - end Check_Optional_Identifier; - - ----------------------------- - -- Check_Static_Constraint -- - ----------------------------- - - -- Note: for convenience in writing this procedure, in addition to - -- the officially (i.e. by spec) allowed argument which is always - -- a constraint, it also allows ranges and discriminant associations. - -- Above is not clear ??? - - procedure Check_Static_Constraint (Constr : Node_Id) is - - -------------------- - -- Require_Static -- - -------------------- - - procedure Require_Static (E : Node_Id); - -- Require given expression to be static expression - - procedure Require_Static (E : Node_Id) is - begin - if not Is_OK_Static_Expression (E) then - Flag_Non_Static_Expr - ("non-static constraint not allowed in Unchecked_Union!", E); - raise Pragma_Exit; - end if; - end Require_Static; - - -- Start of processing for Check_Static_Constraint - - begin - case Nkind (Constr) is - when N_Discriminant_Association => - Require_Static (Expression (Constr)); - - when N_Range => - Require_Static (Low_Bound (Constr)); - Require_Static (High_Bound (Constr)); - - when N_Attribute_Reference => - Require_Static (Type_Low_Bound (Etype (Prefix (Constr)))); - Require_Static (Type_High_Bound (Etype (Prefix (Constr)))); - - when N_Range_Constraint => - Check_Static_Constraint (Range_Expression (Constr)); - - when N_Index_Or_Discriminant_Constraint => - declare - IDC : Entity_Id; - begin - IDC := First (Constraints (Constr)); - while Present (IDC) loop - Check_Static_Constraint (IDC); - Next (IDC); - end loop; - end; - - when others => - null; - end case; - end Check_Static_Constraint; - - -------------------------------------- - -- Check_Valid_Configuration_Pragma -- - -------------------------------------- - - -- A configuration pragma must appear in the context clause of - -- a compilation unit, at the start of the list (i.e. only other - -- pragmas may precede it). - - procedure Check_Valid_Configuration_Pragma is - begin - if not Is_Configuration_Pragma then - Error_Pragma ("incorrect placement for configuration pragma%"); - end if; - end Check_Valid_Configuration_Pragma; - - ------------------------------------- - -- Check_Valid_Library_Unit_Pragma -- - ------------------------------------- - - procedure Check_Valid_Library_Unit_Pragma is - Plist : List_Id; - Parent_Node : Node_Id; - Unit_Name : Entity_Id; - Unit_Kind : Node_Kind; - Unit_Node : Node_Id; - Sindex : Source_File_Index; - - begin - if not Is_List_Member (N) then - Pragma_Misplaced; - - else - Plist := List_Containing (N); - Parent_Node := Parent (Plist); - - if Parent_Node = Empty then - Pragma_Misplaced; - - -- Case of pragma appearing after a compilation unit. In this - -- case it must have an argument with the corresponding name - -- and must be part of the following pragmas of its parent. - - elsif Nkind (Parent_Node) = N_Compilation_Unit_Aux then - if Plist /= Pragmas_After (Parent_Node) then - Pragma_Misplaced; - - elsif Arg_Count = 0 then - Error_Pragma - ("argument required if outside compilation unit"); - - else - Check_No_Identifiers; - Check_Arg_Count (1); - Unit_Node := Unit (Parent (Parent_Node)); - Unit_Kind := Nkind (Unit_Node); - - Analyze (Expression (Arg1)); - - if Unit_Kind = N_Generic_Subprogram_Declaration - or else Unit_Kind = N_Subprogram_Declaration - then - Unit_Name := Defining_Entity (Unit_Node); - - elsif Unit_Kind in N_Generic_Instantiation then - Unit_Name := Defining_Entity (Unit_Node); - - else - Unit_Name := Cunit_Entity (Current_Sem_Unit); - end if; - - if Chars (Unit_Name) /= - Chars (Entity (Expression (Arg1))) - then - Error_Pragma_Arg - ("pragma% argument is not current unit name", Arg1); - end if; - - if Ekind (Unit_Name) = E_Package - and then Present (Renamed_Entity (Unit_Name)) - then - Error_Pragma ("pragma% not allowed for renamed package"); - end if; - end if; - - -- Pragma appears other than after a compilation unit - - else - -- Here we check for the generic instantiation case and also - -- for the case of processing a generic formal package. We - -- detect these cases by noting that the Sloc on the node - -- does not belong to the current compilation unit. - - Sindex := Source_Index (Current_Sem_Unit); - - if Loc not in Source_First (Sindex) .. Source_Last (Sindex) then - Rewrite (N, Make_Null_Statement (Loc)); - return; - - -- If before first declaration, the pragma applies to the - -- enclosing unit, and the name if present must be this name. - - elsif Is_Before_First_Decl (N, Plist) then - Unit_Node := Unit_Declaration_Node (Current_Scope); - Unit_Kind := Nkind (Unit_Node); - - if Nkind (Parent (Unit_Node)) /= N_Compilation_Unit then - Pragma_Misplaced; - - elsif Unit_Kind = N_Subprogram_Body - and then not Acts_As_Spec (Unit_Node) - then - Pragma_Misplaced; - - elsif Nkind (Parent_Node) = N_Package_Body then - Pragma_Misplaced; - - elsif Nkind (Parent_Node) = N_Package_Specification - and then Plist = Private_Declarations (Parent_Node) - then - Pragma_Misplaced; - - elsif (Nkind (Parent_Node) = N_Generic_Package_Declaration - or else Nkind (Parent_Node) - = N_Generic_Subprogram_Declaration) - and then Plist = Generic_Formal_Declarations (Parent_Node) - then - Pragma_Misplaced; - - elsif Arg_Count > 0 then - Analyze (Expression (Arg1)); - - if Entity (Expression (Arg1)) /= Current_Scope then - Error_Pragma_Arg - ("name in pragma% must be enclosing unit", Arg1); - end if; - - -- It is legal to have no argument in this context - - else - return; - end if; - - -- Error if not before first declaration. This is because a - -- library unit pragma argument must be the name of a library - -- unit (RM 10.1.5(7)), but the only names permitted in this - -- context are (RM 10.1.5(6)) names of subprogram declarations, - -- generic subprogram declarations or generic instantiations. - - else - Error_Pragma - ("pragma% misplaced, must be before first declaration"); - end if; - end if; - end if; - end Check_Valid_Library_Unit_Pragma; - - ------------------- - -- Check_Variant -- - ------------------- - - procedure Check_Variant (Variant : Node_Id) is - Clist : constant Node_Id := Component_List (Variant); - Comp : Node_Id; - - begin - if not Is_Non_Empty_List (Component_Items (Clist)) then - Error_Msg_N - ("Unchecked_Union may not have empty component list", - Variant); - return; - end if; - - Comp := First (Component_Items (Clist)); - while Present (Comp) loop - Check_Component (Comp); - Next (Comp); - end loop; - end Check_Variant; - - ------------------ - -- Error_Pragma -- - ------------------ - - procedure Error_Pragma (Msg : String) is - begin - Error_Msg_Name_1 := Chars (N); - Error_Msg_N (Msg, N); - raise Pragma_Exit; - end Error_Pragma; - - ---------------------- - -- Error_Pragma_Arg -- - ---------------------- - - procedure Error_Pragma_Arg (Msg : String; Arg : Node_Id) is - begin - Error_Msg_Name_1 := Chars (N); - Error_Msg_N (Msg, Get_Pragma_Arg (Arg)); - raise Pragma_Exit; - end Error_Pragma_Arg; - - procedure Error_Pragma_Arg (Msg1, Msg2 : String; Arg : Node_Id) is - begin - Error_Msg_Name_1 := Chars (N); - Error_Msg_N (Msg1, Get_Pragma_Arg (Arg)); - Error_Pragma_Arg (Msg2, Arg); - end Error_Pragma_Arg; - - ---------------------------- - -- Error_Pragma_Arg_Ident -- - ---------------------------- - - procedure Error_Pragma_Arg_Ident (Msg : String; Arg : Node_Id) is - begin - Error_Msg_Name_1 := Chars (N); - Error_Msg_N (Msg, Arg); - raise Pragma_Exit; - end Error_Pragma_Arg_Ident; - - ------------------------ - -- Find_Lib_Unit_Name -- - ------------------------ - - function Find_Lib_Unit_Name return Entity_Id is - begin - -- Return inner compilation unit entity, for case of nested - -- categorization pragmas. This happens in generic unit. - - if Nkind (Parent (N)) = N_Package_Specification - and then Defining_Entity (Parent (N)) /= Current_Scope - then - return Defining_Entity (Parent (N)); - else - return Current_Scope; - end if; - end Find_Lib_Unit_Name; - - ---------------------------- - -- Find_Program_Unit_Name -- - ---------------------------- - - procedure Find_Program_Unit_Name (Id : Node_Id) is - Unit_Name : Entity_Id; - Unit_Kind : Node_Kind; - P : constant Node_Id := Parent (N); - - begin - if Nkind (P) = N_Compilation_Unit then - Unit_Kind := Nkind (Unit (P)); - - if Unit_Kind = N_Subprogram_Declaration - or else Unit_Kind = N_Package_Declaration - or else Unit_Kind in N_Generic_Declaration - then - Unit_Name := Defining_Entity (Unit (P)); - - if Chars (Id) = Chars (Unit_Name) then - Set_Entity (Id, Unit_Name); - Set_Etype (Id, Etype (Unit_Name)); - else - Set_Etype (Id, Any_Type); - Error_Pragma - ("cannot find program unit referenced by pragma%"); - end if; - - else - Set_Etype (Id, Any_Type); - Error_Pragma ("pragma% inapplicable to this unit"); - end if; - - else - Analyze (Id); - end if; - end Find_Program_Unit_Name; - - ----------------------------------------- - -- Find_Unique_Parameterless_Procedure -- - ----------------------------------------- - - function Find_Unique_Parameterless_Procedure - (Name : Entity_Id; - Arg : Node_Id) return Entity_Id - is - Proc : Entity_Id := Empty; - - begin - -- The body of this procedure needs some comments ??? - - if not Is_Entity_Name (Name) then - Error_Pragma_Arg - ("argument of pragma% must be entity name", Arg); - - elsif not Is_Overloaded (Name) then - Proc := Entity (Name); - - if Ekind (Proc) /= E_Procedure - or else Present (First_Formal (Proc)) then - Error_Pragma_Arg - ("argument of pragma% must be parameterless procedure", Arg); - end if; - - else - declare - Found : Boolean := False; - It : Interp; - Index : Interp_Index; - - begin - Get_First_Interp (Name, Index, It); - while Present (It.Nam) loop - Proc := It.Nam; - - if Ekind (Proc) = E_Procedure - and then No (First_Formal (Proc)) - then - if not Found then - Found := True; - Set_Entity (Name, Proc); - Set_Is_Overloaded (Name, False); - else - Error_Pragma_Arg - ("ambiguous handler name for pragma% ", Arg); - end if; - end if; - - Get_Next_Interp (Index, It); - end loop; - - if not Found then - Error_Pragma_Arg - ("argument of pragma% must be parameterless procedure", - Arg); - else - Proc := Entity (Name); - end if; - end; - end if; - - return Proc; - end Find_Unique_Parameterless_Procedure; - - ------------------------- - -- Gather_Associations -- - ------------------------- - - procedure Gather_Associations - (Names : Name_List; - Args : out Args_List) - is - Arg : Node_Id; - - begin - -- Initialize all parameters to Empty - - for J in Args'Range loop - Args (J) := Empty; - end loop; - - -- That's all we have to do if there are no argument associations - - if No (Pragma_Argument_Associations (N)) then - return; - end if; - - -- Otherwise first deal with any positional parameters present - - Arg := First (Pragma_Argument_Associations (N)); - for Index in Args'Range loop - exit when No (Arg) or else Chars (Arg) /= No_Name; - Args (Index) := Expression (Arg); - Next (Arg); - end loop; - - -- Positional parameters all processed, if any left, then we - -- have too many positional parameters. - - if Present (Arg) and then Chars (Arg) = No_Name then - Error_Pragma_Arg - ("too many positional associations for pragma%", Arg); - end if; - - -- Process named parameters if any are present - - while Present (Arg) loop - if Chars (Arg) = No_Name then - Error_Pragma_Arg - ("positional association cannot follow named association", - Arg); - - else - for Index in Names'Range loop - if Names (Index) = Chars (Arg) then - if Present (Args (Index)) then - Error_Pragma_Arg - ("duplicate argument association for pragma%", Arg); - else - Args (Index) := Expression (Arg); - exit; - end if; - end if; - - if Index = Names'Last then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N ("pragma% does not allow & argument", Arg); - - -- Check for possible misspelling - - for Index1 in Names'Range loop - if Is_Bad_Spelling_Of - (Get_Name_String (Chars (Arg)), - Get_Name_String (Names (Index1))) - then - Error_Msg_Name_1 := Names (Index1); - Error_Msg_N ("\possible misspelling of%", Arg); - exit; - end if; - end loop; - - raise Pragma_Exit; - end if; - end loop; - end if; - - Next (Arg); - end loop; - end Gather_Associations; - - -------------------- - -- Get_Pragma_Arg -- - -------------------- - - function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is - begin - if Nkind (Arg) = N_Pragma_Argument_Association then - return Expression (Arg); - else - return Arg; - end if; - end Get_Pragma_Arg; - - ----------------- - -- GNAT_Pragma -- - ----------------- - - procedure GNAT_Pragma is - begin - Check_Restriction (No_Implementation_Pragmas, N); - end GNAT_Pragma; - - -------------------------- - -- Is_Before_First_Decl -- - -------------------------- - - function Is_Before_First_Decl - (Pragma_Node : Node_Id; - Decls : List_Id) return Boolean - is - Item : Node_Id := First (Decls); - - begin - -- Only other pragmas can come before this pragma - - loop - if No (Item) or else Nkind (Item) /= N_Pragma then - return False; - - elsif Item = Pragma_Node then - return True; - end if; - - Next (Item); - end loop; - end Is_Before_First_Decl; - - ----------------------------- - -- Is_Configuration_Pragma -- - ----------------------------- - - -- A configuration pragma must appear in the context clause of - -- a compilation unit, at the start of the list (i.e. only other - -- pragmas may precede it). - - function Is_Configuration_Pragma return Boolean is - Lis : constant List_Id := List_Containing (N); - Par : constant Node_Id := Parent (N); - Prg : Node_Id; - - begin - -- If no parent, then we are in the configuration pragma file, - -- so the placement is definitely appropriate. - - if No (Par) then - return True; - - -- Otherwise we must be in the context clause of a compilation unit - -- and the only thing allowed before us in the context list is more - -- configuration pragmas. - - elsif Nkind (Par) = N_Compilation_Unit - and then Context_Items (Par) = Lis - then - Prg := First (Lis); - - loop - if Prg = N then - return True; - elsif Nkind (Prg) /= N_Pragma then - return False; - end if; - - Next (Prg); - end loop; - - else - return False; - end if; - end Is_Configuration_Pragma; - - ---------------------- - -- Pragma_Misplaced -- - ---------------------- - - procedure Pragma_Misplaced is - begin - Error_Pragma ("incorrect placement of pragma%"); - end Pragma_Misplaced; - - ------------------------------------ - -- Process Atomic_Shared_Volatile -- - ------------------------------------ - - procedure Process_Atomic_Shared_Volatile is - E_Id : Node_Id; - E : Entity_Id; - D : Node_Id; - K : Node_Kind; - Utyp : Entity_Id; - - procedure Set_Atomic (E : Entity_Id); - -- Set given type as atomic, and if no explicit alignment was - -- given, set alignment to unknown, since back end knows what - -- the alignment requirements are for atomic arrays. Note that - -- this step is necessary for derived types. - - ---------------- - -- Set_Atomic -- - ---------------- - - procedure Set_Atomic (E : Entity_Id) is - begin - Set_Is_Atomic (E); - - if not Has_Alignment_Clause (E) then - Set_Alignment (E, Uint_0); - end if; - end Set_Atomic; - - -- Start of processing for Process_Atomic_Shared_Volatile - - begin - Check_Ada_83_Warning; - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - end if; - - E := Entity (E_Id); - D := Declaration_Node (E); - K := Nkind (D); - - if Is_Type (E) then - if Rep_Item_Too_Early (E, N) - or else - Rep_Item_Too_Late (E, N) - then - return; - else - Check_First_Subtype (Arg1); - end if; - - if Prag_Id /= Pragma_Volatile then - Set_Atomic (E); - Set_Atomic (Underlying_Type (E)); - Set_Atomic (Base_Type (E)); - end if; - - -- Attribute belongs on the base type. If the - -- view of the type is currently private, it also - -- belongs on the underlying type. - - Set_Is_Volatile (Base_Type (E)); - Set_Is_Volatile (Underlying_Type (E)); - - Set_Treat_As_Volatile (E); - Set_Treat_As_Volatile (Underlying_Type (E)); - - elsif K = N_Object_Declaration - or else (K = N_Component_Declaration - and then Original_Record_Component (E) = E) - then - if Rep_Item_Too_Late (E, N) then - return; - end if; - - if Prag_Id /= Pragma_Volatile then - Set_Is_Atomic (E); - - -- If the object declaration has an explicit - -- initialization, a temporary may have to be - -- created to hold the expression, to insure - -- that access to the object remain atomic. - - if Nkind (Parent (E)) = N_Object_Declaration - and then Present (Expression (Parent (E))) - then - Set_Has_Delayed_Freeze (E); - end if; - - -- An interesting improvement here. If an object of type X - -- is declared atomic, and the type X is not atomic, that's - -- a pity, since it may not have appropraite alignment etc. - -- We can rescue this in the special case where the object - -- and type are in the same unit by just setting the type - -- as atomic, so that the back end will process it as atomic. - - Utyp := Underlying_Type (Etype (E)); - - if Present (Utyp) - and then Sloc (E) > No_Location - and then Sloc (Utyp) > No_Location - and then - Get_Source_File_Index (Sloc (E)) = - Get_Source_File_Index (Sloc (Underlying_Type (Etype (E)))) - then - Set_Is_Atomic (Underlying_Type (Etype (E))); - end if; - end if; - - Set_Is_Volatile (E); - Set_Treat_As_Volatile (E); - - else - Error_Pragma_Arg - ("inappropriate entity for pragma%", Arg1); - end if; - end Process_Atomic_Shared_Volatile; - - ------------------------ - -- Process_Convention -- - ------------------------ - - procedure Process_Convention - (C : out Convention_Id; - E : out Entity_Id) - is - Id : Node_Id; - E1 : Entity_Id; - Cname : Name_Id; - Comp_Unit : Unit_Number_Type; - - procedure Set_Convention_From_Pragma (E : Entity_Id); - -- Set convention in entity E, and also flag that the entity has a - -- convention pragma. If entity is for a private or incomplete type, - -- also set convention and flag on underlying type. This procedure - -- also deals with the special case of C_Pass_By_Copy convention. - - -------------------------------- - -- Set_Convention_From_Pragma -- - -------------------------------- - - procedure Set_Convention_From_Pragma (E : Entity_Id) is - begin - -- Check invalid attempt to change convention for an overridden - -- dispatching operation. This is Ada 2005 AI 430. Technically - -- this is an amendment and should only be done in Ada 2005 mode. - -- However, this is clearly a mistake, since the problem that is - -- addressed by this AI is that there is a clear gap in the RM! - - if Is_Dispatching_Operation (E) - and then Present (Overridden_Operation (E)) - and then C /= Convention (Overridden_Operation (E)) - then - Error_Pragma_Arg - ("cannot change convention for " & - "overridden dispatching operation", - Arg1); - end if; - - -- Set the convention - - Set_Convention (E, C); - Set_Has_Convention_Pragma (E); - - if Is_Incomplete_Or_Private_Type (E) then - Set_Convention (Underlying_Type (E), C); - Set_Has_Convention_Pragma (Underlying_Type (E), True); - end if; - - -- A class-wide type should inherit the convention of - -- the specific root type (although this isn't specified - -- clearly by the RM). - - if Is_Type (E) and then Present (Class_Wide_Type (E)) then - Set_Convention (Class_Wide_Type (E), C); - end if; - - -- If the entity is a record type, then check for special case - -- of C_Pass_By_Copy, which is treated the same as C except that - -- the special record flag is set. This convention is also only - -- permitted on record types (see AI95-00131). - - if Cname = Name_C_Pass_By_Copy then - if Is_Record_Type (E) then - Set_C_Pass_By_Copy (Base_Type (E)); - elsif Is_Incomplete_Or_Private_Type (E) - and then Is_Record_Type (Underlying_Type (E)) - then - Set_C_Pass_By_Copy (Base_Type (Underlying_Type (E))); - else - Error_Pragma_Arg - ("C_Pass_By_Copy convention allowed only for record type", - Arg2); - end if; - end if; - - -- If the entity is a derived boolean type, check for the - -- special case of convention C, C++, or Fortran, where we - -- consider any nonzero value to represent true. - - if Is_Discrete_Type (E) - and then Root_Type (Etype (E)) = Standard_Boolean - and then - (C = Convention_C - or else - C = Convention_CPP - or else - C = Convention_Fortran) - then - Set_Nonzero_Is_True (Base_Type (E)); - end if; - end Set_Convention_From_Pragma; - - -- Start of processing for Process_Convention - - begin - Check_At_Least_N_Arguments (2); - Check_Optional_Identifier (Arg1, Name_Convention); - Check_Arg_Is_Identifier (Arg1); - Cname := Chars (Expression (Arg1)); - - -- C_Pass_By_Copy is treated as a synonym for convention C - -- (this is tested again below to set the critical flag) - - if Cname = Name_C_Pass_By_Copy then - C := Convention_C; - - -- Otherwise we must have something in the standard convention list - - elsif Is_Convention_Name (Cname) then - C := Get_Convention_Id (Chars (Expression (Arg1))); - - -- In DEC VMS, it seems that there is an undocumented feature - -- that any unrecognized convention is treated as the default, - -- which for us is convention C. It does not seem so terrible - -- to do this unconditionally, silently in the VMS case, and - -- with a warning in the non-VMS case. - - else - if Warn_On_Export_Import and not OpenVMS_On_Target then - Error_Msg_N - ("?unrecognized convention name, C assumed", - Expression (Arg1)); - end if; - - C := Convention_C; - end if; - - Check_Optional_Identifier (Arg2, Name_Entity); - Check_Arg_Is_Local_Name (Arg2); - - Id := Expression (Arg2); - Analyze (Id); - - if not Is_Entity_Name (Id) then - Error_Pragma_Arg ("entity name required", Arg2); - end if; - - E := Entity (Id); - - -- Go to renamed subprogram if present, since convention applies - -- to the actual renamed entity, not to the renaming entity. - -- If subprogram is inherited, go to parent subprogram. - - if Is_Subprogram (E) - and then Present (Alias (E)) - then - if Nkind (Parent (Declaration_Node (E))) - = N_Subprogram_Renaming_Declaration - then - E := Alias (E); - - elsif Nkind (Parent (E)) = N_Full_Type_Declaration - and then Scope (E) = Scope (Alias (E)) - then - E := Alias (E); - end if; - end if; - - -- Check that we are not applying this to a specless body - - if Is_Subprogram (E) - and then Nkind (Parent (Declaration_Node (E))) = N_Subprogram_Body - then - Error_Pragma - ("pragma% requires separate spec and must come before body"); - end if; - - -- Check that we are not applying this to a named constant - - if Ekind (E) = E_Named_Integer - or else - Ekind (E) = E_Named_Real - then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N - ("cannot apply pragma% to named constant!", - Get_Pragma_Arg (Arg2)); - Error_Pragma_Arg - ("\supply appropriate type for&!", Arg2); - end if; - - if Etype (E) = Any_Type - or else Rep_Item_Too_Early (E, N) - then - raise Pragma_Exit; - else - E := Underlying_Type (E); - end if; - - if Rep_Item_Too_Late (E, N) then - raise Pragma_Exit; - end if; - - if Has_Convention_Pragma (E) then - Error_Pragma_Arg - ("at most one Convention/Export/Import pragma is allowed", Arg2); - - elsif Convention (E) = Convention_Protected - or else Ekind (Scope (E)) = E_Protected_Type - then - Error_Pragma_Arg - ("a protected operation cannot be given a different convention", - Arg2); - end if; - - -- For Intrinsic, a subprogram is required - - if C = Convention_Intrinsic - and then not Is_Subprogram (E) - and then not Is_Generic_Subprogram (E) - then - Error_Pragma_Arg - ("second argument of pragma% must be a subprogram", Arg2); - end if; - - -- For Stdcall, a subprogram, variable or subprogram type is required - - if C = Convention_Stdcall - and then not Is_Subprogram (E) - and then not Is_Generic_Subprogram (E) - and then Ekind (E) /= E_Variable - and then not - (Is_Access_Type (E) - and then Ekind (Designated_Type (E)) = E_Subprogram_Type) - then - Error_Pragma_Arg - ("second argument of pragma% must be subprogram (type)", - Arg2); - end if; - - if not Is_Subprogram (E) - and then not Is_Generic_Subprogram (E) - then - Set_Convention_From_Pragma (E); - - if Is_Type (E) then - - Check_First_Subtype (Arg2); - Set_Convention_From_Pragma (Base_Type (E)); - - -- For subprograms, we must set the convention on the - -- internally generated directly designated type as well. - - if Ekind (E) = E_Access_Subprogram_Type then - Set_Convention_From_Pragma (Directly_Designated_Type (E)); - end if; - end if; - - -- For the subprogram case, set proper convention for all homonyms - -- in same scope and the same declarative part, i.e. the same - -- compilation unit. - - else - Comp_Unit := Get_Source_Unit (E); - Set_Convention_From_Pragma (E); - - -- Treat a pragma Import as an implicit body, for GPS use - - if Prag_Id = Pragma_Import then - Generate_Reference (E, Id, 'b'); - end if; - - E1 := E; - loop - E1 := Homonym (E1); - exit when No (E1) or else Scope (E1) /= Current_Scope; - - -- Note: below we are missing a check for Rep_Item_Too_Late. - -- That is deliberate, we cannot chain the rep item on more - -- than one Rep_Item chain, to be fixed later ??? - - if Comes_From_Source (E1) - and then Comp_Unit = Get_Source_Unit (E1) - and then Nkind (Original_Node (Parent (E1))) /= - N_Full_Type_Declaration - then - Set_Convention_From_Pragma (E1); - - if Prag_Id = Pragma_Import then - Generate_Reference (E, Id, 'b'); - end if; - end if; - end loop; - end if; - end Process_Convention; - - ----------------------------------------------------- - -- Process_Extended_Import_Export_Exception_Pragma -- - ----------------------------------------------------- - - procedure Process_Extended_Import_Export_Exception_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Form : Node_Id; - Arg_Code : Node_Id) - is - Def_Id : Entity_Id; - Code_Val : Uint; - - begin - GNAT_Pragma; - - if not OpenVMS_On_Target then - Error_Pragma - ("?pragma% ignored (applies only to Open'V'M'S)"); - end if; - - Process_Extended_Import_Export_Internal_Arg (Arg_Internal); - Def_Id := Entity (Arg_Internal); - - if Ekind (Def_Id) /= E_Exception then - Error_Pragma_Arg - ("pragma% must refer to declared exception", Arg_Internal); - end if; - - Set_Extended_Import_Export_External_Name (Def_Id, Arg_External); - - if Present (Arg_Form) then - Check_Arg_Is_One_Of (Arg_Form, Name_Ada, Name_VMS); - end if; - - if Present (Arg_Form) - and then Chars (Arg_Form) = Name_Ada - then - null; - else - Set_Is_VMS_Exception (Def_Id); - Set_Exception_Code (Def_Id, No_Uint); - end if; - - if Present (Arg_Code) then - if not Is_VMS_Exception (Def_Id) then - Error_Pragma_Arg - ("Code option for pragma% not allowed for Ada case", - Arg_Code); - end if; - - Check_Arg_Is_Static_Expression (Arg_Code, Any_Integer); - Code_Val := Expr_Value (Arg_Code); - - if not UI_Is_In_Int_Range (Code_Val) then - Error_Pragma_Arg - ("Code option for pragma% must be in 32-bit range", - Arg_Code); - - else - Set_Exception_Code (Def_Id, Code_Val); - end if; - end if; - end Process_Extended_Import_Export_Exception_Pragma; - - ------------------------------------------------- - -- Process_Extended_Import_Export_Internal_Arg -- - ------------------------------------------------- - - procedure Process_Extended_Import_Export_Internal_Arg - (Arg_Internal : Node_Id := Empty) - is - begin - GNAT_Pragma; - - if No (Arg_Internal) then - Error_Pragma ("Internal parameter required for pragma%"); - end if; - - if Nkind (Arg_Internal) = N_Identifier then - null; - - elsif Nkind (Arg_Internal) = N_Operator_Symbol - and then (Prag_Id = Pragma_Import_Function - or else - Prag_Id = Pragma_Export_Function) - then - null; - - else - Error_Pragma_Arg - ("wrong form for Internal parameter for pragma%", Arg_Internal); - end if; - - Check_Arg_Is_Local_Name (Arg_Internal); - end Process_Extended_Import_Export_Internal_Arg; - - -------------------------------------------------- - -- Process_Extended_Import_Export_Object_Pragma -- - -------------------------------------------------- - - procedure Process_Extended_Import_Export_Object_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Size : Node_Id) - is - Def_Id : Entity_Id; - - begin - Process_Extended_Import_Export_Internal_Arg (Arg_Internal); - Def_Id := Entity (Arg_Internal); - - if Ekind (Def_Id) /= E_Constant - and then Ekind (Def_Id) /= E_Variable - then - Error_Pragma_Arg - ("pragma% must designate an object", Arg_Internal); - end if; - - if Has_Rep_Pragma (Def_Id, Name_Common_Object) - or else - Has_Rep_Pragma (Def_Id, Name_Psect_Object) - then - Error_Pragma_Arg - ("previous Common/Psect_Object applies, pragma % not permitted", - Arg_Internal); - end if; - - if Rep_Item_Too_Late (Def_Id, N) then - raise Pragma_Exit; - end if; - - Set_Extended_Import_Export_External_Name (Def_Id, Arg_External); - - if Present (Arg_Size) then - Check_Arg_Is_External_Name (Arg_Size); - end if; - - -- Export_Object case - - if Prag_Id = Pragma_Export_Object then - if not Is_Library_Level_Entity (Def_Id) then - Error_Pragma_Arg - ("argument for pragma% must be library level entity", - Arg_Internal); - end if; - - if Ekind (Current_Scope) = E_Generic_Package then - Error_Pragma ("pragma& cannot appear in a generic unit"); - end if; - - if not Size_Known_At_Compile_Time (Etype (Def_Id)) then - Error_Pragma_Arg - ("exported object must have compile time known size", - Arg_Internal); - end if; - - if Warn_On_Export_Import and then Is_Exported (Def_Id) then - Error_Msg_N - ("?duplicate Export_Object pragma", N); - else - Set_Exported (Def_Id, Arg_Internal); - end if; - - -- Import_Object case - - else - if Is_Concurrent_Type (Etype (Def_Id)) then - Error_Pragma_Arg - ("cannot use pragma% for task/protected object", - Arg_Internal); - end if; - - if Ekind (Def_Id) = E_Constant then - Error_Pragma_Arg - ("cannot import a constant", Arg_Internal); - end if; - - if Warn_On_Export_Import - and then Has_Discriminants (Etype (Def_Id)) - then - Error_Msg_N - ("imported value must be initialized?", Arg_Internal); - end if; - - if Warn_On_Export_Import - and then Is_Access_Type (Etype (Def_Id)) - then - Error_Pragma_Arg - ("cannot import object of an access type?", Arg_Internal); - end if; - - if Warn_On_Export_Import - and then Is_Imported (Def_Id) - then - Error_Msg_N - ("?duplicate Import_Object pragma", N); - - -- Check for explicit initialization present. Note that an - -- initialization that generated by the code generator, e.g. - -- for an access type, does not count here. - - elsif Present (Expression (Parent (Def_Id))) - and then - Comes_From_Source - (Original_Node (Expression (Parent (Def_Id)))) - then - Error_Msg_Sloc := Sloc (Def_Id); - Error_Pragma_Arg - ("no initialization allowed for declaration of& #", - "\imported entities cannot be initialized ('R'M' 'B.1(24))", - Arg1); - else - Set_Imported (Def_Id); - Note_Possible_Modification (Arg_Internal); - end if; - end if; - end Process_Extended_Import_Export_Object_Pragma; - - ------------------------------------------------------ - -- Process_Extended_Import_Export_Subprogram_Pragma -- - ------------------------------------------------------ - - procedure Process_Extended_Import_Export_Subprogram_Pragma - (Arg_Internal : Node_Id; - Arg_External : Node_Id; - Arg_Parameter_Types : Node_Id; - Arg_Result_Type : Node_Id := Empty; - Arg_Mechanism : Node_Id; - Arg_Result_Mechanism : Node_Id := Empty; - Arg_First_Optional_Parameter : Node_Id := Empty) - is - Ent : Entity_Id; - Def_Id : Entity_Id; - Hom_Id : Entity_Id; - Formal : Entity_Id; - Ambiguous : Boolean; - Match : Boolean; - Dval : Node_Id; - - function Same_Base_Type - (Ptype : Node_Id; - Formal : Entity_Id) return Boolean; - -- Determines if Ptype references the type of Formal. Note that - -- only the base types need to match according to the spec. Ptype - -- here is the argument from the pragma, which is either a type - -- name, or an access attribute. - - -------------------- - -- Same_Base_Type -- - -------------------- - - function Same_Base_Type - (Ptype : Node_Id; - Formal : Entity_Id) return Boolean - is - Ftyp : constant Entity_Id := Base_Type (Etype (Formal)); - Pref : Node_Id; - - begin - -- Case where pragma argument is typ'Access - - if Nkind (Ptype) = N_Attribute_Reference - and then Attribute_Name (Ptype) = Name_Access - then - Pref := Prefix (Ptype); - Find_Type (Pref); - - if not Is_Entity_Name (Pref) - or else Entity (Pref) = Any_Type - then - raise Pragma_Exit; - end if; - - -- We have a match if the corresponding argument is of an - -- anonymous access type, and its designicated type matches - -- the type of the prefix of the access attribute - - return Ekind (Ftyp) = E_Anonymous_Access_Type - and then Base_Type (Entity (Pref)) = - Base_Type (Etype (Designated_Type (Ftyp))); - - -- Case where pragma argument is a type name - - else - Find_Type (Ptype); - - if not Is_Entity_Name (Ptype) - or else Entity (Ptype) = Any_Type - then - raise Pragma_Exit; - end if; - - -- We have a match if the corresponding argument is of - -- the type given in the pragma (comparing base types) - - return Base_Type (Entity (Ptype)) = Ftyp; - end if; - end Same_Base_Type; - - -- Start of processing for - -- Process_Extended_Import_Export_Subprogram_Pragma - - begin - Process_Extended_Import_Export_Internal_Arg (Arg_Internal); - Ent := Empty; - Ambiguous := False; - - -- Loop through homonyms (overloadings) of the entity - - Hom_Id := Entity (Arg_Internal); - while Present (Hom_Id) loop - Def_Id := Get_Base_Subprogram (Hom_Id); - - -- We need a subprogram in the current scope - - if not Is_Subprogram (Def_Id) - or else Scope (Def_Id) /= Current_Scope - then - null; - - else - Match := True; - - -- Pragma cannot apply to subprogram body - - if Is_Subprogram (Def_Id) - and then - Nkind (Parent - (Declaration_Node (Def_Id))) = N_Subprogram_Body - then - Error_Pragma - ("pragma% requires separate spec" - & " and must come before body"); - end if; - - -- Test result type if given, note that the result type - -- parameter can only be present for the function cases. - - if Present (Arg_Result_Type) - and then not Same_Base_Type (Arg_Result_Type, Def_Id) - then - Match := False; - - elsif Etype (Def_Id) /= Standard_Void_Type - and then - (Chars (N) = Name_Export_Procedure - or else Chars (N) = Name_Import_Procedure) - then - Match := False; - - -- Test parameter types if given. Note that this parameter - -- has not been analyzed (and must not be, since it is - -- semantic nonsense), so we get it as the parser left it. - - elsif Present (Arg_Parameter_Types) then - Check_Matching_Types : declare - Formal : Entity_Id; - Ptype : Node_Id; - - begin - Formal := First_Formal (Def_Id); - - if Nkind (Arg_Parameter_Types) = N_Null then - if Present (Formal) then - Match := False; - end if; - - -- A list of one type, e.g. (List) is parsed as - -- a parenthesized expression. - - elsif Nkind (Arg_Parameter_Types) /= N_Aggregate - and then Paren_Count (Arg_Parameter_Types) = 1 - then - if No (Formal) - or else Present (Next_Formal (Formal)) - then - Match := False; - else - Match := - Same_Base_Type (Arg_Parameter_Types, Formal); - end if; - - -- A list of more than one type is parsed as a aggregate - - elsif Nkind (Arg_Parameter_Types) = N_Aggregate - and then Paren_Count (Arg_Parameter_Types) = 0 - then - Ptype := First (Expressions (Arg_Parameter_Types)); - while Present (Ptype) or else Present (Formal) loop - if No (Ptype) - or else No (Formal) - or else not Same_Base_Type (Ptype, Formal) - then - Match := False; - exit; - else - Next_Formal (Formal); - Next (Ptype); - end if; - end loop; - - -- Anything else is of the wrong form - - else - Error_Pragma_Arg - ("wrong form for Parameter_Types parameter", - Arg_Parameter_Types); - end if; - end Check_Matching_Types; - end if; - - -- Match is now False if the entry we found did not match - -- either a supplied Parameter_Types or Result_Types argument - - if Match then - if No (Ent) then - Ent := Def_Id; - - -- Ambiguous case, the flag Ambiguous shows if we already - -- detected this and output the initial messages. - - else - if not Ambiguous then - Ambiguous := True; - Error_Msg_Name_1 := Chars (N); - Error_Msg_N - ("pragma% does not uniquely identify subprogram!", - N); - Error_Msg_Sloc := Sloc (Ent); - Error_Msg_N ("matching subprogram #!", N); - Ent := Empty; - end if; - - Error_Msg_Sloc := Sloc (Def_Id); - Error_Msg_N ("matching subprogram #!", N); - end if; - end if; - end if; - - Hom_Id := Homonym (Hom_Id); - end loop; - - -- See if we found an entry - - if No (Ent) then - if not Ambiguous then - if Is_Generic_Subprogram (Entity (Arg_Internal)) then - Error_Pragma - ("pragma% cannot be given for generic subprogram"); - - else - Error_Pragma - ("pragma% does not identify local subprogram"); - end if; - end if; - - return; - end if; - - -- Import pragmas must be be for imported entities - - if Prag_Id = Pragma_Import_Function - or else - Prag_Id = Pragma_Import_Procedure - or else - Prag_Id = Pragma_Import_Valued_Procedure - then - if not Is_Imported (Ent) then - Error_Pragma - ("pragma Import or Interface must precede pragma%"); - end if; - - -- Here we have the Export case which can set the entity as exported - - -- But does not do so if the specified external name is null, - -- since that is taken as a signal in DEC Ada 83 (with which - -- we want to be compatible) to request no external name. - - elsif Nkind (Arg_External) = N_String_Literal - and then String_Length (Strval (Arg_External)) = 0 - then - null; - - -- In all other cases, set entit as exported - - else - Set_Exported (Ent, Arg_Internal); - end if; - - -- Special processing for Valued_Procedure cases - - if Prag_Id = Pragma_Import_Valued_Procedure - or else - Prag_Id = Pragma_Export_Valued_Procedure - then - Formal := First_Formal (Ent); - - if No (Formal) then - Error_Pragma - ("at least one parameter required for pragma%"); - - elsif Ekind (Formal) /= E_Out_Parameter then - Error_Pragma - ("first parameter must have mode out for pragma%"); - - else - Set_Is_Valued_Procedure (Ent); - end if; - end if; - - Set_Extended_Import_Export_External_Name (Ent, Arg_External); - - -- Process Result_Mechanism argument if present. We have already - -- checked that this is only allowed for the function case. - - if Present (Arg_Result_Mechanism) then - Set_Mechanism_Value (Ent, Arg_Result_Mechanism); - end if; - - -- Process Mechanism parameter if present. Note that this parameter - -- is not analyzed, and must not be analyzed since it is semantic - -- nonsense, so we get it in exactly as the parser left it. - - if Present (Arg_Mechanism) then - declare - Formal : Entity_Id; - Massoc : Node_Id; - Mname : Node_Id; - Choice : Node_Id; - - begin - -- A single mechanism association without a formal parameter - -- name is parsed as a parenthesized expression. All other - -- cases are parsed as aggregates, so we rewrite the single - -- parameter case as an aggregate for consistency. - - if Nkind (Arg_Mechanism) /= N_Aggregate - and then Paren_Count (Arg_Mechanism) = 1 - then - Rewrite (Arg_Mechanism, - Make_Aggregate (Sloc (Arg_Mechanism), - Expressions => New_List ( - Relocate_Node (Arg_Mechanism)))); - end if; - - -- Case of only mechanism name given, applies to all formals - - if Nkind (Arg_Mechanism) /= N_Aggregate then - Formal := First_Formal (Ent); - while Present (Formal) loop - Set_Mechanism_Value (Formal, Arg_Mechanism); - Next_Formal (Formal); - end loop; - - -- Case of list of mechanism associations given - - else - if Null_Record_Present (Arg_Mechanism) then - Error_Pragma_Arg - ("inappropriate form for Mechanism parameter", - Arg_Mechanism); - end if; - - -- Deal with positional ones first - - Formal := First_Formal (Ent); - - if Present (Expressions (Arg_Mechanism)) then - Mname := First (Expressions (Arg_Mechanism)); - - while Present (Mname) loop - if No (Formal) then - Error_Pragma_Arg - ("too many mechanism associations", Mname); - end if; - - Set_Mechanism_Value (Formal, Mname); - Next_Formal (Formal); - Next (Mname); - end loop; - end if; - - -- Deal with named entries - - if Present (Component_Associations (Arg_Mechanism)) then - Massoc := First (Component_Associations (Arg_Mechanism)); - - while Present (Massoc) loop - Choice := First (Choices (Massoc)); - - if Nkind (Choice) /= N_Identifier - or else Present (Next (Choice)) - then - Error_Pragma_Arg - ("incorrect form for mechanism association", - Massoc); - end if; - - Formal := First_Formal (Ent); - loop - if No (Formal) then - Error_Pragma_Arg - ("parameter name & not present", Choice); - end if; - - if Chars (Choice) = Chars (Formal) then - Set_Mechanism_Value - (Formal, Expression (Massoc)); - exit; - end if; - - Next_Formal (Formal); - end loop; - - Next (Massoc); - end loop; - end if; - end if; - end; - end if; - - -- Process First_Optional_Parameter argument if present. We have - -- already checked that this is only allowed for the Import case. - - if Present (Arg_First_Optional_Parameter) then - if Nkind (Arg_First_Optional_Parameter) /= N_Identifier then - Error_Pragma_Arg - ("first optional parameter must be formal parameter name", - Arg_First_Optional_Parameter); - end if; - - Formal := First_Formal (Ent); - loop - if No (Formal) then - Error_Pragma_Arg - ("specified formal parameter& not found", - Arg_First_Optional_Parameter); - end if; - - exit when Chars (Formal) = - Chars (Arg_First_Optional_Parameter); - - Next_Formal (Formal); - end loop; - - Set_First_Optional_Parameter (Ent, Formal); - - -- Check specified and all remaining formals have right form - - while Present (Formal) loop - if Ekind (Formal) /= E_In_Parameter then - Error_Msg_NE - ("optional formal& is not of mode in!", - Arg_First_Optional_Parameter, Formal); - - else - Dval := Default_Value (Formal); - - if No (Dval) then - Error_Msg_NE - ("optional formal& does not have default value!", - Arg_First_Optional_Parameter, Formal); - - elsif Compile_Time_Known_Value_Or_Aggr (Dval) then - null; - - else - Error_Msg_FE - ("default value for optional formal& is non-static!", - Arg_First_Optional_Parameter, Formal); - end if; - end if; - - Set_Is_Optional_Parameter (Formal); - Next_Formal (Formal); - end loop; - end if; - end Process_Extended_Import_Export_Subprogram_Pragma; - - -------------------------- - -- Process_Generic_List -- - -------------------------- - - procedure Process_Generic_List is - Arg : Node_Id; - Exp : Node_Id; - - begin - GNAT_Pragma; - Check_No_Identifiers; - Check_At_Least_N_Arguments (1); - - Arg := Arg1; - while Present (Arg) loop - Exp := Expression (Arg); - Analyze (Exp); - - if not Is_Entity_Name (Exp) - or else - (not Is_Generic_Instance (Entity (Exp)) - and then - not Is_Generic_Unit (Entity (Exp))) - then - Error_Pragma_Arg - ("pragma% argument must be name of generic unit/instance", - Arg); - end if; - - Next (Arg); - end loop; - end Process_Generic_List; - - --------------------------------- - -- Process_Import_Or_Interface -- - --------------------------------- - - procedure Process_Import_Or_Interface is - C : Convention_Id; - Def_Id : Entity_Id; - Hom_Id : Entity_Id; - - begin - Process_Convention (C, Def_Id); - Kill_Size_Check_Code (Def_Id); - Note_Possible_Modification (Expression (Arg2)); - - if Ekind (Def_Id) = E_Variable - or else - Ekind (Def_Id) = E_Constant - then - -- User initialization is not allowed for imported object, but - -- the object declaration may contain a default initialization, - -- that will be discarded. Note that an explicit initialization - -- only counts if it comes from source, otherwise it is simply - -- the code generator making an implicit initialization explicit. - - if Present (Expression (Parent (Def_Id))) - and then Comes_From_Source (Expression (Parent (Def_Id))) - then - Error_Msg_Sloc := Sloc (Def_Id); - Error_Pragma_Arg - ("no initialization allowed for declaration of& #", - "\imported entities cannot be initialized ('R'M' 'B.1(24))", - Arg2); - - else - Set_Imported (Def_Id); - Process_Interface_Name (Def_Id, Arg3, Arg4); - - -- Note that we do not set Is_Public here. That's because we - -- only want to set if if there is no address clause, and we - -- don't know that yet, so we delay that processing till - -- freeze time. - - -- pragma Import completes deferred constants - - if Ekind (Def_Id) = E_Constant then - Set_Has_Completion (Def_Id); - end if; - - -- It is not possible to import a constant of an unconstrained - -- array type (e.g. string) because there is no simple way to - -- write a meaningful subtype for it. - - if Is_Array_Type (Etype (Def_Id)) - and then not Is_Constrained (Etype (Def_Id)) - then - Error_Msg_NE - ("imported constant& must have a constrained subtype", - N, Def_Id); - end if; - end if; - - elsif Is_Subprogram (Def_Id) - or else Is_Generic_Subprogram (Def_Id) - then - -- If the name is overloaded, pragma applies to all of the - -- denoted entities in the same declarative part. - - Hom_Id := Def_Id; - while Present (Hom_Id) loop - Def_Id := Get_Base_Subprogram (Hom_Id); - - -- Ignore inherited subprograms because the pragma will - -- apply to the parent operation, which is the one called. - - if Is_Overloadable (Def_Id) - and then Present (Alias (Def_Id)) - then - null; - - -- If it is not a subprogram, it must be in an outer - -- scope and pragma does not apply. - - elsif not Is_Subprogram (Def_Id) - and then not Is_Generic_Subprogram (Def_Id) - then - null; - - -- Verify that the homonym is in the same declarative - -- part (not just the same scope). - - elsif Parent (Unit_Declaration_Node (Def_Id)) /= Parent (N) - and then Nkind (Parent (N)) /= N_Compilation_Unit_Aux - then - exit; - - else - Set_Imported (Def_Id); - - -- Special processing for Convention_Intrinsic - - if C = Convention_Intrinsic then - - -- Link_Name argument not allowed for intrinsic - - if Present (Arg3) - and then Chars (Arg3) = Name_Link_Name - then - Arg4 := Arg3; - end if; - - if Present (Arg4) then - Error_Pragma_Arg - ("Link_Name argument not allowed for " & - "Import Intrinsic", - Arg4); - end if; - - Set_Is_Intrinsic_Subprogram (Def_Id); - - -- If no external name is present, then check that - -- this is a valid intrinsic subprogram. If an external - -- name is present, then this is handled by the back end. - - if No (Arg3) then - Check_Intrinsic_Subprogram (Def_Id, Expression (Arg2)); - end if; - end if; - - -- All interfaced procedures need an external symbol - -- created for them since they are always referenced - -- from another object file. - - Set_Is_Public (Def_Id); - - -- Verify that the subprogram does not have a completion - -- through a renaming declaration. For other completions - -- the pragma appears as a too late representation. - - declare - Decl : constant Node_Id := Unit_Declaration_Node (Def_Id); - - begin - if Present (Decl) - and then Nkind (Decl) = N_Subprogram_Declaration - and then Present (Corresponding_Body (Decl)) - and then - Nkind - (Unit_Declaration_Node - (Corresponding_Body (Decl))) = - N_Subprogram_Renaming_Declaration - then - Error_Msg_Sloc := Sloc (Def_Id); - Error_Msg_NE ("cannot import&#," & - " already completed by a renaming", - N, Def_Id); - end if; - end; - - Set_Has_Completion (Def_Id); - Process_Interface_Name (Def_Id, Arg3, Arg4); - end if; - - if Is_Compilation_Unit (Hom_Id) then - - -- Its possible homonyms are not affected by the pragma. - -- Such homonyms might be present in the context of other - -- units being compiled. - - exit; - - else - Hom_Id := Homonym (Hom_Id); - end if; - end loop; - - -- When the convention is Java, we also allow Import to be given - -- for packages, exceptions, and record components. - - elsif C = Convention_Java - and then - (Ekind (Def_Id) = E_Package - or else Ekind (Def_Id) = E_Exception - or else Nkind (Parent (Def_Id)) = N_Component_Declaration) - then - Set_Imported (Def_Id); - Set_Is_Public (Def_Id); - Process_Interface_Name (Def_Id, Arg3, Arg4); - - else - Error_Pragma_Arg - ("second argument of pragma% must be object or subprogram", - Arg2); - end if; - - -- If this pragma applies to a compilation unit, then the unit, - -- which is a subprogram, does not require (or allow) a body. - -- We also do not need to elaborate imported procedures. - - if Nkind (Parent (N)) = N_Compilation_Unit_Aux then - declare - Cunit : constant Node_Id := Parent (Parent (N)); - begin - Set_Body_Required (Cunit, False); - end; - end if; - end Process_Import_Or_Interface; - - -------------------- - -- Process_Inline -- - -------------------- - - procedure Process_Inline (Active : Boolean) is - Assoc : Node_Id; - Decl : Node_Id; - Subp_Id : Node_Id; - Subp : Entity_Id; - Applies : Boolean; - Effective : Boolean := False; - - procedure Make_Inline (Subp : Entity_Id); - -- Subp is the defining unit name of the subprogram - -- declaration. Set the flag, as well as the flag in the - -- corresponding body, if there is one present. - - procedure Set_Inline_Flags (Subp : Entity_Id); - -- Sets Is_Inlined and Has_Pragma_Inline flags for Subp - - function Inlining_Not_Possible (Subp : Entity_Id) return Boolean; - -- Returns True if it can be determined at this stage that inlining - -- is not possible, for examle if the body is available and contains - -- exception handlers, we prevent inlining, since otherwise we can - -- get undefined symbols at link time. This function also emits a - -- warning if front-end inlining is enabled and the pragma appears - -- too late. - -- ??? is business with link symbols still valid, or does it relate - -- to front end ZCX which is being phased out ??? - - --------------------------- - -- Inlining_Not_Possible -- - --------------------------- - - function Inlining_Not_Possible (Subp : Entity_Id) return Boolean is - Decl : constant Node_Id := Unit_Declaration_Node (Subp); - Stats : Node_Id; - - begin - if Nkind (Decl) = N_Subprogram_Body then - Stats := Handled_Statement_Sequence (Decl); - return Present (Exception_Handlers (Stats)) - or else Present (At_End_Proc (Stats)); - - elsif Nkind (Decl) = N_Subprogram_Declaration - and then Present (Corresponding_Body (Decl)) - then - if Front_End_Inlining - and then Analyzed (Corresponding_Body (Decl)) - then - Error_Msg_N ("pragma appears too late, ignored?", N); - return True; - - -- If the subprogram is a renaming as body, the body is - -- just a call to the renamed subprogram, and inlining is - -- trivially possible. - - elsif - Nkind (Unit_Declaration_Node (Corresponding_Body (Decl))) - = N_Subprogram_Renaming_Declaration - then - return False; - - else - Stats := - Handled_Statement_Sequence - (Unit_Declaration_Node (Corresponding_Body (Decl))); - - return - Present (Exception_Handlers (Stats)) - or else Present (At_End_Proc (Stats)); - end if; - - else - -- If body is not available, assume the best, the check is - -- performed again when compiling enclosing package bodies. - - return False; - end if; - end Inlining_Not_Possible; - - ----------------- - -- Make_Inline -- - ----------------- - - procedure Make_Inline (Subp : Entity_Id) is - Kind : constant Entity_Kind := Ekind (Subp); - Inner_Subp : Entity_Id := Subp; - - begin - if Etype (Subp) = Any_Type then - return; - - -- If inlining is not possible, for now do not treat as an error - - elsif Inlining_Not_Possible (Subp) then - Applies := True; - return; - - -- Here we have a candidate for inlining, but we must exclude - -- derived operations. Otherwise we will end up trying to - -- inline a phantom declaration, and the result would be to - -- drag in a body which has no direct inlining associated with - -- it. That would not only be inefficient but would also result - -- in the backend doing cross-unit inlining in cases where it - -- was definitely inappropriate to do so. - - -- However, a simple Comes_From_Source test is insufficient, - -- since we do want to allow inlining of generic instances, - -- which also do not come from source. Predefined operators do - -- not come from source but are not inlineable either. - - elsif not Comes_From_Source (Subp) - and then not Is_Generic_Instance (Subp) - and then Scope (Subp) /= Standard_Standard - then - Applies := True; - return; - - -- The referenced entity must either be the enclosing entity, - -- or an entity declared within the current open scope. - - elsif Present (Scope (Subp)) - and then Scope (Subp) /= Current_Scope - and then Subp /= Current_Scope - then - Error_Pragma_Arg - ("argument of% must be entity in current scope", Assoc); - return; - end if; - - -- Processing for procedure, operator or function. - -- If subprogram is aliased (as for an instance) indicate - -- that the renamed entity (if declared in the same unit) - -- is inlined. - - if Is_Subprogram (Subp) then - while Present (Alias (Inner_Subp)) loop - Inner_Subp := Alias (Inner_Subp); - end loop; - - if In_Same_Source_Unit (Subp, Inner_Subp) then - Set_Inline_Flags (Inner_Subp); - - Decl := Parent (Parent (Inner_Subp)); - - if Nkind (Decl) = N_Subprogram_Declaration - and then Present (Corresponding_Body (Decl)) - then - Set_Inline_Flags (Corresponding_Body (Decl)); - end if; - end if; - - Applies := True; - - -- For a generic subprogram set flag as well, for use at - -- the point of instantiation, to determine whether the - -- body should be generated. - - elsif Is_Generic_Subprogram (Subp) then - Set_Inline_Flags (Subp); - Applies := True; - - -- Literals are by definition inlined - - elsif Kind = E_Enumeration_Literal then - null; - - -- Anything else is an error - - else - Error_Pragma_Arg - ("expect subprogram name for pragma%", Assoc); - end if; - end Make_Inline; - - ---------------------- - -- Set_Inline_Flags -- - ---------------------- - - procedure Set_Inline_Flags (Subp : Entity_Id) is - begin - if Active then - Set_Is_Inlined (Subp, True); - end if; - - if not Has_Pragma_Inline (Subp) then - Set_Has_Pragma_Inline (Subp); - Set_Next_Rep_Item (N, First_Rep_Item (Subp)); - Set_First_Rep_Item (Subp, N); - Effective := True; - end if; - end Set_Inline_Flags; - - -- Start of processing for Process_Inline - - begin - Check_No_Identifiers; - Check_At_Least_N_Arguments (1); - - if Active then - Inline_Processing_Required := True; - end if; - - Assoc := Arg1; - while Present (Assoc) loop - Subp_Id := Expression (Assoc); - Analyze (Subp_Id); - Applies := False; - - if Is_Entity_Name (Subp_Id) then - Subp := Entity (Subp_Id); - - if Subp = Any_Id then - - -- If previous error, avoid cascaded errors - - Applies := True; - Effective := True; - - else - Make_Inline (Subp); - - while Present (Homonym (Subp)) - and then Scope (Homonym (Subp)) = Current_Scope - loop - Make_Inline (Homonym (Subp)); - Subp := Homonym (Subp); - end loop; - end if; - end if; - - if not Applies then - Error_Pragma_Arg - ("inappropriate argument for pragma%", Assoc); - - elsif not Effective - and then Warn_On_Redundant_Constructs - then - if Inlining_Not_Possible (Subp) then - Error_Msg_NE - ("pragma Inline for& is ignored?", N, Entity (Subp_Id)); - else - Error_Msg_NE - ("pragma Inline for& is redundant?", N, Entity (Subp_Id)); - end if; - end if; - - Next (Assoc); - end loop; - end Process_Inline; - - ---------------------------- - -- Process_Interface_Name -- - ---------------------------- - - procedure Process_Interface_Name - (Subprogram_Def : Entity_Id; - Ext_Arg : Node_Id; - Link_Arg : Node_Id) - is - Ext_Nam : Node_Id; - Link_Nam : Node_Id; - String_Val : String_Id; - - procedure Check_Form_Of_Interface_Name (SN : Node_Id); - -- SN is a string literal node for an interface name. This routine - -- performs some minimal checks that the name is reasonable. In - -- particular that no spaces or other obviously incorrect characters - -- appear. This is only a warning, since any characters are allowed. - - ---------------------------------- - -- Check_Form_Of_Interface_Name -- - ---------------------------------- - - procedure Check_Form_Of_Interface_Name (SN : Node_Id) is - S : constant String_Id := Strval (Expr_Value_S (SN)); - SL : constant Nat := String_Length (S); - C : Char_Code; - - begin - if SL = 0 then - Error_Msg_N ("interface name cannot be null string", SN); - end if; - - for J in 1 .. SL loop - C := Get_String_Char (S, J); - - if Warn_On_Export_Import - and then (not In_Character_Range (C) - or else Get_Character (C) = ' ' - or else Get_Character (C) = ',') - then - Error_Msg_N - ("?interface name contains illegal character", SN); - end if; - end loop; - end Check_Form_Of_Interface_Name; - - -- Start of processing for Process_Interface_Name - - begin - if No (Link_Arg) then - if No (Ext_Arg) then - return; - - elsif Chars (Ext_Arg) = Name_Link_Name then - Ext_Nam := Empty; - Link_Nam := Expression (Ext_Arg); - - else - Check_Optional_Identifier (Ext_Arg, Name_External_Name); - Ext_Nam := Expression (Ext_Arg); - Link_Nam := Empty; - end if; - - else - Check_Optional_Identifier (Ext_Arg, Name_External_Name); - Check_Optional_Identifier (Link_Arg, Name_Link_Name); - Ext_Nam := Expression (Ext_Arg); - Link_Nam := Expression (Link_Arg); - end if; - - -- Check expressions for external name and link name are static - - if Present (Ext_Nam) then - Check_Arg_Is_Static_Expression (Ext_Nam, Standard_String); - Check_Form_Of_Interface_Name (Ext_Nam); - - -- Verify that the external name is not the name of a local - -- entity, which would hide the imported one and lead to - -- run-time surprises. The problem can only arise for entities - -- declared in a package body (otherwise the external name is - -- fully qualified and won't conflict). - - declare - Nam : Name_Id; - E : Entity_Id; - Par : Node_Id; - - begin - if Prag_Id = Pragma_Import then - String_To_Name_Buffer (Strval (Expr_Value_S (Ext_Nam))); - Nam := Name_Find; - E := Entity_Id (Get_Name_Table_Info (Nam)); - - if Nam /= Chars (Subprogram_Def) - and then Present (E) - and then not Is_Overloadable (E) - and then Is_Immediately_Visible (E) - and then not Is_Imported (E) - and then Ekind (Scope (E)) = E_Package - then - Par := Parent (E); - - while Present (Par) loop - if Nkind (Par) = N_Package_Body then - Error_Msg_Sloc := Sloc (E); - Error_Msg_NE - ("imported entity is hidden by & declared#", - Ext_Arg, E); - exit; - end if; - - Par := Parent (Par); - end loop; - end if; - end if; - end; - end if; - - if Present (Link_Nam) then - Check_Arg_Is_Static_Expression (Link_Nam, Standard_String); - Check_Form_Of_Interface_Name (Link_Nam); - end if; - - -- If there is no link name, just set the external name - - if No (Link_Nam) then - Link_Nam := Adjust_External_Name_Case (Expr_Value_S (Ext_Nam)); - - -- For the Link_Name case, the given literal is preceded by an - -- asterisk, which indicates to GCC that the given name should - -- be taken literally, and in particular that no prepending of - -- underlines should occur, even in systems where this is the - -- normal default. - - else - Start_String; - Store_String_Char (Get_Char_Code ('*')); - String_Val := Strval (Expr_Value_S (Link_Nam)); - - for J in 1 .. String_Length (String_Val) loop - Store_String_Char (Get_String_Char (String_Val, J)); - end loop; - - Link_Nam := - Make_String_Literal (Sloc (Link_Nam), End_String); - end if; - - Set_Encoded_Interface_Name - (Get_Base_Subprogram (Subprogram_Def), Link_Nam); - Check_Duplicated_Export_Name (Link_Nam); - end Process_Interface_Name; - - ----------------------------------------- - -- Process_Interrupt_Or_Attach_Handler -- - ----------------------------------------- - - procedure Process_Interrupt_Or_Attach_Handler is - Arg1_X : constant Node_Id := Expression (Arg1); - Handler_Proc : constant Entity_Id := Entity (Arg1_X); - Proc_Scope : constant Entity_Id := Scope (Handler_Proc); - - begin - Set_Is_Interrupt_Handler (Handler_Proc); - - -- If the pragma is not associated with a handler procedure - -- within a protected type, then it must be for a nonprotected - -- procedure for the AAMP target, in which case we don't - -- associate a representation item with the procedure's scope. - - if Ekind (Proc_Scope) = E_Protected_Type then - if Prag_Id = Pragma_Interrupt_Handler - or else - Prag_Id = Pragma_Attach_Handler - then - Record_Rep_Item (Proc_Scope, N); - end if; - end if; - end Process_Interrupt_Or_Attach_Handler; - - -------------------------------------------------- - -- Process_Restrictions_Or_Restriction_Warnings -- - -------------------------------------------------- - - -- Note: some of the simple identifier cases were handled in par-prag, - -- but it is harmless (and more straightforward) to simply handle all - -- cases here, even if it means we repeat a bit of work in some cases. - - procedure Process_Restrictions_Or_Restriction_Warnings is - Arg : Node_Id; - R_Id : Restriction_Id; - Id : Name_Id; - Expr : Node_Id; - Val : Uint; - - procedure Check_Unit_Name (N : Node_Id); - -- Checks unit name parameter for No_Dependence. Returns if it has - -- an appropriate form, otherwise raises pragma argument error. - - procedure Set_Warning (R : All_Restrictions); - -- If this is a Restriction_Warnings pragma, set warning flag, - -- otherwise reset the flag. - - --------------------- - -- Check_Unit_Name -- - --------------------- - - procedure Check_Unit_Name (N : Node_Id) is - begin - if Nkind (N) = N_Selected_Component then - Check_Unit_Name (Prefix (N)); - Check_Unit_Name (Selector_Name (N)); - - elsif Nkind (N) = N_Identifier then - return; - - else - Error_Pragma_Arg - ("wrong form for unit name for No_Dependence", N); - end if; - end Check_Unit_Name; - - ----------------- - -- Set_Warning -- - ----------------- - - procedure Set_Warning (R : All_Restrictions) is - begin - if Prag_Id = Pragma_Restriction_Warnings then - Restriction_Warnings (R) := True; - else - Restriction_Warnings (R) := False; - end if; - end Set_Warning; - - -- Start of processing for Process_Restrictions_Or_Restriction_Warnings - - begin - Check_Ada_83_Warning; - Check_At_Least_N_Arguments (1); - Check_Valid_Configuration_Pragma; - - Arg := Arg1; - while Present (Arg) loop - Id := Chars (Arg); - Expr := Expression (Arg); - - -- Case of no restriction identifier present - - if Id = No_Name then - if Nkind (Expr) /= N_Identifier then - Error_Pragma_Arg - ("invalid form for restriction", Arg); - end if; - - R_Id := - Get_Restriction_Id - (Process_Restriction_Synonyms (Expr)); - - if R_Id not in All_Boolean_Restrictions then - Error_Pragma_Arg - ("invalid restriction identifier", Arg); - end if; - - if Implementation_Restriction (R_Id) then - Check_Restriction - (No_Implementation_Restrictions, Arg); - end if; - - Set_Restriction (R_Id, N); - Set_Warning (R_Id); - - -- A very special case that must be processed here: - -- pragma Restrictions (No_Exceptions) turns off - -- all run-time checking. This is a bit dubious in - -- terms of the formal language definition, but it - -- is what is intended by RM H.4(12). - - if R_Id = No_Exceptions then - Scope_Suppress := (others => True); - end if; - - -- Case of No_Dependence => unit-name. Note that the parser - -- already made the necessary entry in the No_Dependence table. - - elsif Id = Name_No_Dependence then - Check_Unit_Name (Expr); - - -- All other cases of restriction identifier present - - else - R_Id := Get_Restriction_Id (Process_Restriction_Synonyms (Arg)); - Analyze_And_Resolve (Expr, Any_Integer); - - if R_Id not in All_Parameter_Restrictions then - Error_Pragma_Arg - ("invalid restriction parameter identifier", Arg); - - elsif not Is_OK_Static_Expression (Expr) then - Flag_Non_Static_Expr - ("value must be static expression!", Expr); - raise Pragma_Exit; - - elsif not Is_Integer_Type (Etype (Expr)) - or else Expr_Value (Expr) < 0 - then - Error_Pragma_Arg - ("value must be non-negative integer", Arg); - - -- Restriction pragma is active - - else - Val := Expr_Value (Expr); - - if not UI_Is_In_Int_Range (Val) then - Error_Pragma_Arg - ("pragma ignored, value too large?", Arg); - else - Set_Restriction (R_Id, N, Integer (UI_To_Int (Val))); - Set_Warning (R_Id); - end if; - end if; - end if; - - Next (Arg); - end loop; - end Process_Restrictions_Or_Restriction_Warnings; - - --------------------------------- - -- Process_Suppress_Unsuppress -- - --------------------------------- - - -- Note: this procedure makes entries in the check suppress data - -- structures managed by Sem. See spec of package Sem for full - -- details on how we handle recording of check suppression. - - procedure Process_Suppress_Unsuppress (Suppress_Case : Boolean) is - C : Check_Id; - E_Id : Node_Id; - E : Entity_Id; - - In_Package_Spec : constant Boolean := - (Ekind (Current_Scope) = E_Package - or else - Ekind (Current_Scope) = E_Generic_Package) - and then not In_Package_Body (Current_Scope); - - procedure Suppress_Unsuppress_Echeck (E : Entity_Id; C : Check_Id); - -- Used to suppress a single check on the given entity - - -------------------------------- - -- Suppress_Unsuppress_Echeck -- - -------------------------------- - - procedure Suppress_Unsuppress_Echeck (E : Entity_Id; C : Check_Id) is - ESR : constant Entity_Check_Suppress_Record := - (Entity => E, - Check => C, - Suppress => Suppress_Case); - - begin - Set_Checks_May_Be_Suppressed (E); - - if In_Package_Spec then - Global_Entity_Suppress.Append (ESR); - else - Local_Entity_Suppress.Append (ESR); - end if; - - -- If this is a first subtype, and the base type is distinct, - -- then also set the suppress flags on the base type. - - if Is_First_Subtype (E) - and then Etype (E) /= E - then - Suppress_Unsuppress_Echeck (Etype (E), C); - end if; - end Suppress_Unsuppress_Echeck; - - -- Start of processing for Process_Suppress_Unsuppress - - begin - -- Suppress/Unsuppress can appear as a configuration pragma, - -- or in a declarative part or a package spec (RM 11.5(5)) - - if not Is_Configuration_Pragma then - Check_Is_In_Decl_Part_Or_Package_Spec; - end if; - - Check_At_Least_N_Arguments (1); - Check_At_Most_N_Arguments (2); - Check_No_Identifier (Arg1); - Check_Arg_Is_Identifier (Arg1); - - if not Is_Check_Name (Chars (Expression (Arg1))) then - Error_Pragma_Arg - ("argument of pragma% is not valid check name", Arg1); - else - C := Get_Check_Id (Chars (Expression (Arg1))); - end if; - - if Arg_Count = 1 then - - -- Make an entry in the local scope suppress table. This is the - -- table that directly shows the current value of the scope - -- suppress check for any check id value. - - if C = All_Checks then - - -- For All_Checks, we set all specific checks with the - -- exception of Elaboration_Check, which is handled specially - -- because of not wanting All_Checks to have the effect of - -- deactivating static elaboration order processing. - - for J in Scope_Suppress'Range loop - if J /= Elaboration_Check then - Scope_Suppress (J) := Suppress_Case; - end if; - end loop; - - -- If not All_Checks, just set appropriate entry. Note that we - -- will set Elaboration_Check if this is explicitly specified. - - else - Scope_Suppress (C) := Suppress_Case; - end if; - - -- Also make an entry in the Local_Entity_Suppress table. See - -- extended description in the package spec of Sem for details. - - Local_Entity_Suppress.Append - ((Entity => Empty, - Check => C, - Suppress => Suppress_Case)); - - -- Case of two arguments present, where the check is - -- suppressed for a specified entity (given as the second - -- argument of the pragma) - - else - Check_Optional_Identifier (Arg2, Name_On); - E_Id := Expression (Arg2); - Analyze (E_Id); - - if not Is_Entity_Name (E_Id) then - Error_Pragma_Arg - ("second argument of pragma% must be entity name", Arg2); - end if; - - E := Entity (E_Id); - - if E = Any_Id then - return; - end if; - - -- Enforce RM 11.5(7) which requires that for a pragma that - -- appears within a package spec, the named entity must be - -- within the package spec. We allow the package name itself - -- to be mentioned since that makes sense, although it is not - -- strictly allowed by 11.5(7). - - if In_Package_Spec - and then E /= Current_Scope - and then Scope (E) /= Current_Scope - then - Error_Pragma_Arg - ("entity in pragma% is not in package spec ('R'M 11.5(7))", - Arg2); - end if; - - -- Loop through homonyms. As noted below, in the case of a package - -- spec, only homonyms within the package spec are considered. - - loop - Suppress_Unsuppress_Echeck (E, C); - - if Is_Generic_Instance (E) - and then Is_Subprogram (E) - and then Present (Alias (E)) - then - Suppress_Unsuppress_Echeck (Alias (E), C); - end if; - - -- Move to next homonym - - E := Homonym (E); - exit when No (E); - - -- If we are within a package specification, the - -- pragma only applies to homonyms in the same scope. - - exit when In_Package_Spec - and then Scope (E) /= Current_Scope; - end loop; - end if; - end Process_Suppress_Unsuppress; - - ------------------ - -- Set_Exported -- - ------------------ - - procedure Set_Exported (E : Entity_Id; Arg : Node_Id) is - begin - if Is_Imported (E) then - Error_Pragma_Arg - ("cannot export entity& that was previously imported", Arg); - - elsif Present (Address_Clause (E)) then - Error_Pragma_Arg - ("cannot export entity& that has an address clause", Arg); - end if; - - Set_Is_Exported (E); - - -- Generate a reference for entity explicitly, because the - -- identifier may be overloaded and name resolution will not - -- generate one. - - Generate_Reference (E, Arg); - - -- Deal with exporting non-library level entity - - if not Is_Library_Level_Entity (E) then - - -- Not allowed at all for subprograms - - if Is_Subprogram (E) then - Error_Pragma_Arg ("local subprogram& cannot be exported", Arg); - - -- Otherwise set public and statically allocated - - else - Set_Is_Public (E); - Set_Is_Statically_Allocated (E); - - -- Warn if the corresponding W flag is set and the pragma - -- comes from source. The latter may not be true e.g. on - -- VMS where we expand export pragmas for exception codes - -- associated with imported or exported exceptions. We do - -- not want to generate a warning for something that the - -- user did not write. - - if Warn_On_Export_Import - and then Comes_From_Source (Arg) - then - Error_Msg_NE - ("?& has been made static as a result of Export", Arg, E); - Error_Msg_N - ("\this usage is non-standard and non-portable", Arg); - end if; - end if; - end if; - - if Warn_On_Export_Import and then Is_Type (E) then - Error_Msg_NE - ("exporting a type has no effect?", Arg, E); - end if; - - if Warn_On_Export_Import and Inside_A_Generic then - Error_Msg_NE - ("all instances of& will have the same external name?", Arg, E); - end if; - end Set_Exported; - - ---------------------------------------------- - -- Set_Extended_Import_Export_External_Name -- - ---------------------------------------------- - - procedure Set_Extended_Import_Export_External_Name - (Internal_Ent : Entity_Id; - Arg_External : Node_Id) - is - Old_Name : constant Node_Id := Interface_Name (Internal_Ent); - New_Name : Node_Id; - - begin - if No (Arg_External) then - return; - end if; - - Check_Arg_Is_External_Name (Arg_External); - - if Nkind (Arg_External) = N_String_Literal then - if String_Length (Strval (Arg_External)) = 0 then - return; - else - New_Name := Adjust_External_Name_Case (Arg_External); - end if; - - elsif Nkind (Arg_External) = N_Identifier then - New_Name := Get_Default_External_Name (Arg_External); - - -- Check_Arg_Is_External_Name should let through only - -- identifiers and string literals or static string - -- expressions (which are folded to string literals). - - else - raise Program_Error; - end if; - - -- If we already have an external name set (by a prior normal - -- Import or Export pragma), then the external names must match - - if Present (Interface_Name (Internal_Ent)) then - Check_Matching_Internal_Names : declare - S1 : constant String_Id := Strval (Old_Name); - S2 : constant String_Id := Strval (New_Name); - - procedure Mismatch; - -- Called if names do not match - - -------------- - -- Mismatch -- - -------------- - - procedure Mismatch is - begin - Error_Msg_Sloc := Sloc (Old_Name); - Error_Pragma_Arg - ("external name does not match that given #", - Arg_External); - end Mismatch; - - -- Start of processing for Check_Matching_Internal_Names - - begin - if String_Length (S1) /= String_Length (S2) then - Mismatch; - - else - for J in 1 .. String_Length (S1) loop - if Get_String_Char (S1, J) /= Get_String_Char (S2, J) then - Mismatch; - end if; - end loop; - end if; - end Check_Matching_Internal_Names; - - -- Otherwise set the given name - - else - Set_Encoded_Interface_Name (Internal_Ent, New_Name); - Check_Duplicated_Export_Name (New_Name); - end if; - end Set_Extended_Import_Export_External_Name; - - ------------------ - -- Set_Imported -- - ------------------ - - procedure Set_Imported (E : Entity_Id) is - begin - Error_Msg_Sloc := Sloc (E); - - if Is_Exported (E) or else Is_Imported (E) then - Error_Msg_NE ("import of& declared# not allowed", N, E); - - if Is_Exported (E) then - Error_Msg_N ("\entity was previously exported", N); - else - Error_Msg_N ("\entity was previously imported", N); - end if; - - Error_Pragma ("\(pragma% applies to all previous entities)"); - - else - Set_Is_Imported (E); - - -- If the entity is an object that is not at the library - -- level, then it is statically allocated. We do not worry - -- about objects with address clauses in this context since - -- they are not really imported in the linker sense. - - if Is_Object (E) - and then not Is_Library_Level_Entity (E) - and then No (Address_Clause (E)) - then - Set_Is_Statically_Allocated (E); - end if; - end if; - end Set_Imported; - - ------------------------- - -- Set_Mechanism_Value -- - ------------------------- - - -- Note: the mechanism name has not been analyzed (and cannot indeed - -- be analyzed, since it is semantic nonsense), so we get it in the - -- exact form created by the parser. - - procedure Set_Mechanism_Value (Ent : Entity_Id; Mech_Name : Node_Id) is - Class : Node_Id; - Param : Node_Id; - - procedure Bad_Class; - -- Signal bad descriptor class name - - procedure Bad_Mechanism; - -- Signal bad mechanism name - - --------------- - -- Bad_Class -- - --------------- - - procedure Bad_Class is - begin - Error_Pragma_Arg ("unrecognized descriptor class name", Class); - end Bad_Class; - - ------------------------- - -- Bad_Mechanism_Value -- - ------------------------- - - procedure Bad_Mechanism is - begin - Error_Pragma_Arg ("unrecognized mechanism name", Mech_Name); - end Bad_Mechanism; - - -- Start of processing for Set_Mechanism_Value - - begin - if Mechanism (Ent) /= Default_Mechanism then - Error_Msg_NE - ("mechanism for & has already been set", Mech_Name, Ent); - end if; - - -- MECHANISM_NAME ::= value | reference | descriptor - - if Nkind (Mech_Name) = N_Identifier then - if Chars (Mech_Name) = Name_Value then - Set_Mechanism (Ent, By_Copy); - return; - - elsif Chars (Mech_Name) = Name_Reference then - Set_Mechanism (Ent, By_Reference); - return; - - elsif Chars (Mech_Name) = Name_Descriptor then - Check_VMS (Mech_Name); - Set_Mechanism (Ent, By_Descriptor); - return; - - elsif Chars (Mech_Name) = Name_Copy then - Error_Pragma_Arg - ("bad mechanism name, Value assumed", Mech_Name); - - else - Bad_Mechanism; - end if; - - -- MECHANISM_NAME ::= descriptor (CLASS_NAME) - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - -- Note: this form is parsed as an indexed component - - elsif Nkind (Mech_Name) = N_Indexed_Component then - Class := First (Expressions (Mech_Name)); - - if Nkind (Prefix (Mech_Name)) /= N_Identifier - or else Chars (Prefix (Mech_Name)) /= Name_Descriptor - or else Present (Next (Class)) - then - Bad_Mechanism; - end if; - - -- MECHANISM_NAME ::= descriptor (Class => CLASS_NAME) - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - -- Note: this form is parsed as a function call - - elsif Nkind (Mech_Name) = N_Function_Call then - - Param := First (Parameter_Associations (Mech_Name)); - - if Nkind (Name (Mech_Name)) /= N_Identifier - or else Chars (Name (Mech_Name)) /= Name_Descriptor - or else Present (Next (Param)) - or else No (Selector_Name (Param)) - or else Chars (Selector_Name (Param)) /= Name_Class - then - Bad_Mechanism; - else - Class := Explicit_Actual_Parameter (Param); - end if; - - else - Bad_Mechanism; - end if; - - -- Fall through here with Class set to descriptor class name - - Check_VMS (Mech_Name); - - if Nkind (Class) /= N_Identifier then - Bad_Class; - - elsif Chars (Class) = Name_UBS then - Set_Mechanism (Ent, By_Descriptor_UBS); - - elsif Chars (Class) = Name_UBSB then - Set_Mechanism (Ent, By_Descriptor_UBSB); - - elsif Chars (Class) = Name_UBA then - Set_Mechanism (Ent, By_Descriptor_UBA); - - elsif Chars (Class) = Name_S then - Set_Mechanism (Ent, By_Descriptor_S); - - elsif Chars (Class) = Name_SB then - Set_Mechanism (Ent, By_Descriptor_SB); - - elsif Chars (Class) = Name_A then - Set_Mechanism (Ent, By_Descriptor_A); - - elsif Chars (Class) = Name_NCA then - Set_Mechanism (Ent, By_Descriptor_NCA); - - else - Bad_Class; - end if; - end Set_Mechanism_Value; - - --------------------------- - -- Set_Ravenscar_Profile -- - --------------------------- - - -- The tasks to be done here are - - -- Set required policies - - -- pragma Task_Dispatching_Policy (FIFO_Within_Priorities) - -- pragma Locking_Policy (Ceiling_Locking) - - -- Set Detect_Blocking mode - - -- Set required restrictions (see System.Rident for detailed list) - - procedure Set_Ravenscar_Profile (N : Node_Id) is - begin - -- pragma Task_Dispatching_Policy (FIFO_Within_Priorities) - - if Task_Dispatching_Policy /= ' ' - and then Task_Dispatching_Policy /= 'F' - then - Error_Msg_Sloc := Task_Dispatching_Policy_Sloc; - Error_Pragma ("Profile (Ravenscar) incompatible with policy#"); - - -- Set the FIFO_Within_Priorities policy, but always preserve - -- System_Location since we like the error message with the run time - -- name. - - else - Task_Dispatching_Policy := 'F'; - - if Task_Dispatching_Policy_Sloc /= System_Location then - Task_Dispatching_Policy_Sloc := Loc; - end if; - end if; - - -- pragma Locking_Policy (Ceiling_Locking) - - if Locking_Policy /= ' ' - and then Locking_Policy /= 'C' - then - Error_Msg_Sloc := Locking_Policy_Sloc; - Error_Pragma ("Profile (Ravenscar) incompatible with policy#"); - - -- Set the Ceiling_Locking policy, but preserve System_Location since - -- we like the error message with the run time name. - - else - Locking_Policy := 'C'; - - if Locking_Policy_Sloc /= System_Location then - Locking_Policy_Sloc := Loc; - end if; - end if; - - -- pragma Detect_Blocking - - Detect_Blocking := True; - - -- Set the corresponding restrictions - - Set_Profile_Restrictions (Ravenscar, N, Warn => False); - end Set_Ravenscar_Profile; - - -- Start of processing for Analyze_Pragma - - begin - if not Is_Pragma_Name (Chars (N)) then - if Warn_On_Unrecognized_Pragma then - Error_Pragma ("unrecognized pragma%?"); - else - return; - end if; - else - Prag_Id := Get_Pragma_Id (Chars (N)); - end if; - - -- Preset arguments - - Arg1 := Empty; - Arg2 := Empty; - Arg3 := Empty; - Arg4 := Empty; - - if Present (Pragma_Argument_Associations (N)) then - Arg1 := First (Pragma_Argument_Associations (N)); - - if Present (Arg1) then - Arg2 := Next (Arg1); - - if Present (Arg2) then - Arg3 := Next (Arg2); - - if Present (Arg3) then - Arg4 := Next (Arg3); - end if; - end if; - end if; - end if; - - -- Count number of arguments - - declare - Arg_Node : Node_Id; - begin - Arg_Count := 0; - Arg_Node := Arg1; - while Present (Arg_Node) loop - Arg_Count := Arg_Count + 1; - Next (Arg_Node); - end loop; - end; - - -- An enumeration type defines the pragmas that are supported by the - -- implementation. Get_Pragma_Id (in package Prag) transorms a name - -- into the corresponding enumeration value for the following case. - - case Prag_Id is - - ----------------- - -- Abort_Defer -- - ----------------- - - -- pragma Abort_Defer; - - when Pragma_Abort_Defer => - GNAT_Pragma; - Check_Arg_Count (0); - - -- The only required semantic processing is to check the - -- placement. This pragma must appear at the start of the - -- statement sequence of a handled sequence of statements. - - if Nkind (Parent (N)) /= N_Handled_Sequence_Of_Statements - or else N /= First (Statements (Parent (N))) - then - Pragma_Misplaced; - end if; - - ------------ - -- Ada_83 -- - ------------ - - -- pragma Ada_83; - - -- Note: this pragma also has some specific processing in Par.Prag - -- because we want to set the Ada version mode during parsing. - - when Pragma_Ada_83 => - GNAT_Pragma; - Ada_Version := Ada_83; - Ada_Version_Explicit := Ada_Version; - Check_Arg_Count (0); - - ------------ - -- Ada_95 -- - ------------ - - -- pragma Ada_95; - - -- Note: this pragma also has some specific processing in Par.Prag - -- because we want to set the Ada 83 version mode during parsing. - - when Pragma_Ada_95 => - GNAT_Pragma; - Ada_Version := Ada_95; - Ada_Version_Explicit := Ada_Version; - Check_Arg_Count (0); - - --------------------- - -- Ada_05/Ada_2005 -- - --------------------- - - -- pragma Ada_05; - -- pragma Ada_05 (LOCAL_NAME); - - -- pragma Ada_2005; - -- pragma Ada_2005 (LOCAL_NAME): - - -- Note: these pragma also have some specific processing in Par.Prag - -- because we want to set the Ada 2005 version mode during parsing. - - when Pragma_Ada_05 | Pragma_Ada_2005 => declare - E_Id : Node_Id; - - begin - GNAT_Pragma; - - if Arg_Count = 1 then - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - end if; - - Set_Is_Ada_2005 (Entity (E_Id)); - - else - Check_Arg_Count (0); - Ada_Version := Ada_05; - Ada_Version_Explicit := Ada_05; - end if; - end; - - ---------------------- - -- All_Calls_Remote -- - ---------------------- - - -- pragma All_Calls_Remote [(library_package_NAME)]; - - when Pragma_All_Calls_Remote => All_Calls_Remote : declare - Lib_Entity : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Lib_Entity := Find_Lib_Unit_Name; - - -- This pragma should only apply to a RCI unit (RM E.2.3(23)) - - if Present (Lib_Entity) - and then not Debug_Flag_U - then - if not Is_Remote_Call_Interface (Lib_Entity) then - Error_Pragma ("pragma% only apply to rci unit"); - - -- Set flag for entity of the library unit - - else - Set_Has_All_Calls_Remote (Lib_Entity); - end if; - - end if; - end All_Calls_Remote; - - -------------- - -- Annotate -- - -------------- - - -- pragma Annotate (IDENTIFIER {, ARG}); - -- ARG ::= NAME | EXPRESSION - - when Pragma_Annotate => Annotate : begin - GNAT_Pragma; - Check_At_Least_N_Arguments (1); - Check_Arg_Is_Identifier (Arg1); - - declare - Arg : Node_Id := Arg2; - Exp : Node_Id; - - begin - while Present (Arg) loop - Exp := Expression (Arg); - Analyze (Exp); - - if Is_Entity_Name (Exp) then - null; - - elsif Nkind (Exp) = N_String_Literal then - Resolve (Exp, Standard_String); - - elsif Is_Overloaded (Exp) then - Error_Pragma_Arg ("ambiguous argument for pragma%", Exp); - - else - Resolve (Exp); - end if; - - Next (Arg); - end loop; - end; - end Annotate; - - ------------ - -- Assert -- - ------------ - - -- pragma Assert ([Check =>] Boolean_EXPRESSION - -- [, [Message =>] Static_String_EXPRESSION]); - - when Pragma_Assert => - Check_At_Least_N_Arguments (1); - Check_At_Most_N_Arguments (2); - Check_Arg_Order ((Name_Check, Name_Message)); - Check_Optional_Identifier (Arg1, Name_Check); - - if Arg_Count > 1 then - Check_Optional_Identifier (Arg2, Name_Message); - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - end if; - - -- If expansion is active and assertions are inactive, then - -- we rewrite the Assertion as: - - -- if False and then condition then - -- null; - -- end if; - - -- The reason we do this rewriting during semantic analysis - -- rather than as part of normal expansion is that we cannot - -- analyze and expand the code for the boolean expression - -- directly, or it may cause insertion of actions that would - -- escape the attempt to suppress the assertion code. - - if Expander_Active and not Assertions_Enabled then - Rewrite (N, - Make_If_Statement (Loc, - Condition => - Make_And_Then (Loc, - Left_Opnd => New_Occurrence_Of (Standard_False, Loc), - Right_Opnd => Get_Pragma_Arg (Arg1)), - Then_Statements => New_List ( - Make_Null_Statement (Loc)))); - - Analyze (N); - - -- Otherwise (if assertions are enabled, or if we are not - -- operating with expansion active), then we just analyze - -- and resolve the expression. - - else - Analyze_And_Resolve (Expression (Arg1), Any_Boolean); - end if; - - ---------------------- - -- Assertion_Policy -- - ---------------------- - - -- pragma Assertion_Policy (Check | Ignore) - - when Pragma_Assertion_Policy => - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Check, Name_Ignore); - Assertions_Enabled := Chars (Expression (Arg1)) = Name_Check; - - --------------- - -- AST_Entry -- - --------------- - - -- pragma AST_Entry (entry_IDENTIFIER); - - when Pragma_AST_Entry => AST_Entry : declare - Ent : Node_Id; - - begin - GNAT_Pragma; - Check_VMS (N); - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Local_Name (Arg1); - Ent := Entity (Expression (Arg1)); - - -- Note: the implementation of the AST_Entry pragma could handle - -- the entry family case fine, but for now we are consistent with - -- the DEC rules, and do not allow the pragma, which of course - -- has the effect of also forbidding the attribute. - - if Ekind (Ent) /= E_Entry then - Error_Pragma_Arg - ("pragma% argument must be simple entry name", Arg1); - - elsif Is_AST_Entry (Ent) then - Error_Pragma_Arg - ("duplicate % pragma for entry", Arg1); - - elsif Has_Homonym (Ent) then - Error_Pragma_Arg - ("pragma% argument cannot specify overloaded entry", Arg1); - - else - declare - FF : constant Entity_Id := First_Formal (Ent); - - begin - if Present (FF) then - if Present (Next_Formal (FF)) then - Error_Pragma_Arg - ("entry for pragma% can have only one argument", - Arg1); - - elsif Parameter_Mode (FF) /= E_In_Parameter then - Error_Pragma_Arg - ("entry parameter for pragma% must have mode IN", - Arg1); - end if; - end if; - end; - - Set_Is_AST_Entry (Ent); - end if; - end AST_Entry; - - ------------------ - -- Asynchronous -- - ------------------ - - -- pragma Asynchronous (LOCAL_NAME); - - when Pragma_Asynchronous => Asynchronous : declare - Nm : Entity_Id; - C_Ent : Entity_Id; - L : List_Id; - S : Node_Id; - N : Node_Id; - Formal : Entity_Id; - - procedure Process_Async_Pragma; - -- Common processing for procedure and access-to-procedure case - - -------------------------- - -- Process_Async_Pragma -- - -------------------------- - - procedure Process_Async_Pragma is - begin - if No (L) then - Set_Is_Asynchronous (Nm); - return; - end if; - - -- The formals should be of mode IN (RM E.4.1(6)) - - S := First (L); - while Present (S) loop - Formal := Defining_Identifier (S); - - if Nkind (Formal) = N_Defining_Identifier - and then Ekind (Formal) /= E_In_Parameter - then - Error_Pragma_Arg - ("pragma% procedure can only have IN parameter", - Arg1); - end if; - - Next (S); - end loop; - - Set_Is_Asynchronous (Nm); - end Process_Async_Pragma; - - -- Start of processing for pragma Asynchronous - - begin - Check_Ada_83_Warning; - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - - if Debug_Flag_U then - return; - end if; - - C_Ent := Cunit_Entity (Current_Sem_Unit); - Analyze (Expression (Arg1)); - Nm := Entity (Expression (Arg1)); - - if not Is_Remote_Call_Interface (C_Ent) - and then not Is_Remote_Types (C_Ent) - then - -- This pragma should only appear in an RCI or Remote Types - -- unit (RM E.4.1(4)) - - Error_Pragma - ("pragma% not in Remote_Call_Interface or " & - "Remote_Types unit"); - end if; - - if Ekind (Nm) = E_Procedure - and then Nkind (Parent (Nm)) = N_Procedure_Specification - then - if not Is_Remote_Call_Interface (Nm) then - Error_Pragma_Arg - ("pragma% cannot be applied on non-remote procedure", - Arg1); - end if; - - L := Parameter_Specifications (Parent (Nm)); - Process_Async_Pragma; - return; - - elsif Ekind (Nm) = E_Function then - Error_Pragma_Arg - ("pragma% cannot be applied to function", Arg1); - - elsif Is_Remote_Access_To_Subprogram_Type (Nm) then - - if Is_Record_Type (Nm) then - -- A record type that is the Equivalent_Type for - -- a remote access-to-subprogram type. - - N := Declaration_Node (Corresponding_Remote_Type (Nm)); - - else - -- A non-expanded RAS type (case where distribution is - -- not enabled). - - N := Declaration_Node (Nm); - end if; - - if Nkind (N) = N_Full_Type_Declaration - and then Nkind (Type_Definition (N)) = - N_Access_Procedure_Definition - then - L := Parameter_Specifications (Type_Definition (N)); - Process_Async_Pragma; - - if Is_Asynchronous (Nm) - and then Expander_Active - and then Get_PCS_Name /= Name_No_DSA - then - RACW_Type_Is_Asynchronous (Underlying_RACW_Type (Nm)); - end if; - - else - Error_Pragma_Arg - ("pragma% cannot reference access-to-function type", - Arg1); - end if; - - -- Only other possibility is Access-to-class-wide type - - elsif Is_Access_Type (Nm) - and then Is_Class_Wide_Type (Designated_Type (Nm)) - then - Check_First_Subtype (Arg1); - Set_Is_Asynchronous (Nm); - if Expander_Active then - RACW_Type_Is_Asynchronous (Nm); - end if; - - else - Error_Pragma_Arg ("inappropriate argument for pragma%", Arg1); - end if; - end Asynchronous; - - ------------ - -- Atomic -- - ------------ - - -- pragma Atomic (LOCAL_NAME); - - when Pragma_Atomic => - Process_Atomic_Shared_Volatile; - - ----------------------- - -- Atomic_Components -- - ----------------------- - - -- pragma Atomic_Components (array_LOCAL_NAME); - - -- This processing is shared by Volatile_Components - - when Pragma_Atomic_Components | - Pragma_Volatile_Components => - - Atomic_Components : declare - E_Id : Node_Id; - E : Entity_Id; - D : Node_Id; - K : Node_Kind; - - begin - Check_Ada_83_Warning; - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - end if; - - E := Entity (E_Id); - - if Rep_Item_Too_Early (E, N) - or else - Rep_Item_Too_Late (E, N) - then - return; - end if; - - D := Declaration_Node (E); - K := Nkind (D); - - if (K = N_Full_Type_Declaration and then Is_Array_Type (E)) - or else - ((Ekind (E) = E_Constant or else Ekind (E) = E_Variable) - and then Nkind (D) = N_Object_Declaration - and then Nkind (Object_Definition (D)) = - N_Constrained_Array_Definition) - then - -- The flag is set on the object, or on the base type - - if Nkind (D) /= N_Object_Declaration then - E := Base_Type (E); - end if; - - Set_Has_Volatile_Components (E); - - if Prag_Id = Pragma_Atomic_Components then - Set_Has_Atomic_Components (E); - - if Is_Packed (E) then - Set_Is_Packed (E, False); - - Error_Pragma_Arg - ("?Pack canceled, cannot pack atomic components", - Arg1); - end if; - end if; - - else - Error_Pragma_Arg ("inappropriate entity for pragma%", Arg1); - end if; - end Atomic_Components; - - -------------------- - -- Attach_Handler -- - -------------------- - - -- pragma Attach_Handler (handler_NAME, EXPRESSION); - - when Pragma_Attach_Handler => - Check_Ada_83_Warning; - Check_No_Identifiers; - Check_Arg_Count (2); - - if No_Run_Time_Mode then - Error_Msg_CRT ("Attach_Handler pragma", N); - else - Check_Interrupt_Or_Attach_Handler; - - -- The expression that designates the attribute may - -- depend on a discriminant, and is therefore a per- - -- object expression, to be expanded in the init proc. - -- If expansion is enabled, perform semantic checks - -- on a copy only. - - if Expander_Active then - declare - Temp : constant Node_Id := - New_Copy_Tree (Expression (Arg2)); - begin - Set_Parent (Temp, N); - Pre_Analyze_And_Resolve (Temp, RTE (RE_Interrupt_ID)); - end; - - else - Analyze (Expression (Arg2)); - Resolve (Expression (Arg2), RTE (RE_Interrupt_ID)); - end if; - - Process_Interrupt_Or_Attach_Handler; - end if; - - -------------------- - -- C_Pass_By_Copy -- - -------------------- - - -- pragma C_Pass_By_Copy ([Max_Size =>] static_integer_EXPRESSION); - - when Pragma_C_Pass_By_Copy => C_Pass_By_Copy : declare - Arg : Node_Id; - Val : Uint; - - begin - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, "max_size"); - - Arg := Expression (Arg1); - Check_Arg_Is_Static_Expression (Arg, Any_Integer); - - Val := Expr_Value (Arg); - - if Val <= 0 then - Error_Pragma_Arg - ("maximum size for pragma% must be positive", Arg1); - - elsif UI_Is_In_Int_Range (Val) then - Default_C_Record_Mechanism := UI_To_Int (Val); - - -- If a giant value is given, Int'Last will do well enough. - -- If sometime someone complains that a record larger than - -- two gigabytes is not copied, we will worry about it then! - - else - Default_C_Record_Mechanism := Mechanism_Type'Last; - end if; - end C_Pass_By_Copy; - - ------------- - -- Comment -- - ------------- - - -- pragma Comment (static_string_EXPRESSION) - - -- Processing for pragma Comment shares the circuitry for - -- pragma Ident. The only differences are that Ident enforces - -- a limit of 31 characters on its argument, and also enforces - -- limitations on placement for DEC compatibility. Pragma - -- Comment shares neither of these restrictions. - - ------------------- - -- Common_Object -- - ------------------- - - -- pragma Common_Object ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Size =>] EXTERNAL_SYMBOL]); - - -- Processing for this pragma is shared with Psect_Object - - -------------------------- - -- Compile_Time_Warning -- - -------------------------- - - -- pragma Compile_Time_Warning - -- (boolean_EXPRESSION, static_string_EXPRESSION); - - when Pragma_Compile_Time_Warning => Compile_Time_Warning : declare - Arg1x : constant Node_Id := Get_Pragma_Arg (Arg1); - - begin - GNAT_Pragma; - Check_Arg_Count (2); - Check_No_Identifiers; - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - Analyze_And_Resolve (Arg1x, Standard_Boolean); - - if Compile_Time_Known_Value (Arg1x) then - if Is_True (Expr_Value (Get_Pragma_Arg (Arg1))) then - String_To_Name_Buffer (Strval (Get_Pragma_Arg (Arg2))); - Add_Char_To_Name_Buffer ('?'); - - declare - Msg : String (1 .. Name_Len) := - Name_Buffer (1 .. Name_Len); - - B : Natural; - - begin - -- This loop looks for multiple lines separated by - -- ASCII.LF and breaks them into continuation error - -- messages marked with the usual back slash. - - B := 1; - for S in 2 .. Msg'Length - 1 loop - if Msg (S) = ASCII.LF then - Msg (S) := '?'; - Error_Msg_N (Msg (B .. S), Arg1); - B := S; - Msg (B) := '\'; - end if; - end loop; - - Error_Msg_N (Msg (B .. Msg'Length), Arg1); - end; - end if; - end if; - end Compile_Time_Warning; - - ----------------------------- - -- Complete_Representation -- - ----------------------------- - - -- pragma Complete_Representation; - - when Pragma_Complete_Representation => - GNAT_Pragma; - Check_Arg_Count (0); - - if Nkind (Parent (N)) /= N_Record_Representation_Clause then - Error_Pragma - ("pragma & must appear within record representation clause"); - end if; - - ---------------------------- - -- Complex_Representation -- - ---------------------------- - - -- pragma Complex_Representation ([Entity =>] LOCAL_NAME); - - when Pragma_Complex_Representation => Complex_Representation : declare - E_Id : Entity_Id; - E : Entity_Id; - Ent : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - end if; - - E := Entity (E_Id); - - if not Is_Record_Type (E) then - Error_Pragma_Arg - ("argument for pragma% must be record type", Arg1); - end if; - - Ent := First_Entity (E); - - if No (Ent) - or else No (Next_Entity (Ent)) - or else Present (Next_Entity (Next_Entity (Ent))) - or else not Is_Floating_Point_Type (Etype (Ent)) - or else Etype (Ent) /= Etype (Next_Entity (Ent)) - then - Error_Pragma_Arg - ("record for pragma% must have two fields of same fpt type", - Arg1); - - else - Set_Has_Complex_Representation (Base_Type (E)); - end if; - end Complex_Representation; - - ------------------------- - -- Component_Alignment -- - ------------------------- - - -- pragma Component_Alignment ( - -- [Form =>] ALIGNMENT_CHOICE - -- [, [Name =>] type_LOCAL_NAME]); - -- - -- ALIGNMENT_CHOICE ::= - -- Component_Size - -- | Component_Size_4 - -- | Storage_Unit - -- | Default - - when Pragma_Component_Alignment => Component_AlignmentP : declare - Args : Args_List (1 .. 2); - Names : constant Name_List (1 .. 2) := ( - Name_Form, - Name_Name); - - Form : Node_Id renames Args (1); - Name : Node_Id renames Args (2); - - Atype : Component_Alignment_Kind; - Typ : Entity_Id; - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - - if No (Form) then - Error_Pragma ("missing Form argument for pragma%"); - end if; - - Check_Arg_Is_Identifier (Form); - - -- Get proper alignment, note that Default = Component_Size - -- on all machines we have so far, and we want to set this - -- value rather than the default value to indicate that it - -- has been explicitly set (and thus will not get overridden - -- by the default component alignment for the current scope) - - if Chars (Form) = Name_Component_Size then - Atype := Calign_Component_Size; - - elsif Chars (Form) = Name_Component_Size_4 then - Atype := Calign_Component_Size_4; - - elsif Chars (Form) = Name_Default then - Atype := Calign_Component_Size; - - elsif Chars (Form) = Name_Storage_Unit then - Atype := Calign_Storage_Unit; - - else - Error_Pragma_Arg - ("invalid Form parameter for pragma%", Form); - end if; - - -- Case with no name, supplied, affects scope table entry - - if No (Name) then - Scope_Stack.Table - (Scope_Stack.Last).Component_Alignment_Default := Atype; - - -- Case of name supplied - - else - Check_Arg_Is_Local_Name (Name); - Find_Type (Name); - Typ := Entity (Name); - - if Typ = Any_Type - or else Rep_Item_Too_Early (Typ, N) - then - return; - else - Typ := Underlying_Type (Typ); - end if; - - if not Is_Record_Type (Typ) - and then not Is_Array_Type (Typ) - then - Error_Pragma_Arg - ("Name parameter of pragma% must identify record or " & - "array type", Name); - end if; - - -- An explicit Component_Alignment pragma overrides an - -- implicit pragma Pack, but not an explicit one. - - if not Has_Pragma_Pack (Base_Type (Typ)) then - Set_Is_Packed (Base_Type (Typ), False); - Set_Component_Alignment (Base_Type (Typ), Atype); - end if; - end if; - end Component_AlignmentP; - - ---------------- - -- Controlled -- - ---------------- - - -- pragma Controlled (first_subtype_LOCAL_NAME); - - when Pragma_Controlled => Controlled : declare - Arg : Node_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - Arg := Expression (Arg1); - - if not Is_Entity_Name (Arg) - or else not Is_Access_Type (Entity (Arg)) - then - Error_Pragma_Arg ("pragma% requires access type", Arg1); - else - Set_Has_Pragma_Controlled (Base_Type (Entity (Arg))); - end if; - end Controlled; - - ---------------- - -- Convention -- - ---------------- - - -- pragma Convention ([Convention =>] convention_IDENTIFIER, - -- [Entity =>] LOCAL_NAME); - - when Pragma_Convention => Convention : declare - C : Convention_Id; - E : Entity_Id; - begin - Check_Arg_Order ((Name_Convention, Name_Entity)); - Check_Ada_83_Warning; - Check_Arg_Count (2); - Process_Convention (C, E); - end Convention; - - --------------------------- - -- Convention_Identifier -- - --------------------------- - - -- pragma Convention_Identifier ([Name =>] IDENTIFIER, - -- [Convention =>] convention_IDENTIFIER); - - when Pragma_Convention_Identifier => Convention_Identifier : declare - Idnam : Name_Id; - Cname : Name_Id; - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Name, Name_Convention)); - Check_Arg_Count (2); - Check_Optional_Identifier (Arg1, Name_Name); - Check_Optional_Identifier (Arg2, Name_Convention); - Check_Arg_Is_Identifier (Arg1); - Check_Arg_Is_Identifier (Arg1); - Idnam := Chars (Expression (Arg1)); - Cname := Chars (Expression (Arg2)); - - if Is_Convention_Name (Cname) then - Record_Convention_Identifier - (Idnam, Get_Convention_Id (Cname)); - else - Error_Pragma_Arg - ("second arg for % pragma must be convention", Arg2); - end if; - end Convention_Identifier; - - --------------- - -- CPP_Class -- - --------------- - - -- pragma CPP_Class ([Entity =>] local_NAME) - - when Pragma_CPP_Class => CPP_Class : declare - Arg : Node_Id; - Typ : Entity_Id; - Default_DTC : Entity_Id := Empty; - VTP_Type : constant Entity_Id := RTE (RE_Vtable_Ptr); - C : Entity_Id; - Tag_C : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - Arg := Expression (Arg1); - Analyze (Arg); - - if Etype (Arg) = Any_Type then - return; - end if; - - if not Is_Entity_Name (Arg) - or else not Is_Type (Entity (Arg)) - then - Error_Pragma_Arg ("pragma% requires a type mark", Arg1); - end if; - - Typ := Entity (Arg); - - if not Is_Record_Type (Typ) then - Error_Pragma_Arg ("pragma% applicable to a record, " - & "tagged record or record extension", Arg1); - end if; - - Default_DTC := First_Component (Typ); - while Present (Default_DTC) - and then Etype (Default_DTC) /= VTP_Type - loop - Next_Component (Default_DTC); - end loop; - - -- Case of non tagged type - - if not Is_Tagged_Type (Typ) then - Set_Is_CPP_Class (Typ); - - if Present (Default_DTC) then - Error_Pragma_Arg - ("only tagged records can contain vtable pointers", Arg1); - end if; - - -- Case of tagged type with no user-defined vtable ptr. In this - -- case, because of our C++ ABI compatibility, the programmer - -- does not need to specify the tag component. - - elsif Is_Tagged_Type (Typ) - and then No (Default_DTC) - then - Set_Is_CPP_Class (Typ); - Set_Is_Limited_Record (Typ); - - -- Tagged type that has a vtable ptr - - elsif Present (Default_DTC) then - Set_Is_CPP_Class (Typ); - Set_Is_Limited_Record (Typ); - Set_Is_Tag (Default_DTC); - Set_DT_Entry_Count (Default_DTC, No_Uint); - - -- Since a CPP type has no direct link to its associated tag - -- most tags checks cannot be performed - - Set_Kill_Tag_Checks (Typ); - Set_Kill_Tag_Checks (Class_Wide_Type (Typ)); - - -- Get rid of the _tag component when there was one. - -- It is only useful for regular tagged types - - if Expander_Active and then Typ = Root_Type (Typ) then - - Tag_C := First_Tag_Component (Typ); - C := First_Entity (Typ); - - if C = Tag_C then - Set_First_Entity (Typ, Next_Entity (Tag_C)); - - else - while Next_Entity (C) /= Tag_C loop - Next_Entity (C); - end loop; - - Set_Next_Entity (C, Next_Entity (Tag_C)); - end if; - end if; - end if; - end CPP_Class; - - --------------------- - -- CPP_Constructor -- - --------------------- - - -- pragma CPP_Constructor ([Entity =>] LOCAL_NAME); - - when Pragma_CPP_Constructor => CPP_Constructor : declare - Id : Entity_Id; - Def_Id : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - Id := Expression (Arg1); - Find_Program_Unit_Name (Id); - - -- If we did not find the name, we are done - - if Etype (Id) = Any_Type then - return; - end if; - - Def_Id := Entity (Id); - - if Ekind (Def_Id) = E_Function - and then Is_Class_Wide_Type (Etype (Def_Id)) - and then Is_CPP_Class (Etype (Etype (Def_Id))) - then - -- What the heck is this??? this pragma allows only 1 arg - - if Arg_Count >= 2 then - Check_At_Most_N_Arguments (3); - Process_Interface_Name (Def_Id, Arg2, Arg3); - end if; - - if No (Parameter_Specifications (Parent (Def_Id))) then - Set_Has_Completion (Def_Id); - Set_Is_Constructor (Def_Id); - else - Error_Pragma_Arg - ("non-default constructors not implemented", Arg1); - end if; - - else - Error_Pragma_Arg - ("pragma% requires function returning a 'C'P'P_Class type", - Arg1); - end if; - end CPP_Constructor; - - ----------------- - -- CPP_Virtual -- - ----------------- - - -- pragma CPP_Virtual - -- [Entity =>] LOCAL_NAME - -- [ [Vtable_Ptr =>] LOCAL_NAME, - -- [Position =>] static_integer_EXPRESSION]); - - when Pragma_CPP_Virtual => CPP_Virtual : declare - Arg : Node_Id; - Typ : Entity_Id; - Subp : Entity_Id; - VTP_Type : constant Entity_Id := RTE (RE_Vtable_Ptr); - DTC : Entity_Id; - V : Uint; - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Vtable_Ptr, Name_Position)); - - if Arg_Count = 3 then - Check_Optional_Identifier (Arg2, Name_Vtable_Ptr); - - -- We allow Entry_Count as well as Position for the third - -- parameter for back compatibility with versions of GNAT - -- before version 3.12. The documentation has always said - -- Position, but the code up to 3.12 said Entry_Count. - - if Chars (Arg3) /= Name_Entry_Count then - Check_Optional_Identifier (Arg3, Name_Position); - end if; - - else - Check_Arg_Count (1); - end if; - - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - -- First argument must be a subprogram name - - Arg := Expression (Arg1); - Find_Program_Unit_Name (Arg); - - if Etype (Arg) = Any_Type then - return; - else - Subp := Entity (Arg); - end if; - - if not (Is_Subprogram (Subp) - and then Is_Dispatching_Operation (Subp)) - then - Error_Pragma_Arg - ("pragma% must reference a primitive operation", Arg1); - end if; - - Typ := Find_Dispatching_Type (Subp); - - -- If only one Argument defaults are : - -- . DTC_Entity is the default Vtable pointer - -- . DT_Position will be set at the freezing point - - if Arg_Count = 1 then - Set_DTC_Entity (Subp, First_Tag_Component (Typ)); - return; - end if; - - -- Second argument is a component name of type Vtable_Ptr - - Arg := Expression (Arg2); - - if Nkind (Arg) /= N_Identifier then - Error_Msg_NE ("must be a& component name", Arg, Typ); - raise Pragma_Exit; - end if; - - DTC := First_Component (Typ); - while Present (DTC) and then Chars (DTC) /= Chars (Arg) loop - Next_Component (DTC); - end loop; - - -- Case of tagged type with no user-defined vtable ptr - - if No (DTC) then - Error_Msg_NE ("must be a& component name", Arg, Typ); - raise Pragma_Exit; - - elsif Etype (DTC) /= VTP_Type then - Wrong_Type (Arg, VTP_Type); - return; - end if; - - -- Third argument is an integer (DT_Position) - - Arg := Expression (Arg3); - Analyze_And_Resolve (Arg, Any_Integer); - - if not Is_Static_Expression (Arg) then - Flag_Non_Static_Expr - ("third argument of pragma CPP_Virtual must be static!", - Arg3); - raise Pragma_Exit; - - else - V := Expr_Value (Expression (Arg3)); - - if V <= 0 then - Error_Pragma_Arg - ("third argument of pragma% must be positive", - Arg3); - - else - Set_DTC_Entity (Subp, DTC); - Set_DT_Position (Subp, V); - end if; - end if; - end CPP_Virtual; - - ---------------- - -- CPP_Vtable -- - ---------------- - - -- pragma CPP_Vtable ( - -- [Entity =>] LOCAL_NAME - -- [Vtable_Ptr =>] LOCAL_NAME, - -- [Entry_Count =>] static_integer_EXPRESSION); - - when Pragma_CPP_Vtable => CPP_Vtable : declare - Arg : Node_Id; - Typ : Entity_Id; - VTP_Type : constant Entity_Id := RTE (RE_Vtable_Ptr); - DTC : Entity_Id; - V : Uint; - Elmt : Elmt_Id; - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Vtable_Ptr, Name_Entry_Count)); - Check_Arg_Count (3); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, Name_Vtable_Ptr); - Check_Optional_Identifier (Arg3, Name_Entry_Count); - Check_Arg_Is_Local_Name (Arg1); - - -- First argument is a record type name - - Arg := Expression (Arg1); - Analyze (Arg); - - if Etype (Arg) = Any_Type then - return; - else - Typ := Entity (Arg); - end if; - - if not (Is_Tagged_Type (Typ) and then Is_CPP_Class (Typ)) then - Error_Pragma_Arg ("'C'P'P_Class tagged type expected", Arg1); - end if; - - -- Second argument is a component name of type Vtable_Ptr - - Arg := Expression (Arg2); - - if Nkind (Arg) /= N_Identifier then - Error_Msg_NE ("must be a& component name", Arg, Typ); - raise Pragma_Exit; - end if; - - DTC := First_Component (Typ); - while Present (DTC) and then Chars (DTC) /= Chars (Arg) loop - Next_Component (DTC); - end loop; - - if No (DTC) then - Error_Msg_NE ("must be a& component name", Arg, Typ); - raise Pragma_Exit; - - elsif Etype (DTC) /= VTP_Type then - Wrong_Type (DTC, VTP_Type); - return; - - -- If it is the first pragma Vtable, This becomes the default tag - - elsif (not Is_Tag (DTC)) - and then DT_Entry_Count (First_Tag_Component (Typ)) = No_Uint - then - Set_Is_Tag (First_Tag_Component (Typ), False); - Set_Is_Tag (DTC, True); - Set_DT_Entry_Count (DTC, No_Uint); - end if; - - -- Those pragmas must appear before any primitive operation - -- definition (except inherited ones) otherwise the default - -- may be wrong - - Elmt := First_Elmt (Primitive_Operations (Typ)); - while Present (Elmt) loop - if No (Alias (Node (Elmt))) then - Error_Msg_Sloc := Sloc (Node (Elmt)); - Error_Pragma - ("pragma% must appear before this primitive operation"); - end if; - - Next_Elmt (Elmt); - end loop; - - -- Third argument is an integer (DT_Entry_Count) - - Arg := Expression (Arg3); - Analyze_And_Resolve (Arg, Any_Integer); - - if not Is_Static_Expression (Arg) then - Flag_Non_Static_Expr - ("entry count for pragma CPP_Vtable must be a static " & - "expression!", Arg3); - raise Pragma_Exit; - - else - V := Expr_Value (Expression (Arg3)); - - if V <= 0 then - Error_Pragma_Arg - ("entry count for pragma% must be positive", Arg3); - else - Set_DT_Entry_Count (DTC, V); - end if; - end if; - end CPP_Vtable; - - ----------- - -- Debug -- - ----------- - - -- pragma Debug ([boolean_EXPRESSION,] PROCEDURE_CALL_STATEMENT); - - when Pragma_Debug => Debug : declare - Cond : Node_Id; - - begin - GNAT_Pragma; - - Cond := - New_Occurrence_Of - (Boolean_Literals (Debug_Pragmas_Enabled and Expander_Active), - Loc); - - if Arg_Count = 2 then - Cond := - Make_And_Then (Loc, - Left_Opnd => Relocate_Node (Cond), - Right_Opnd => Expression (Arg1)); - end if; - - -- Rewrite into a conditional with an appropriate condition. We - -- wrap the procedure call in a block so that overhead from e.g. - -- use of the secondary stack does not generate execution overhead - -- for suppressed conditions. - - Rewrite (N, Make_Implicit_If_Statement (N, - Condition => Cond, - Then_Statements => New_List ( - Make_Block_Statement (Loc, - Handled_Statement_Sequence => - Make_Handled_Sequence_Of_Statements (Loc, - Statements => New_List ( - Relocate_Node (Debug_Statement (N)))))))); - Analyze (N); - end Debug; - - ------------------ - -- Debug_Policy -- - ------------------ - - -- pragma Debug_Policy (Check | Ignore) - - when Pragma_Debug_Policy => - GNAT_Pragma; - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Check, Name_Ignore); - Debug_Pragmas_Enabled := Chars (Expression (Arg1)) = Name_Check; - - --------------------- - -- Detect_Blocking -- - --------------------- - - -- pragma Detect_Blocking; - - when Pragma_Detect_Blocking => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Detect_Blocking := True; - - ------------------- - -- Discard_Names -- - ------------------- - - -- pragma Discard_Names [([On =>] LOCAL_NAME)]; - - when Pragma_Discard_Names => Discard_Names : declare - E_Id : Entity_Id; - E : Entity_Id; - - begin - Check_Ada_83_Warning; - - -- Deal with configuration pragma case - - if Arg_Count = 0 and then Is_Configuration_Pragma then - Global_Discard_Names := True; - return; - - -- Otherwise, check correct appropriate context - - else - Check_Is_In_Decl_Part_Or_Package_Spec; - - if Arg_Count = 0 then - - -- If there is no parameter, then from now on this pragma - -- applies to any enumeration, exception or tagged type - -- defined in the current declarative part. - - Set_Discard_Names (Current_Scope); - return; - - else - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_On); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - else - E := Entity (E_Id); - end if; - - if (Is_First_Subtype (E) - and then (Is_Enumeration_Type (E) - or else Is_Tagged_Type (E))) - or else Ekind (E) = E_Exception - then - Set_Discard_Names (E); - else - Error_Pragma_Arg - ("inappropriate entity for pragma%", Arg1); - end if; - end if; - end if; - end Discard_Names; - - --------------- - -- Elaborate -- - --------------- - - -- pragma Elaborate (library_unit_NAME {, library_unit_NAME}); - - when Pragma_Elaborate => Elaborate : declare - Plist : List_Id; - Parent_Node : Node_Id; - Arg : Node_Id; - Citem : Node_Id; - - begin - -- Pragma must be in context items list of a compilation unit - - if not Is_List_Member (N) then - Pragma_Misplaced; - return; - - else - Plist := List_Containing (N); - Parent_Node := Parent (Plist); - - if Parent_Node = Empty - or else Nkind (Parent_Node) /= N_Compilation_Unit - or else Context_Items (Parent_Node) /= Plist - then - Pragma_Misplaced; - return; - end if; - end if; - - -- Must be at least one argument - - if Arg_Count = 0 then - Error_Pragma ("pragma% requires at least one argument"); - end if; - - -- In Ada 83 mode, there can be no items following it in the - -- context list except other pragmas and implicit with clauses - -- (e.g. those added by use of Rtsfind). In Ada 95 mode, this - -- placement rule does not apply. - - if Ada_Version = Ada_83 and then Comes_From_Source (N) then - Citem := Next (N); - - while Present (Citem) loop - if Nkind (Citem) = N_Pragma - or else (Nkind (Citem) = N_With_Clause - and then Implicit_With (Citem)) - then - null; - else - Error_Pragma - ("(Ada 83) pragma% must be at end of context clause"); - end if; - - Next (Citem); - end loop; - end if; - - -- Finally, the arguments must all be units mentioned in a with - -- clause in the same context clause. Note we already checked - -- (in Par.Prag) that the arguments are either identifiers or - - Arg := Arg1; - Outer : while Present (Arg) loop - Citem := First (Plist); - - Inner : while Citem /= N loop - if Nkind (Citem) = N_With_Clause - and then Same_Name (Name (Citem), Expression (Arg)) - then - Set_Elaborate_Present (Citem, True); - Set_Unit_Name (Expression (Arg), Name (Citem)); - - -- With the pragma present, elaboration calls on - -- subprograms from the named unit need no further - -- checks, as long as the pragma appears in the current - -- compilation unit. If the pragma appears in some unit - -- in the context, there might still be a need for an - -- Elaborate_All_Desirable from the current compilation - -- to the the named unit, so we keep the check enabled. - - if In_Extended_Main_Source_Unit (N) then - Set_Suppress_Elaboration_Warnings - (Entity (Name (Citem))); - end if; - exit Inner; - end if; - - Next (Citem); - end loop Inner; - - if Citem = N then - Error_Pragma_Arg - ("argument of pragma% is not with'ed unit", Arg); - end if; - - Next (Arg); - end loop Outer; - - -- Give a warning if operating in static mode with -gnatwl - -- (elaboration warnings eanbled) switch set. - - if Elab_Warnings and not Dynamic_Elaboration_Checks then - Error_Msg_N - ("?use of pragma Elaborate may not be safe", N); - Error_Msg_N - ("?use pragma Elaborate_All instead if possible", N); - end if; - end Elaborate; - - ------------------- - -- Elaborate_All -- - ------------------- - - -- pragma Elaborate_All (library_unit_NAME {, library_unit_NAME}); - - when Pragma_Elaborate_All => Elaborate_All : declare - Plist : List_Id; - Parent_Node : Node_Id; - Arg : Node_Id; - Citem : Node_Id; - - begin - Check_Ada_83_Warning; - - -- Pragma must be in context items list of a compilation unit - - if not Is_List_Member (N) then - Pragma_Misplaced; - return; - - else - Plist := List_Containing (N); - Parent_Node := Parent (Plist); - - if Parent_Node = Empty - or else Nkind (Parent_Node) /= N_Compilation_Unit - or else Context_Items (Parent_Node) /= Plist - then - Pragma_Misplaced; - return; - end if; - end if; - - -- Must be at least one argument - - if Arg_Count = 0 then - Error_Pragma ("pragma% requires at least one argument"); - end if; - - -- Note: unlike pragma Elaborate, pragma Elaborate_All does not - -- have to appear at the end of the context clause, but may - -- appear mixed in with other items, even in Ada 83 mode. - - -- Final check: the arguments must all be units mentioned in - -- a with clause in the same context clause. Note that we - -- already checked (in Par.Prag) that all the arguments are - -- either identifiers or selected components. - - Arg := Arg1; - Outr : while Present (Arg) loop - Citem := First (Plist); - - Innr : while Citem /= N loop - if Nkind (Citem) = N_With_Clause - and then Same_Name (Name (Citem), Expression (Arg)) - then - Set_Elaborate_All_Present (Citem, True); - Set_Unit_Name (Expression (Arg), Name (Citem)); - - -- Suppress warnings and elaboration checks on the named - -- unit if the pragma is in the current compilation, as - -- for pragma Elaborate. - - if In_Extended_Main_Source_Unit (N) then - Set_Suppress_Elaboration_Warnings - (Entity (Name (Citem))); - end if; - exit Innr; - end if; - - Next (Citem); - end loop Innr; - - if Citem = N then - Set_Error_Posted (N); - Error_Pragma_Arg - ("argument of pragma% is not with'ed unit", Arg); - end if; - - Next (Arg); - end loop Outr; - end Elaborate_All; - - -------------------- - -- Elaborate_Body -- - -------------------- - - -- pragma Elaborate_Body [( library_unit_NAME )]; - - when Pragma_Elaborate_Body => Elaborate_Body : declare - Cunit_Node : Node_Id; - Cunit_Ent : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Cunit_Node := Cunit (Current_Sem_Unit); - Cunit_Ent := Cunit_Entity (Current_Sem_Unit); - - if Nkind (Unit (Cunit_Node)) = N_Package_Body - or else - Nkind (Unit (Cunit_Node)) = N_Subprogram_Body - then - Error_Pragma ("pragma% must refer to a spec, not a body"); - else - Set_Body_Required (Cunit_Node, True); - Set_Has_Pragma_Elaborate_Body (Cunit_Ent); - - -- If we are in dynamic elaboration mode, then we suppress - -- elaboration warnings for the unit, since it is definitely - -- fine NOT to do dynamic checks at the first level (and such - -- checks will be suppressed because no elaboration boolean - -- is created for Elaborate_Body packages). - - -- But in the static model of elaboration, Elaborate_Body is - -- definitely NOT good enough to ensure elaboration safety on - -- its own, since the body may WITH other units that are not - -- safe from an elaboration point of view, so a client must - -- still do an Elaborate_All on such units. - - -- Debug flag -gnatdD restores the old behavior of 3.13, - -- where Elaborate_Body always suppressed elab warnings. - - if Dynamic_Elaboration_Checks or Debug_Flag_DD then - Set_Suppress_Elaboration_Warnings (Cunit_Ent); - end if; - end if; - end Elaborate_Body; - - ------------------------ - -- Elaboration_Checks -- - ------------------------ - - -- pragma Elaboration_Checks (Static | Dynamic); - - when Pragma_Elaboration_Checks => - GNAT_Pragma; - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Static, Name_Dynamic); - Dynamic_Elaboration_Checks := - (Chars (Get_Pragma_Arg (Arg1)) = Name_Dynamic); - - --------------- - -- Eliminate -- - --------------- - - -- pragma Eliminate ( - -- [Unit_Name =>] IDENTIFIER | - -- SELECTED_COMPONENT - -- [,[Entity =>] IDENTIFIER | - -- SELECTED_COMPONENT | - -- STRING_LITERAL] - -- [,]OVERLOADING_RESOLUTION); - - -- OVERLOADING_RESOLUTION ::= PARAMETER_AND_RESULT_TYPE_PROFILE | - -- SOURCE_LOCATION - - -- PARAMETER_AND_RESULT_TYPE_PROFILE ::= PROCEDURE_PROFILE | - -- FUNCTION_PROFILE - - -- PROCEDURE_PROFILE ::= Parameter_Types => PARAMETER_TYPES - - -- FUNCTION_PROFILE ::= [Parameter_Types => PARAMETER_TYPES,] - -- Result_Type => result_SUBTYPE_NAME] - - -- PARAMETER_TYPES ::= (SUBTYPE_NAME {, SUBTYPE_NAME}) - -- SUBTYPE_NAME ::= STRING_LITERAL - - -- SOURCE_LOCATION ::= Source_Location => SOURCE_TRACE - -- SOURCE_TRACE ::= STRING_LITERAL - - when Pragma_Eliminate => Eliminate : declare - Args : Args_List (1 .. 5); - Names : constant Name_List (1 .. 5) := ( - Name_Unit_Name, - Name_Entity, - Name_Parameter_Types, - Name_Result_Type, - Name_Source_Location); - - Unit_Name : Node_Id renames Args (1); - Entity : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Result_Type : Node_Id renames Args (4); - Source_Location : Node_Id renames Args (5); - - begin - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Gather_Associations (Names, Args); - - if No (Unit_Name) then - Error_Pragma ("missing Unit_Name argument for pragma%"); - end if; - - if No (Entity) - and then (Present (Parameter_Types) - or else - Present (Result_Type) - or else - Present (Source_Location)) - then - Error_Pragma ("missing Entity argument for pragma%"); - end if; - - if (Present (Parameter_Types) - or else - Present (Result_Type)) - and then - Present (Source_Location) - then - Error_Pragma - ("parameter profile and source location cannot " & - "be used together in pragma%"); - end if; - - Process_Eliminate_Pragma - (N, - Unit_Name, - Entity, - Parameter_Types, - Result_Type, - Source_Location); - end Eliminate; - - ------------------------- - -- Explicit_Overriding -- - ------------------------- - - when Pragma_Explicit_Overriding => - Check_Valid_Configuration_Pragma; - Check_Arg_Count (0); - Explicit_Overriding := True; - - ------------ - -- Export -- - ------------ - - -- pragma Export ( - -- [ Convention =>] convention_IDENTIFIER, - -- [ Entity =>] local_NAME - -- [, [External_Name =>] static_string_EXPRESSION ] - -- [, [Link_Name =>] static_string_EXPRESSION ]); - - when Pragma_Export => Export : declare - C : Convention_Id; - Def_Id : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Arg_Order - ((Name_Convention, - Name_Entity, - Name_External_Name, - Name_Link_Name)); - Check_At_Least_N_Arguments (2); - Check_At_Most_N_Arguments (4); - Process_Convention (C, Def_Id); - - if Ekind (Def_Id) /= E_Constant then - Note_Possible_Modification (Expression (Arg2)); - end if; - - Process_Interface_Name (Def_Id, Arg3, Arg4); - Set_Exported (Def_Id, Arg2); - end Export; - - ---------------------- - -- Export_Exception -- - ---------------------- - - -- pragma Export_Exception ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL,] - -- [, [Form =>] Ada | VMS] - -- [, [Code =>] static_integer_EXPRESSION]); - - when Pragma_Export_Exception => Export_Exception : declare - Args : Args_List (1 .. 4); - Names : constant Name_List (1 .. 4) := ( - Name_Internal, - Name_External, - Name_Form, - Name_Code); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Form : Node_Id renames Args (3); - Code : Node_Id renames Args (4); - - begin - if Inside_A_Generic then - Error_Pragma ("pragma% cannot be used for generic entities"); - end if; - - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Exception_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Form => Form, - Arg_Code => Code); - - if not Is_VMS_Exception (Entity (Internal)) then - Set_Exported (Entity (Internal), Internal); - end if; - end Export_Exception; - - --------------------- - -- Export_Function -- - --------------------- - - -- pragma Export_Function ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL,] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Result_Type =>] TYPE_DESIGNATOR] - -- [, [Mechanism =>] MECHANISM] - -- [, [Result_Mechanism =>] MECHANISM_NAME]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Export_Function => Export_Function : declare - Args : Args_List (1 .. 6); - Names : constant Name_List (1 .. 6) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Result_Type, - Name_Mechanism, - Name_Result_Mechanism); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Result_Type : Node_Id renames Args (4); - Mechanism : Node_Id renames Args (5); - Result_Mechanism : Node_Id renames Args (6); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Result_Type => Result_Type, - Arg_Mechanism => Mechanism, - Arg_Result_Mechanism => Result_Mechanism); - end Export_Function; - - ------------------- - -- Export_Object -- - ------------------- - - -- pragma Export_Object ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Size =>] EXTERNAL_SYMBOL]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Export_Object => Export_Object : declare - Args : Args_List (1 .. 3); - Names : constant Name_List (1 .. 3) := ( - Name_Internal, - Name_External, - Name_Size); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Size : Node_Id renames Args (3); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Object_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Size => Size); - end Export_Object; - - ---------------------- - -- Export_Procedure -- - ---------------------- - - -- pragma Export_Procedure ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL,] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Mechanism =>] MECHANISM]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Export_Procedure => Export_Procedure : declare - Args : Args_List (1 .. 4); - Names : constant Name_List (1 .. 4) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Mechanism); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Mechanism : Node_Id renames Args (4); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Mechanism => Mechanism); - end Export_Procedure; - - ------------------ - -- Export_Value -- - ------------------ - - -- pragma Export_Value ( - -- [Value =>] static_integer_EXPRESSION, - -- [Link_Name =>] static_string_EXPRESSION); - - when Pragma_Export_Value => - GNAT_Pragma; - Check_Arg_Order ((Name_Value, Name_Link_Name)); - Check_Arg_Count (2); - - Check_Optional_Identifier (Arg1, Name_Value); - Check_Arg_Is_Static_Expression (Arg1, Any_Integer); - - Check_Optional_Identifier (Arg2, Name_Link_Name); - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - - ----------------------------- - -- Export_Valued_Procedure -- - ----------------------------- - - -- pragma Export_Valued_Procedure ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL,] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Mechanism =>] MECHANISM]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Export_Valued_Procedure => - Export_Valued_Procedure : declare - Args : Args_List (1 .. 4); - Names : constant Name_List (1 .. 4) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Mechanism); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Mechanism : Node_Id renames Args (4); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Mechanism => Mechanism); - end Export_Valued_Procedure; - - ------------------- - -- Extend_System -- - ------------------- - - -- pragma Extend_System ([Name =>] Identifier); - - when Pragma_Extend_System => Extend_System : declare - begin - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Name); - Check_Arg_Is_Identifier (Arg1); - - Get_Name_String (Chars (Expression (Arg1))); - - if Name_Len > 4 - and then Name_Buffer (1 .. 4) = "aux_" - then - if Present (System_Extend_Pragma_Arg) then - if Chars (Expression (Arg1)) = - Chars (Expression (System_Extend_Pragma_Arg)) - then - null; - else - Error_Msg_Sloc := Sloc (System_Extend_Pragma_Arg); - Error_Pragma ("pragma% conflicts with that at#"); - end if; - - else - System_Extend_Pragma_Arg := Arg1; - - if not GNAT_Mode then - System_Extend_Unit := Arg1; - end if; - end if; - else - Error_Pragma ("incorrect name for pragma%, must be Aux_xxx"); - end if; - end Extend_System; - - ------------------------ - -- Extensions_Allowed -- - ------------------------ - - -- pragma Extensions_Allowed (ON | OFF); - - when Pragma_Extensions_Allowed => - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); - - if Chars (Expression (Arg1)) = Name_On then - Extensions_Allowed := True; - Ada_Version := Ada_Version_Type'Last; - else - Extensions_Allowed := False; - Ada_Version := Ada_Version_Type'Min (Ada_Version, Ada_95); - end if; - - Ada_Version_Explicit := Ada_Version; - - -------------- - -- External -- - -------------- - - -- pragma External ( - -- [ Convention =>] convention_IDENTIFIER, - -- [ Entity =>] local_NAME - -- [, [External_Name =>] static_string_EXPRESSION ] - -- [, [Link_Name =>] static_string_EXPRESSION ]); - - when Pragma_External => External : declare - C : Convention_Id; - Def_Id : Entity_Id; - begin - GNAT_Pragma; - Check_Arg_Order - ((Name_Convention, - Name_Entity, - Name_External_Name, - Name_Link_Name)); - Check_At_Least_N_Arguments (2); - Check_At_Most_N_Arguments (4); - Process_Convention (C, Def_Id); - Note_Possible_Modification (Expression (Arg2)); - Process_Interface_Name (Def_Id, Arg3, Arg4); - Set_Exported (Def_Id, Arg2); - end External; - - -------------------------- - -- External_Name_Casing -- - -------------------------- - - -- pragma External_Name_Casing ( - -- UPPERCASE | LOWERCASE - -- [, AS_IS | UPPERCASE | LOWERCASE]); - - when Pragma_External_Name_Casing => External_Name_Casing : declare - begin - GNAT_Pragma; - Check_No_Identifiers; - - if Arg_Count = 2 then - Check_Arg_Is_One_Of - (Arg2, Name_As_Is, Name_Uppercase, Name_Lowercase); - - case Chars (Get_Pragma_Arg (Arg2)) is - when Name_As_Is => - Opt.External_Name_Exp_Casing := As_Is; - - when Name_Uppercase => - Opt.External_Name_Exp_Casing := Uppercase; - - when Name_Lowercase => - Opt.External_Name_Exp_Casing := Lowercase; - - when others => - null; - end case; - - else - Check_Arg_Count (1); - end if; - - Check_Arg_Is_One_Of (Arg1, Name_Uppercase, Name_Lowercase); - - case Chars (Get_Pragma_Arg (Arg1)) is - when Name_Uppercase => - Opt.External_Name_Imp_Casing := Uppercase; - - when Name_Lowercase => - Opt.External_Name_Imp_Casing := Lowercase; - - when others => - null; - end case; - end External_Name_Casing; - - --------------------------- - -- Finalize_Storage_Only -- - --------------------------- - - -- pragma Finalize_Storage_Only (first_subtype_LOCAL_NAME); - - when Pragma_Finalize_Storage_Only => Finalize_Storage : declare - Assoc : constant Node_Id := Arg1; - Type_Id : constant Node_Id := Expression (Assoc); - Typ : Entity_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - - Find_Type (Type_Id); - Typ := Entity (Type_Id); - - if Typ = Any_Type - or else Rep_Item_Too_Early (Typ, N) - then - return; - else - Typ := Underlying_Type (Typ); - end if; - - if not Is_Controlled (Typ) then - Error_Pragma ("pragma% must specify controlled type"); - end if; - - Check_First_Subtype (Arg1); - - if Finalize_Storage_Only (Typ) then - Error_Pragma ("duplicate pragma%, only one allowed"); - - elsif not Rep_Item_Too_Late (Typ, N) then - Set_Finalize_Storage_Only (Base_Type (Typ), True); - end if; - end Finalize_Storage; - - -------------------------- - -- Float_Representation -- - -------------------------- - - -- pragma Float_Representation (FLOAT_REP[, float_type_LOCAL_NAME]); - - -- FLOAT_REP ::= VAX_Float | IEEE_Float - - when Pragma_Float_Representation => Float_Representation : declare - Argx : Node_Id; - Digs : Nat; - Ent : Entity_Id; - - begin - GNAT_Pragma; - - if Arg_Count = 1 then - Check_Valid_Configuration_Pragma; - else - Check_Arg_Count (2); - Check_Optional_Identifier (Arg2, Name_Entity); - Check_Arg_Is_Local_Name (Arg2); - end if; - - Check_No_Identifier (Arg1); - Check_Arg_Is_One_Of (Arg1, Name_VAX_Float, Name_IEEE_Float); - - if not OpenVMS_On_Target then - if Chars (Expression (Arg1)) = Name_VAX_Float then - Error_Pragma - ("?pragma% ignored (applies only to Open'V'M'S)"); - end if; - - return; - end if; - - -- One argument case - - if Arg_Count = 1 then - if Chars (Expression (Arg1)) = Name_VAX_Float then - if Opt.Float_Format = 'I' then - Error_Pragma ("'I'E'E'E format previously specified"); - end if; - - Opt.Float_Format := 'V'; - - else - if Opt.Float_Format = 'V' then - Error_Pragma ("'V'A'X format previously specified"); - end if; - - Opt.Float_Format := 'I'; - end if; - - Set_Standard_Fpt_Formats; - - -- Two argument case - - else - Argx := Get_Pragma_Arg (Arg2); - - if not Is_Entity_Name (Argx) - or else not Is_Floating_Point_Type (Entity (Argx)) - then - Error_Pragma_Arg - ("second argument of% pragma must be floating-point type", - Arg2); - end if; - - Ent := Entity (Argx); - Digs := UI_To_Int (Digits_Value (Ent)); - - -- Two arguments, VAX_Float case - - if Chars (Expression (Arg1)) = Name_VAX_Float then - case Digs is - when 6 => Set_F_Float (Ent); - when 9 => Set_D_Float (Ent); - when 15 => Set_G_Float (Ent); - - when others => - Error_Pragma_Arg - ("wrong digits value, must be 6,9 or 15", Arg2); - end case; - - -- Two arguments, IEEE_Float case - - else - case Digs is - when 6 => Set_IEEE_Short (Ent); - when 15 => Set_IEEE_Long (Ent); - - when others => - Error_Pragma_Arg - ("wrong digits value, must be 6 or 15", Arg2); - end case; - end if; - end if; - end Float_Representation; - - ----------- - -- Ident -- - ----------- - - -- pragma Ident (static_string_EXPRESSION) - - -- Note: pragma Comment shares this processing. Pragma Comment - -- is identical to Ident, except that the restriction of the - -- argument to 31 characters and the placement restrictions - -- are not enforced for pragma Comment. - - when Pragma_Ident | Pragma_Comment => Ident : declare - Str : Node_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - - -- For pragma Ident, preserve DEC compatibility by requiring - -- the pragma to appear in a declarative part or package spec. - - if Prag_Id = Pragma_Ident then - Check_Is_In_Decl_Part_Or_Package_Spec; - end if; - - Str := Expr_Value_S (Expression (Arg1)); - - declare - CS : Node_Id; - GP : Node_Id; - - begin - GP := Parent (Parent (N)); - - if Nkind (GP) = N_Package_Declaration - or else - Nkind (GP) = N_Generic_Package_Declaration - then - GP := Parent (GP); - end if; - - -- If we have a compilation unit, then record the ident - -- value, checking for improper duplication. - - if Nkind (GP) = N_Compilation_Unit then - CS := Ident_String (Current_Sem_Unit); - - if Present (CS) then - - -- For Ident, we do not permit multiple instances - - if Prag_Id = Pragma_Ident then - Error_Pragma ("duplicate% pragma not permitted"); - - -- For Comment, we concatenate the string, unless we - -- want to preserve the tree structure for ASIS. - - elsif not ASIS_Mode then - Start_String (Strval (CS)); - Store_String_Char (' '); - Store_String_Chars (Strval (Str)); - Set_Strval (CS, End_String); - end if; - - else - -- In VMS, the effect of IDENT is achieved by passing - -- IDENTIFICATION=name as a --for-linker switch. - - if OpenVMS_On_Target then - Start_String; - Store_String_Chars - ("--for-linker=IDENTIFICATION="); - String_To_Name_Buffer (Strval (Str)); - Store_String_Chars (Name_Buffer (1 .. Name_Len)); - - -- Only the last processed IDENT is saved. The main - -- purpose is so an IDENT associated with a main - -- procedure will be used in preference to an IDENT - -- associated with a with'd package. - - Replace_Linker_Option_String - (End_String, "--for-linker=IDENTIFICATION="); - end if; - - Set_Ident_String (Current_Sem_Unit, Str); - end if; - - -- For subunits, we just ignore the Ident, since in GNAT - -- these are not separate object files, and hence not - -- separate units in the unit table. - - elsif Nkind (GP) = N_Subunit then - null; - - -- Otherwise we have a misplaced pragma Ident, but we ignore - -- this if we are in an instantiation, since it comes from - -- a generic, and has no relevance to the instantiation. - - elsif Prag_Id = Pragma_Ident then - if Instantiation_Location (Loc) = No_Location then - Error_Pragma ("pragma% only allowed at outer level"); - end if; - end if; - end; - end Ident; - - ------------ - -- Import -- - ------------ - - -- pragma Import ( - -- [ Convention =>] convention_IDENTIFIER, - -- [ Entity =>] local_NAME - -- [, [External_Name =>] static_string_EXPRESSION ] - -- [, [Link_Name =>] static_string_EXPRESSION ]); - - when Pragma_Import => - Check_Ada_83_Warning; - Check_Arg_Order - ((Name_Convention, - Name_Entity, - Name_External_Name, - Name_Link_Name)); - Check_At_Least_N_Arguments (2); - Check_At_Most_N_Arguments (4); - Process_Import_Or_Interface; - - ---------------------- - -- Import_Exception -- - ---------------------- - - -- pragma Import_Exception ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL,] - -- [, [Form =>] Ada | VMS] - -- [, [Code =>] static_integer_EXPRESSION]); - - when Pragma_Import_Exception => Import_Exception : declare - Args : Args_List (1 .. 4); - Names : constant Name_List (1 .. 4) := ( - Name_Internal, - Name_External, - Name_Form, - Name_Code); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Form : Node_Id renames Args (3); - Code : Node_Id renames Args (4); - - begin - Gather_Associations (Names, Args); - - if Present (External) and then Present (Code) then - Error_Pragma - ("cannot give both External and Code options for pragma%"); - end if; - - Process_Extended_Import_Export_Exception_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Form => Form, - Arg_Code => Code); - - if not Is_VMS_Exception (Entity (Internal)) then - Set_Imported (Entity (Internal)); - end if; - end Import_Exception; - - --------------------- - -- Import_Function -- - --------------------- - - -- pragma Import_Function ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Result_Type =>] SUBTYPE_MARK] - -- [, [Mechanism =>] MECHANISM] - -- [, [Result_Mechanism =>] MECHANISM_NAME] - -- [, [First_Optional_Parameter =>] IDENTIFIER]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Import_Function => Import_Function : declare - Args : Args_List (1 .. 7); - Names : constant Name_List (1 .. 7) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Result_Type, - Name_Mechanism, - Name_Result_Mechanism, - Name_First_Optional_Parameter); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Result_Type : Node_Id renames Args (4); - Mechanism : Node_Id renames Args (5); - Result_Mechanism : Node_Id renames Args (6); - First_Optional_Parameter : Node_Id renames Args (7); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Result_Type => Result_Type, - Arg_Mechanism => Mechanism, - Arg_Result_Mechanism => Result_Mechanism, - Arg_First_Optional_Parameter => First_Optional_Parameter); - end Import_Function; - - ------------------- - -- Import_Object -- - ------------------- - - -- pragma Import_Object ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Size =>] EXTERNAL_SYMBOL]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - when Pragma_Import_Object => Import_Object : declare - Args : Args_List (1 .. 3); - Names : constant Name_List (1 .. 3) := ( - Name_Internal, - Name_External, - Name_Size); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Size : Node_Id renames Args (3); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Object_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Size => Size); - end Import_Object; - - ---------------------- - -- Import_Procedure -- - ---------------------- - - -- pragma Import_Procedure ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Mechanism =>] MECHANISM] - -- [, [First_Optional_Parameter =>] IDENTIFIER]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Import_Procedure => Import_Procedure : declare - Args : Args_List (1 .. 5); - Names : constant Name_List (1 .. 5) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Mechanism, - Name_First_Optional_Parameter); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Mechanism : Node_Id renames Args (4); - First_Optional_Parameter : Node_Id renames Args (5); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Mechanism => Mechanism, - Arg_First_Optional_Parameter => First_Optional_Parameter); - end Import_Procedure; - - ----------------------------- - -- Import_Valued_Procedure -- - ----------------------------- - - -- pragma Import_Valued_Procedure ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Parameter_Types =>] (PARAMETER_TYPES)] - -- [, [Mechanism =>] MECHANISM] - -- [, [First_Optional_Parameter =>] IDENTIFIER]); - - -- EXTERNAL_SYMBOL ::= - -- IDENTIFIER - -- | static_string_EXPRESSION - - -- PARAMETER_TYPES ::= - -- null - -- | TYPE_DESIGNATOR @{, TYPE_DESIGNATOR@} - - -- TYPE_DESIGNATOR ::= - -- subtype_NAME - -- | subtype_Name ' Access - - -- MECHANISM ::= - -- MECHANISM_NAME - -- | (MECHANISM_ASSOCIATION @{, MECHANISM_ASSOCIATION@}) - - -- MECHANISM_ASSOCIATION ::= - -- [formal_parameter_NAME =>] MECHANISM_NAME - - -- MECHANISM_NAME ::= - -- Value - -- | Reference - -- | Descriptor [([Class =>] CLASS_NAME)] - - -- CLASS_NAME ::= ubs | ubsb | uba | s | sb | a | nca - - when Pragma_Import_Valued_Procedure => - Import_Valued_Procedure : declare - Args : Args_List (1 .. 5); - Names : constant Name_List (1 .. 5) := ( - Name_Internal, - Name_External, - Name_Parameter_Types, - Name_Mechanism, - Name_First_Optional_Parameter); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Parameter_Types : Node_Id renames Args (3); - Mechanism : Node_Id renames Args (4); - First_Optional_Parameter : Node_Id renames Args (5); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Subprogram_Pragma ( - Arg_Internal => Internal, - Arg_External => External, - Arg_Parameter_Types => Parameter_Types, - Arg_Mechanism => Mechanism, - Arg_First_Optional_Parameter => First_Optional_Parameter); - end Import_Valued_Procedure; - - ------------------------ - -- Initialize_Scalars -- - ------------------------ - - -- pragma Initialize_Scalars; - - when Pragma_Initialize_Scalars => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Check_Restriction (No_Initialize_Scalars, N); - - if not Restriction_Active (No_Initialize_Scalars) then - Init_Or_Norm_Scalars := True; - Initialize_Scalars := True; - end if; - - ------------ - -- Inline -- - ------------ - - -- pragma Inline ( NAME {, NAME} ); - - when Pragma_Inline => - - -- Pragma is active if inlining option is active - - Process_Inline (Inline_Active); - - ------------------- - -- Inline_Always -- - ------------------- - - -- pragma Inline_Always ( NAME {, NAME} ); - - when Pragma_Inline_Always => - Process_Inline (True); - - -------------------- - -- Inline_Generic -- - -------------------- - - -- pragma Inline_Generic (NAME {, NAME}); - - when Pragma_Inline_Generic => - Process_Generic_List; - - ---------------------- - -- Inspection_Point -- - ---------------------- - - -- pragma Inspection_Point [(object_NAME {, object_NAME})]; - - when Pragma_Inspection_Point => Inspection_Point : declare - Arg : Node_Id; - Exp : Node_Id; - - begin - if Arg_Count > 0 then - Arg := Arg1; - loop - Exp := Expression (Arg); - Analyze (Exp); - - if not Is_Entity_Name (Exp) - or else not Is_Object (Entity (Exp)) - then - Error_Pragma_Arg ("object name required", Arg); - end if; - - Next (Arg); - exit when No (Arg); - end loop; - end if; - end Inspection_Point; - - --------------- - -- Interface -- - --------------- - - -- pragma Interface ( - -- convention_IDENTIFIER, - -- local_NAME ); - - when Pragma_Interface => - GNAT_Pragma; - Check_Arg_Count (2); - Check_No_Identifiers; - Process_Import_Or_Interface; - - -------------------- - -- Interface_Name -- - -------------------- - - -- pragma Interface_Name ( - -- [ Entity =>] local_NAME - -- [,[External_Name =>] static_string_EXPRESSION ] - -- [,[Link_Name =>] static_string_EXPRESSION ]); - - when Pragma_Interface_Name => Interface_Name : declare - Id : Node_Id; - Def_Id : Entity_Id; - Hom_Id : Entity_Id; - Found : Boolean; - - begin - GNAT_Pragma; - Check_Arg_Order - ((Name_Entity, Name_External_Name, Name_Link_Name)); - Check_At_Least_N_Arguments (2); - Check_At_Most_N_Arguments (3); - Id := Expression (Arg1); - Analyze (Id); - - if not Is_Entity_Name (Id) then - Error_Pragma_Arg - ("first argument for pragma% must be entity name", Arg1); - elsif Etype (Id) = Any_Type then - return; - else - Def_Id := Entity (Id); - end if; - - -- Special DEC-compatible processing for the object case, - -- forces object to be imported. - - if Ekind (Def_Id) = E_Variable then - Kill_Size_Check_Code (Def_Id); - Note_Possible_Modification (Id); - - -- Initialization is not allowed for imported variable - - if Present (Expression (Parent (Def_Id))) - and then Comes_From_Source (Expression (Parent (Def_Id))) - then - Error_Msg_Sloc := Sloc (Def_Id); - Error_Pragma_Arg - ("no initialization allowed for declaration of& #", - Arg2); - - else - -- For compatibility, support VADS usage of providing both - -- pragmas Interface and Interface_Name to obtain the effect - -- of a single Import pragma. - - if Is_Imported (Def_Id) - and then Present (First_Rep_Item (Def_Id)) - and then Nkind (First_Rep_Item (Def_Id)) = N_Pragma - and then Chars (First_Rep_Item (Def_Id)) = Name_Interface - then - null; - else - Set_Imported (Def_Id); - end if; - - Set_Is_Public (Def_Id); - Process_Interface_Name (Def_Id, Arg2, Arg3); - end if; - - -- Otherwise must be subprogram - - elsif not Is_Subprogram (Def_Id) then - Error_Pragma_Arg - ("argument of pragma% is not subprogram", Arg1); - - else - Check_At_Most_N_Arguments (3); - Hom_Id := Def_Id; - Found := False; - - -- Loop through homonyms - - loop - Def_Id := Get_Base_Subprogram (Hom_Id); - - if Is_Imported (Def_Id) then - Process_Interface_Name (Def_Id, Arg2, Arg3); - Found := True; - end if; - - Hom_Id := Homonym (Hom_Id); - - exit when No (Hom_Id) - or else Scope (Hom_Id) /= Current_Scope; - end loop; - - if not Found then - Error_Pragma_Arg - ("argument of pragma% is not imported subprogram", - Arg1); - end if; - end if; - end Interface_Name; - - ----------------------- - -- Interrupt_Handler -- - ----------------------- - - -- pragma Interrupt_Handler (handler_NAME); - - when Pragma_Interrupt_Handler => - Check_Ada_83_Warning; - Check_Arg_Count (1); - Check_No_Identifiers; - - if No_Run_Time_Mode then - Error_Msg_CRT ("Interrupt_Handler pragma", N); - else - Check_Interrupt_Or_Attach_Handler; - Process_Interrupt_Or_Attach_Handler; - end if; - - ------------------------ - -- Interrupt_Priority -- - ------------------------ - - -- pragma Interrupt_Priority [(EXPRESSION)]; - - when Pragma_Interrupt_Priority => Interrupt_Priority : declare - P : constant Node_Id := Parent (N); - Arg : Node_Id; - - begin - Check_Ada_83_Warning; - - if Arg_Count /= 0 then - Arg := Expression (Arg1); - Check_Arg_Count (1); - Check_No_Identifiers; - - -- The expression must be analyzed in the special manner - -- described in "Handling of Default and Per-Object - -- Expressions" in sem.ads. - - Analyze_Per_Use_Expression (Arg, RTE (RE_Interrupt_Priority)); - end if; - - if Nkind (P) /= N_Task_Definition - and then Nkind (P) /= N_Protected_Definition - then - Pragma_Misplaced; - return; - - elsif Has_Priority_Pragma (P) then - Error_Pragma ("duplicate pragma% not allowed"); - - else - Set_Has_Priority_Pragma (P, True); - Record_Rep_Item (Defining_Identifier (Parent (P)), N); - end if; - end Interrupt_Priority; - - --------------------- - -- Interrupt_State -- - --------------------- - - -- pragma Interrupt_State ( - -- [Name =>] INTERRUPT_ID, - -- [State =>] INTERRUPT_STATE); - - -- INTERRUPT_ID => IDENTIFIER | static_integer_EXPRESSION - -- INTERRUPT_STATE => System | Runtime | User - - -- Note: if the interrupt id is given as an identifier, then - -- it must be one of the identifiers in Ada.Interrupts.Names. - -- Otherwise it is given as a static integer expression which - -- must be in the range of Ada.Interrupts.Interrupt_ID. - - when Pragma_Interrupt_State => Interrupt_State : declare - - Int_Id : constant Entity_Id := RTE (RE_Interrupt_ID); - -- This is the entity Ada.Interrupts.Interrupt_ID; - - State_Type : Character; - -- Set to 's'/'r'/'u' for System/Runtime/User - - IST_Num : Pos; - -- Index to entry in Interrupt_States table - - Int_Val : Uint; - -- Value of interrupt - - Arg1X : constant Node_Id := Get_Pragma_Arg (Arg1); - -- The first argument to the pragma - - Int_Ent : Entity_Id; - -- Interrupt entity in Ada.Interrupts.Names - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Name, Name_State)); - Check_Arg_Count (2); - - Check_Optional_Identifier (Arg1, Name_Name); - Check_Optional_Identifier (Arg2, Name_State); - Check_Arg_Is_Identifier (Arg2); - - -- First argument is identifier - - if Nkind (Arg1X) = N_Identifier then - - -- Search list of names in Ada.Interrupts.Names - - Int_Ent := First_Entity (RTE (RE_Names)); - loop - if No (Int_Ent) then - Error_Pragma_Arg ("invalid interrupt name", Arg1); - - elsif Chars (Int_Ent) = Chars (Arg1X) then - Int_Val := Expr_Value (Constant_Value (Int_Ent)); - exit; - end if; - - Next_Entity (Int_Ent); - end loop; - - -- First argument is not an identifier, so it must be a - -- static expression of type Ada.Interrupts.Interrupt_ID. - - else - Check_Arg_Is_Static_Expression (Arg1, Any_Integer); - Int_Val := Expr_Value (Arg1X); - - if Int_Val < Expr_Value (Type_Low_Bound (Int_Id)) - or else - Int_Val > Expr_Value (Type_High_Bound (Int_Id)) - then - Error_Pragma_Arg - ("value not in range of type " & - """Ada.Interrupts.Interrupt_'I'D""", Arg1); - end if; - end if; - - -- Check OK state - - case Chars (Get_Pragma_Arg (Arg2)) is - when Name_Runtime => State_Type := 'r'; - when Name_System => State_Type := 's'; - when Name_User => State_Type := 'u'; - - when others => - Error_Pragma_Arg ("invalid interrupt state", Arg2); - end case; - - -- Check if entry is already stored - - IST_Num := Interrupt_States.First; - loop - -- If entry not found, add it - - if IST_Num > Interrupt_States.Last then - Interrupt_States.Append - ((Interrupt_Number => UI_To_Int (Int_Val), - Interrupt_State => State_Type, - Pragma_Loc => Loc)); - exit; - - -- Case of entry for the same entry - - elsif Int_Val = Interrupt_States.Table (IST_Num). - Interrupt_Number - then - -- If state matches, done, no need to make redundant entry - - exit when - State_Type = Interrupt_States.Table (IST_Num). - Interrupt_State; - - -- Otherwise if state does not match, error - - Error_Msg_Sloc := - Interrupt_States.Table (IST_Num).Pragma_Loc; - Error_Pragma_Arg - ("state conflicts with that given at #", Arg2); - exit; - end if; - - IST_Num := IST_Num + 1; - end loop; - end Interrupt_State; - - ---------------------- - -- Java_Constructor -- - ---------------------- - - -- pragma Java_Constructor ([Entity =>] LOCAL_NAME); - - when Pragma_Java_Constructor => Java_Constructor : declare - Id : Entity_Id; - Def_Id : Entity_Id; - Hom_Id : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - Id := Expression (Arg1); - Find_Program_Unit_Name (Id); - - -- If we did not find the name, we are done - - if Etype (Id) = Any_Type then - return; - end if; - - Hom_Id := Entity (Id); - - -- Loop through homonyms - - loop - Def_Id := Get_Base_Subprogram (Hom_Id); - - -- The constructor is required to be a function returning - -- an access type whose designated type has convention Java. - - if Ekind (Def_Id) = E_Function - and then Ekind (Etype (Def_Id)) in Access_Kind - and then - (Atree.Convention - (Designated_Type (Etype (Def_Id))) = Convention_Java - or else - Atree.Convention - (Root_Type (Designated_Type (Etype (Def_Id)))) - = Convention_Java) - then - Set_Is_Constructor (Def_Id); - Set_Convention (Def_Id, Convention_Java); - - else - Error_Pragma_Arg - ("pragma% requires function returning a 'Java access type", - Arg1); - end if; - - Hom_Id := Homonym (Hom_Id); - - exit when No (Hom_Id) or else Scope (Hom_Id) /= Current_Scope; - end loop; - end Java_Constructor; - - ---------------------- - -- Java_Interface -- - ---------------------- - - -- pragma Java_Interface ([Entity =>] LOCAL_NAME); - - when Pragma_Java_Interface => Java_Interface : declare - Arg : Node_Id; - Typ : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - Arg := Expression (Arg1); - Analyze (Arg); - - if Etype (Arg) = Any_Type then - return; - end if; - - if not Is_Entity_Name (Arg) - or else not Is_Type (Entity (Arg)) - then - Error_Pragma_Arg ("pragma% requires a type mark", Arg1); - end if; - - Typ := Underlying_Type (Entity (Arg)); - - -- For now we simply check some of the semantic constraints - -- on the type. This currently leaves out some restrictions - -- on interface types, namely that the parent type must be - -- java.lang.Object.Typ and that all primitives of the type - -- should be declared abstract. ??? - - if not Is_Tagged_Type (Typ) or else not Is_Abstract (Typ) then - Error_Pragma_Arg ("pragma% requires an abstract " - & "tagged type", Arg1); - - elsif not Has_Discriminants (Typ) - or else Ekind (Etype (First_Discriminant (Typ))) - /= E_Anonymous_Access_Type - or else - not Is_Class_Wide_Type - (Designated_Type (Etype (First_Discriminant (Typ)))) - then - Error_Pragma_Arg - ("type must have a class-wide access discriminant", Arg1); - end if; - end Java_Interface; - - ---------------- - -- Keep_Names -- - ---------------- - - -- pragma Keep_Names ([On => ] local_NAME); - - when Pragma_Keep_Names => Keep_Names : declare - Arg : Node_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_On); - Check_Arg_Is_Local_Name (Arg1); - - Arg := Expression (Arg1); - Analyze (Arg); - - if Etype (Arg) = Any_Type then - return; - end if; - - if not Is_Entity_Name (Arg) - or else Ekind (Entity (Arg)) /= E_Enumeration_Type - then - Error_Pragma_Arg - ("pragma% requires a local enumeration type", Arg1); - end if; - - Set_Discard_Names (Entity (Arg), False); - end Keep_Names; - - ------------- - -- License -- - ------------- - - -- pragma License (RESTRICTED | UNRESTRICTED | GPL | MODIFIED_GPL); - - when Pragma_License => - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Valid_Configuration_Pragma; - Check_Arg_Is_Identifier (Arg1); - - declare - Sind : constant Source_File_Index := - Source_Index (Current_Sem_Unit); - - begin - case Chars (Get_Pragma_Arg (Arg1)) is - when Name_GPL => - Set_License (Sind, GPL); - - when Name_Modified_GPL => - Set_License (Sind, Modified_GPL); - - when Name_Restricted => - Set_License (Sind, Restricted); - - when Name_Unrestricted => - Set_License (Sind, Unrestricted); - - when others => - Error_Pragma_Arg ("invalid license name", Arg1); - end case; - end; - - --------------- - -- Link_With -- - --------------- - - -- pragma Link_With (string_EXPRESSION {, string_EXPRESSION}); - - when Pragma_Link_With => Link_With : declare - Arg : Node_Id; - - begin - GNAT_Pragma; - - if Operating_Mode = Generate_Code - and then In_Extended_Main_Source_Unit (N) - then - Check_At_Least_N_Arguments (1); - Check_No_Identifiers; - Check_Is_In_Decl_Part_Or_Package_Spec; - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - Start_String; - - Arg := Arg1; - while Present (Arg) loop - Check_Arg_Is_Static_Expression (Arg, Standard_String); - - -- Store argument, converting sequences of spaces - -- to a single null character (this is one of the - -- differences in processing between Link_With - -- and Linker_Options). - - declare - C : constant Char_Code := Get_Char_Code (' '); - S : constant String_Id := - Strval (Expr_Value_S (Expression (Arg))); - L : constant Nat := String_Length (S); - F : Nat := 1; - - procedure Skip_Spaces; - -- Advance F past any spaces - - procedure Skip_Spaces is - begin - while F <= L and then Get_String_Char (S, F) = C loop - F := F + 1; - end loop; - end Skip_Spaces; - - begin - Skip_Spaces; -- skip leading spaces - - -- Loop through characters, changing any embedded - -- sequence of spaces to a single null character - -- (this is how Link_With/Linker_Options differ) - - while F <= L loop - if Get_String_Char (S, F) = C then - Skip_Spaces; - exit when F > L; - Store_String_Char (ASCII.NUL); - - else - Store_String_Char (Get_String_Char (S, F)); - F := F + 1; - end if; - end loop; - end; - - Arg := Next (Arg); - - if Present (Arg) then - Store_String_Char (ASCII.NUL); - end if; - end loop; - - Store_Linker_Option_String (End_String); - end if; - end Link_With; - - ------------------ - -- Linker_Alias -- - ------------------ - - -- pragma Linker_Alias ( - -- [Entity =>] LOCAL_NAME - -- [Target =>] static_string_EXPRESSION); - - when Pragma_Linker_Alias => - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Target)); - Check_Arg_Count (2); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, Name_Target); - Check_Arg_Is_Library_Level_Local_Name (Arg1); - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - - -- The only processing required is to link this item on to the - -- list of rep items for the given entity. This is accomplished - -- by the call to Rep_Item_Too_Late (when no error is detected - -- and False is returned). - - if Rep_Item_Too_Late (Entity (Expression (Arg1)), N) then - return; - else - Set_Has_Gigi_Rep_Item (Entity (Expression (Arg1))); - end if; - - ------------------------ - -- Linker_Constructor -- - ------------------------ - - -- pragma Linker_Constructor (procedure_LOCAL_NAME); - - -- Code is shared with Linker_Destructor - - ----------------------- - -- Linker_Destructor -- - ----------------------- - - -- pragma Linker_Destructor (procedure_LOCAL_NAME); - - when Pragma_Linker_Constructor | - Pragma_Linker_Destructor => - Linker_Constructor : declare - Arg1_X : Node_Id; - Proc : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Local_Name (Arg1); - Arg1_X := Expression (Arg1); - Analyze (Arg1_X); - Proc := Find_Unique_Parameterless_Procedure (Arg1_X, Arg1); - - if not Is_Library_Level_Entity (Proc) then - Error_Pragma_Arg - ("argument for pragma% must be library level entity", Arg1); - end if; - - -- The only processing required is to link this item on to the - -- list of rep items for the given entity. This is accomplished - -- by the call to Rep_Item_Too_Late (when no error is detected - -- and False is returned). - - if Rep_Item_Too_Late (Proc, N) then - return; - else - Set_Has_Gigi_Rep_Item (Proc); - end if; - end Linker_Constructor; - - -------------------- - -- Linker_Options -- - -------------------- - - -- pragma Linker_Options (string_EXPRESSION {, string_EXPRESSION}); - - when Pragma_Linker_Options => Linker_Options : declare - Arg : Node_Id; - - begin - Check_Ada_83_Warning; - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Is_In_Decl_Part_Or_Package_Spec; - - if Operating_Mode = Generate_Code - and then In_Extended_Main_Source_Unit (N) - then - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - Start_String (Strval (Expr_Value_S (Expression (Arg1)))); - - Arg := Arg2; - while Present (Arg) loop - Check_Arg_Is_Static_Expression (Arg, Standard_String); - Store_String_Char (ASCII.NUL); - Store_String_Chars - (Strval (Expr_Value_S (Expression (Arg)))); - Arg := Next (Arg); - end loop; - - Store_Linker_Option_String (End_String); - end if; - end Linker_Options; - - -------------------- - -- Linker_Section -- - -------------------- - - -- pragma Linker_Section ( - -- [Entity =>] LOCAL_NAME - -- [Section =>] static_string_EXPRESSION); - - when Pragma_Linker_Section => - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Section)); - Check_Arg_Count (2); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, Name_Section); - Check_Arg_Is_Library_Level_Local_Name (Arg1); - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - - -- The only processing required is to link this item on to the - -- list of rep items for the given entity. This is accomplished - -- by the call to Rep_Item_Too_Late (when no error is detected - -- and False is returned). - - if Rep_Item_Too_Late (Entity (Expression (Arg1)), N) then - return; - else - Set_Has_Gigi_Rep_Item (Entity (Expression (Arg1))); - end if; - - ---------- - -- List -- - ---------- - - -- pragma List (On | Off) - - -- There is nothing to do here, since we did all the processing - -- for this pragma in Par.Prag (so that it works properly even in - -- syntax only mode) - - when Pragma_List => - null; - - -------------------- - -- Locking_Policy -- - -------------------- - - -- pragma Locking_Policy (policy_IDENTIFIER); - - when Pragma_Locking_Policy => declare - LP : Character; - - begin - Check_Ada_83_Warning; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Locking_Policy (Arg1); - Check_Valid_Configuration_Pragma; - Get_Name_String (Chars (Expression (Arg1))); - LP := Fold_Upper (Name_Buffer (1)); - - if Locking_Policy /= ' ' - and then Locking_Policy /= LP - then - Error_Msg_Sloc := Locking_Policy_Sloc; - Error_Pragma ("locking policy incompatible with policy#"); - - -- Set new policy, but always preserve System_Location since - -- we like the error message with the run time name. - - else - Locking_Policy := LP; - - if Locking_Policy_Sloc /= System_Location then - Locking_Policy_Sloc := Loc; - end if; - end if; - end; - - ---------------- - -- Long_Float -- - ---------------- - - -- pragma Long_Float (D_Float | G_Float); - - when Pragma_Long_Float => - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Check_Arg_Count (1); - Check_No_Identifier (Arg1); - Check_Arg_Is_One_Of (Arg1, Name_D_Float, Name_G_Float); - - if not OpenVMS_On_Target then - Error_Pragma ("?pragma% ignored (applies only to Open'V'M'S)"); - end if; - - -- D_Float case - - if Chars (Expression (Arg1)) = Name_D_Float then - if Opt.Float_Format_Long = 'G' then - Error_Pragma ("G_Float previously specified"); - end if; - - Opt.Float_Format_Long := 'D'; - - -- G_Float case (this is the default, does not need overriding) - - else - if Opt.Float_Format_Long = 'D' then - Error_Pragma ("D_Float previously specified"); - end if; - - Opt.Float_Format_Long := 'G'; - end if; - - Set_Standard_Fpt_Formats; - - ----------------------- - -- Machine_Attribute -- - ----------------------- - - -- pragma Machine_Attribute ( - -- [Entity =>] LOCAL_NAME, - -- [Attribute_Name =>] static_string_EXPRESSION - -- [,[Info =>] static_string_EXPRESSION] ); - - when Pragma_Machine_Attribute => Machine_Attribute : declare - Def_Id : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Attribute_Name, Name_Info)); - - if Arg_Count = 3 then - Check_Optional_Identifier (Arg3, Name_Info); - Check_Arg_Is_Static_Expression (Arg3, Standard_String); - else - Check_Arg_Count (2); - end if; - - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, Name_Attribute_Name); - Check_Arg_Is_Local_Name (Arg1); - Check_Arg_Is_Static_Expression (Arg2, Standard_String); - Def_Id := Entity (Expression (Arg1)); - - if Is_Access_Type (Def_Id) then - Def_Id := Designated_Type (Def_Id); - end if; - - if Rep_Item_Too_Early (Def_Id, N) then - return; - end if; - - Def_Id := Underlying_Type (Def_Id); - - -- The only processing required is to link this item on to the - -- list of rep items for the given entity. This is accomplished - -- by the call to Rep_Item_Too_Late (when no error is detected - -- and False is returned). - - if Rep_Item_Too_Late (Def_Id, N) then - return; - else - Set_Has_Gigi_Rep_Item (Entity (Expression (Arg1))); - end if; - end Machine_Attribute; - - ---------- - -- Main -- - ---------- - - -- pragma Main_Storage - -- (MAIN_STORAGE_OPTION [, MAIN_STORAGE_OPTION]); - - -- MAIN_STORAGE_OPTION ::= - -- [WORKING_STORAGE =>] static_SIMPLE_EXPRESSION - -- | [TOP_GUARD =>] static_SIMPLE_EXPRESSION - - when Pragma_Main => Main : declare - Args : Args_List (1 .. 3); - Names : constant Name_List (1 .. 3) := ( - Name_Stack_Size, - Name_Task_Stack_Size_Default, - Name_Time_Slicing_Enabled); - - Nod : Node_Id; - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - - for J in 1 .. 2 loop - if Present (Args (J)) then - Check_Arg_Is_Static_Expression (Args (J), Any_Integer); - end if; - end loop; - - if Present (Args (3)) then - Check_Arg_Is_Static_Expression (Args (3), Standard_Boolean); - end if; - - Nod := Next (N); - while Present (Nod) loop - if Nkind (Nod) = N_Pragma - and then Chars (Nod) = Name_Main - then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N ("duplicate pragma% not permitted", Nod); - end if; - - Next (Nod); - end loop; - end Main; - - ------------------ - -- Main_Storage -- - ------------------ - - -- pragma Main_Storage - -- (MAIN_STORAGE_OPTION [, MAIN_STORAGE_OPTION]); - - -- MAIN_STORAGE_OPTION ::= - -- [WORKING_STORAGE =>] static_SIMPLE_EXPRESSION - -- | [TOP_GUARD =>] static_SIMPLE_EXPRESSION - - when Pragma_Main_Storage => Main_Storage : declare - Args : Args_List (1 .. 2); - Names : constant Name_List (1 .. 2) := ( - Name_Working_Storage, - Name_Top_Guard); - - Nod : Node_Id; - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - - for J in 1 .. 2 loop - if Present (Args (J)) then - Check_Arg_Is_Static_Expression (Args (J), Any_Integer); - end if; - end loop; - - Check_In_Main_Program; - - Nod := Next (N); - while Present (Nod) loop - if Nkind (Nod) = N_Pragma - and then Chars (Nod) = Name_Main_Storage - then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N ("duplicate pragma% not permitted", Nod); - end if; - - Next (Nod); - end loop; - end Main_Storage; - - ----------------- - -- Memory_Size -- - ----------------- - - -- pragma Memory_Size (NUMERIC_LITERAL) - - when Pragma_Memory_Size => - GNAT_Pragma; - - -- Memory size is simply ignored - - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Integer_Literal (Arg1); - - --------------- - -- No_Return -- - --------------- - - -- pragma No_Return (procedure_LOCAL_NAME {, procedure_Local_Name}); - - when Pragma_No_Return => No_Return : declare - Id : Node_Id; - E : Entity_Id; - Found : Boolean; - Arg : Node_Id; - - begin - GNAT_Pragma; - Check_At_Least_N_Arguments (1); - - -- Loop through arguments of pragma - - Arg := Arg1; - while Present (Arg) loop - Check_Arg_Is_Local_Name (Arg); - Id := Expression (Arg); - Analyze (Id); - - if not Is_Entity_Name (Id) then - Error_Pragma_Arg ("entity name required", Arg); - end if; - - if Etype (Id) = Any_Type then - raise Pragma_Exit; - end if; - - -- Loop to find matching procedures - - E := Entity (Id); - Found := False; - while Present (E) - and then Scope (E) = Current_Scope - loop - if Ekind (E) = E_Procedure - or else Ekind (E) = E_Generic_Procedure - then - Set_No_Return (E); - Found := True; - end if; - - E := Homonym (E); - end loop; - - if not Found then - Error_Pragma_Arg ("no procedure & found for pragma%", Arg); - end if; - - Next (Arg); - end loop; - end No_Return; - - ------------------------ - -- No_Strict_Aliasing -- - ------------------------ - - -- pragma No_Strict_Aliasing [([Entity =>] type_LOCAL_NAME)]; - - when Pragma_No_Strict_Aliasing => No_Strict_Alias : declare - E_Id : Entity_Id; - - begin - GNAT_Pragma; - Check_At_Most_N_Arguments (1); - - if Arg_Count = 0 then - Check_Valid_Configuration_Pragma; - Opt.No_Strict_Aliasing := True; - - else - Check_Optional_Identifier (Arg2, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Entity (Expression (Arg1)); - - if E_Id = Any_Type then - return; - elsif No (E_Id) or else not Is_Access_Type (E_Id) then - Error_Pragma_Arg ("pragma% requires access type", Arg1); - end if; - - Set_No_Strict_Aliasing (Implementation_Base_Type (E_Id)); - end if; - end No_Strict_Alias; - - ----------------- - -- Obsolescent -- - ----------------- - - -- pragma Obsolescent [(static_string_EXPRESSION [, Ada_05])]; - - when Pragma_Obsolescent => Obsolescent : declare - Subp : Node_Or_Entity_Id; - S : String_Id; - Active : Boolean := True; - - procedure Check_Obsolete_Subprogram; - -- Checks if Subp is a subprogram declaration node, and if so - -- replaces Subp by the defining entity of the subprogram. If not, - -- issues an error message - - ------------------------------ - -- Check_Obsolete_Subprogram-- - ------------------------------ - - procedure Check_Obsolete_Subprogram is - begin - if Nkind (Subp) /= N_Subprogram_Declaration then - Error_Pragma - ("pragma% misplaced, must immediately " & - "follow subprogram/package declaration"); - else - Subp := Defining_Entity (Subp); - end if; - end Check_Obsolete_Subprogram; - - -- Start of processing for pragma Obsolescent - - begin - GNAT_Pragma; - Check_At_Most_N_Arguments (2); - Check_No_Identifiers; - - -- Check OK placement - - -- First possibility is within a declarative region, where the - -- pragma immediately follows a subprogram declaration. - - if Present (Prev (N)) then - Subp := Prev (N); - Check_Obsolete_Subprogram; - - -- Second possibility, stand alone subprogram declaration with the - -- pragma immediately following the declaration. - - elsif No (Prev (N)) - and then Nkind (Parent (N)) = N_Compilation_Unit_Aux - then - Subp := Unit (Parent (Parent (N))); - Check_Obsolete_Subprogram; - - -- Only other possibility is library unit placement for package - - else - Subp := Find_Lib_Unit_Name; - - if Ekind (Subp) /= E_Package - and then Ekind (Subp) /= E_Generic_Package - then - Check_Obsolete_Subprogram; - end if; - end if; - - -- If OK placement, acquire arguments - - if Arg_Count >= 1 then - - -- Deal with static string argument - - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - S := Strval (Expression (Arg1)); - - for J in 1 .. String_Length (S) loop - if not In_Character_Range (Get_String_Char (S, J)) then - Error_Pragma_Arg - ("pragma% argument does not allow wide characters", - Arg1); - end if; - end loop; - - Set_Obsolescent_Warning (Subp, Expression (Arg1)); - - -- Check for Ada_05 parameter - - if Arg_Count /= 1 then - Check_Arg_Count (2); - - declare - Argx : constant Node_Id := Get_Pragma_Arg (Arg2); - - begin - Check_Arg_Is_Identifier (Argx); - - if Chars (Argx) /= Name_Ada_05 then - Error_Msg_Name_2 := Name_Ada_05; - Error_Pragma_Arg - ("only allowed argument for pragma% is %", Argx); - end if; - - if Ada_Version_Explicit < Ada_05 - or else not Warn_On_Ada_2005_Compatibility - then - Active := False; - end if; - end; - end if; - end if; - - -- Set flag if pragma active - - if Active then - Set_Is_Obsolescent (Subp); - end if; - end Obsolescent; - - ----------------- - -- No_Run_Time -- - ----------------- - - -- pragma No_Run_Time - - -- Note: this pragma is retained for backwards compatibiltiy. - -- See body of Rtsfind for full details on its handling. - - when Pragma_No_Run_Time => - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Check_Arg_Count (0); - - No_Run_Time_Mode := True; - Configurable_Run_Time_Mode := True; - - declare - Word32 : constant Boolean := Ttypes.System_Word_Size = 32; - begin - if Word32 then - Duration_32_Bits_On_Target := True; - end if; - end; - - Set_Restriction (No_Finalization, N); - Set_Restriction (No_Exception_Handlers, N); - Set_Restriction (Max_Tasks, N, 0); - Set_Restriction (No_Tasking, N); - - ----------------------- - -- Normalize_Scalars -- - ----------------------- - - -- pragma Normalize_Scalars; - - when Pragma_Normalize_Scalars => - Check_Ada_83_Warning; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Normalize_Scalars := True; - Init_Or_Norm_Scalars := True; - - -------------- - -- Optimize -- - -------------- - - -- pragma Optimize (Time | Space); - - -- The actual check for optimize is done in Gigi. Note that this - -- pragma does not actually change the optimization setting, it - -- simply checks that it is consistent with the pragma. - - when Pragma_Optimize => - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Time, Name_Space, Name_Off); - - ------------------------- - -- Optional_Overriding -- - ------------------------- - - -- These pragmas are treated as part of the previous subprogram - -- declaration, and analyzed immediately after it (see sem_ch6, - -- Check_Overriding_Operation). If the pragma has not been analyzed - -- yet, it appears in the wrong place. - - when Pragma_Optional_Overriding => - Error_Msg_N ("pragma must appear immediately after subprogram", N); - - ---------- - -- Pack -- - ---------- - - -- pragma Pack (first_subtype_LOCAL_NAME); - - when Pragma_Pack => Pack : declare - Assoc : constant Node_Id := Arg1; - Type_Id : Node_Id; - Typ : Entity_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - - Type_Id := Expression (Assoc); - Find_Type (Type_Id); - Typ := Entity (Type_Id); - - if Typ = Any_Type - or else Rep_Item_Too_Early (Typ, N) - then - return; - else - Typ := Underlying_Type (Typ); - end if; - - if not Is_Array_Type (Typ) and then not Is_Record_Type (Typ) then - Error_Pragma ("pragma% must specify array or record type"); - end if; - - Check_First_Subtype (Arg1); - - if Has_Pragma_Pack (Typ) then - Error_Pragma ("duplicate pragma%, only one allowed"); - - -- Array type - - elsif Is_Array_Type (Typ) then - - -- Pack not allowed for aliased or atomic components - - if Has_Aliased_Components (Base_Type (Typ)) then - Error_Pragma - ("pragma% ignored, cannot pack aliased components?"); - - elsif Has_Atomic_Components (Typ) - or else Is_Atomic (Component_Type (Typ)) - then - Error_Pragma - ("?pragma% ignored, cannot pack atomic components"); - end if; - - -- If we had an explicit component size given, then we do not - -- let Pack override this given size. We also give a warning - -- that Pack is being ignored unless we can tell for sure that - -- the Pack would not have had any effect anyway. - - if Has_Component_Size_Clause (Typ) then - if Known_Static_RM_Size (Component_Type (Typ)) - and then - RM_Size (Component_Type (Typ)) = Component_Size (Typ) - then - null; - else - Error_Pragma - ("?pragma% ignored, explicit component size given"); - end if; - - -- If no prior array component size given, Pack is effective - - else - if not Rep_Item_Too_Late (Typ, N) then - Set_Is_Packed (Base_Type (Typ)); - Set_Has_Pragma_Pack (Base_Type (Typ)); - Set_Has_Non_Standard_Rep (Base_Type (Typ)); - end if; - end if; - - -- For record types, the pack is always effective - - else pragma Assert (Is_Record_Type (Typ)); - if not Rep_Item_Too_Late (Typ, N) then - Set_Has_Pragma_Pack (Base_Type (Typ)); - Set_Is_Packed (Base_Type (Typ)); - Set_Has_Non_Standard_Rep (Base_Type (Typ)); - end if; - end if; - end Pack; - - ---------- - -- Page -- - ---------- - - -- pragma Page; - - -- There is nothing to do here, since we did all the processing - -- for this pragma in Par.Prag (so that it works properly even in - -- syntax only mode) - - when Pragma_Page => - null; - - ------------- - -- Passive -- - ------------- - - -- pragma Passive [(PASSIVE_FORM)]; - - -- PASSIVE_FORM ::= Semaphore | No - - when Pragma_Passive => - GNAT_Pragma; - - if Nkind (Parent (N)) /= N_Task_Definition then - Error_Pragma ("pragma% must be within task definition"); - end if; - - if Arg_Count /= 0 then - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Semaphore, Name_No); - end if; - - ------------- - -- Polling -- - ------------- - - -- pragma Polling (ON | OFF); - - when Pragma_Polling => - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); - Polling_Required := (Chars (Expression (Arg1)) = Name_On); - - -------------------- - -- Persistent_BSS -- - -------------------- - - when Pragma_Persistent_BSS => Persistent_BSS : declare - Decl : Node_Id; - Ent : Entity_Id; - Prag : Node_Id; - - begin - GNAT_Pragma; - Check_At_Most_N_Arguments (1); - - -- Case of application to specific object (one argument) - - if Arg_Count = 1 then - Check_Arg_Is_Library_Level_Local_Name (Arg1); - - if not Is_Entity_Name (Expression (Arg1)) - or else - (Ekind (Entity (Expression (Arg1))) /= E_Variable - and then Ekind (Entity (Expression (Arg1))) /= E_Constant) - then - Error_Pragma_Arg ("pragma% only applies to objects", Arg1); - end if; - - Ent := Entity (Expression (Arg1)); - Decl := Parent (Ent); - - if Rep_Item_Too_Late (Ent, N) then - return; - end if; - - if Present (Expression (Decl)) then - Error_Pragma_Arg - ("object for pragma% cannot have initialization", Arg1); - end if; - - if not Is_Potentially_Persistent_Type (Etype (Ent)) then - Error_Pragma_Arg - ("object type for pragma% is not potentially persistent", - Arg1); - end if; - - Prag := - Make_Linker_Section_Pragma - (Ent, Sloc (N), ".persistent.bss"); - Insert_After (N, Prag); - Analyze (Prag); - - -- Case of use as configuration pragma with no arguments - - else - Check_Valid_Configuration_Pragma; - Persistent_BSS_Mode := True; - end if; - end Persistent_BSS; - - ------------------ - -- Preelaborate -- - ------------------ - - -- pragma Preelaborate [(library_unit_NAME)]; - - -- Set the flag Is_Preelaborated of program unit name entity - - when Pragma_Preelaborate => Preelaborate : declare - Pa : constant Node_Id := Parent (N); - Pk : constant Node_Kind := Nkind (Pa); - Ent : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Ent := Find_Lib_Unit_Name; - - -- This filters out pragmas inside generic parent then - -- show up inside instantiation - - if Present (Ent) - and then not (Pk = N_Package_Specification - and then Present (Generic_Parent (Pa))) - then - if not Debug_Flag_U then - Set_Is_Preelaborated (Ent); - Set_Suppress_Elaboration_Warnings (Ent); - end if; - end if; - end Preelaborate; - - --------------------- - -- Preelaborate_05 -- - --------------------- - - -- pragma Preelaborate_05 [(library_unit_NAME)]; - - -- This pragma is useable only in GNAT_Mode, where it is used like - -- pragma Preelaborate but it is only effective in Ada 2005 mode - -- (otherwise it is ignored). This is used to implement AI-362 which - -- recategorizes some run-time packages in Ada 2005 mode. - - when Pragma_Preelaborate_05 => Preelaborate_05 : declare - Ent : Entity_Id; - - begin - GNAT_Pragma; - Check_Valid_Library_Unit_Pragma; - - if not GNAT_Mode then - Error_Pragma ("pragma% only available in GNAT mode"); - end if; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - -- This is one of the few cases where we need to test the value of - -- Ada_Version_Explicit rather than Ada_Version (which is always - -- set to Ada_05 in a predefined unit), we need to know the - -- explicit version set to know if this pragma is active. - - if Ada_Version_Explicit >= Ada_05 then - Ent := Find_Lib_Unit_Name; - Set_Is_Preelaborated (Ent); - Set_Suppress_Elaboration_Warnings (Ent); - end if; - end Preelaborate_05; - - -------------- - -- Priority -- - -------------- - - -- pragma Priority (EXPRESSION); - - when Pragma_Priority => Priority : declare - P : constant Node_Id := Parent (N); - Arg : Node_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - - -- Subprogram case - - if Nkind (P) = N_Subprogram_Body then - Check_In_Main_Program; - - Arg := Expression (Arg1); - Analyze_And_Resolve (Arg, Standard_Integer); - - -- Must be static - - if not Is_Static_Expression (Arg) then - Flag_Non_Static_Expr - ("main subprogram priority is not static!", Arg); - raise Pragma_Exit; - - -- If constraint error, then we already signalled an error - - elsif Raises_Constraint_Error (Arg) then - null; - - -- Otherwise check in range - - else - declare - Val : constant Uint := Expr_Value (Arg); - - begin - if Val < 0 - or else Val > Expr_Value (Expression - (Parent (RTE (RE_Max_Priority)))) - then - Error_Pragma_Arg - ("main subprogram priority is out of range", Arg1); - end if; - end; - end if; - - Set_Main_Priority - (Current_Sem_Unit, UI_To_Int (Expr_Value (Arg))); - - -- Task or Protected, must be of type Integer - - elsif Nkind (P) = N_Protected_Definition - or else - Nkind (P) = N_Task_Definition - then - Arg := Expression (Arg1); - - -- The expression must be analyzed in the special manner - -- described in "Handling of Default and Per-Object - -- Expressions" in sem.ads. - - Analyze_Per_Use_Expression (Arg, Standard_Integer); - - if not Is_Static_Expression (Arg) then - Check_Restriction (Static_Priorities, Arg); - end if; - - -- Anything else is incorrect - - else - Pragma_Misplaced; - end if; - - if Has_Priority_Pragma (P) then - Error_Pragma ("duplicate pragma% not allowed"); - else - Set_Has_Priority_Pragma (P, True); - - if Nkind (P) = N_Protected_Definition - or else - Nkind (P) = N_Task_Definition - then - Record_Rep_Item (Defining_Identifier (Parent (P)), N); - -- exp_ch9 should use this ??? - end if; - end if; - end Priority; - - ------------- - -- Profile -- - ------------- - - -- pragma Profile (profile_IDENTIFIER); - - -- profile_IDENTIFIER => Protected | Ravenscar - - when Pragma_Profile => - Check_Arg_Count (1); - Check_Valid_Configuration_Pragma; - Check_No_Identifiers; - - declare - Argx : constant Node_Id := Get_Pragma_Arg (Arg1); - begin - if Chars (Argx) = Name_Ravenscar then - Set_Ravenscar_Profile (N); - - elsif Chars (Argx) = Name_Restricted then - Set_Profile_Restrictions (Restricted, N, Warn => False); - else - Error_Pragma_Arg ("& is not a valid profile", Argx); - end if; - end; - - ---------------------- - -- Profile_Warnings -- - ---------------------- - - -- pragma Profile_Warnings (profile_IDENTIFIER); - - -- profile_IDENTIFIER => Protected | Ravenscar - - when Pragma_Profile_Warnings => - GNAT_Pragma; - Check_Arg_Count (1); - Check_Valid_Configuration_Pragma; - Check_No_Identifiers; - - declare - Argx : constant Node_Id := Get_Pragma_Arg (Arg1); - begin - if Chars (Argx) = Name_Ravenscar then - Set_Profile_Restrictions (Ravenscar, N, Warn => True); - - elsif Chars (Argx) = Name_Restricted then - Set_Profile_Restrictions (Restricted, N, Warn => True); - else - Error_Pragma_Arg ("& is not a valid profile", Argx); - end if; - end; - - -------------------------- - -- Propagate_Exceptions -- - -------------------------- - - -- pragma Propagate_Exceptions; - - -- Note: this pragma is obsolete and has no effect - - when Pragma_Propagate_Exceptions => - GNAT_Pragma; - Check_Arg_Count (0); - - if In_Extended_Main_Source_Unit (N) then - Propagate_Exceptions := True; - end if; - - ------------------ - -- Psect_Object -- - ------------------ - - -- pragma Psect_Object ( - -- [Internal =>] LOCAL_NAME, - -- [, [External =>] EXTERNAL_SYMBOL] - -- [, [Size =>] EXTERNAL_SYMBOL]); - - when Pragma_Psect_Object | Pragma_Common_Object => - Psect_Object : declare - Args : Args_List (1 .. 3); - Names : constant Name_List (1 .. 3) := ( - Name_Internal, - Name_External, - Name_Size); - - Internal : Node_Id renames Args (1); - External : Node_Id renames Args (2); - Size : Node_Id renames Args (3); - - Def_Id : Entity_Id; - - procedure Check_Too_Long (Arg : Node_Id); - -- Posts message if the argument is an identifier with more - -- than 31 characters, or a string literal with more than - -- 31 characters, and we are operating under VMS - - -------------------- - -- Check_Too_Long -- - -------------------- - - procedure Check_Too_Long (Arg : Node_Id) is - X : constant Node_Id := Original_Node (Arg); - - begin - if Nkind (X) /= N_String_Literal - and then - Nkind (X) /= N_Identifier - then - Error_Pragma_Arg - ("inappropriate argument for pragma %", Arg); - end if; - - if OpenVMS_On_Target then - if (Nkind (X) = N_String_Literal - and then String_Length (Strval (X)) > 31) - or else - (Nkind (X) = N_Identifier - and then Length_Of_Name (Chars (X)) > 31) - then - Error_Pragma_Arg - ("argument for pragma % is longer than 31 characters", - Arg); - end if; - end if; - end Check_Too_Long; - - -- Start of processing for Common_Object/Psect_Object - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - Process_Extended_Import_Export_Internal_Arg (Internal); - - Def_Id := Entity (Internal); - - if Ekind (Def_Id) /= E_Constant - and then Ekind (Def_Id) /= E_Variable - then - Error_Pragma_Arg - ("pragma% must designate an object", Internal); - end if; - - Check_Too_Long (Internal); - - if Is_Imported (Def_Id) or else Is_Exported (Def_Id) then - Error_Pragma_Arg - ("cannot use pragma% for imported/exported object", - Internal); - end if; - - if Is_Concurrent_Type (Etype (Internal)) then - Error_Pragma_Arg - ("cannot specify pragma % for task/protected object", - Internal); - end if; - - if Has_Rep_Pragma (Def_Id, Name_Common_Object) - or else - Has_Rep_Pragma (Def_Id, Name_Psect_Object) - then - Error_Msg_N ("?duplicate Common/Psect_Object pragma", N); - end if; - - if Ekind (Def_Id) = E_Constant then - Error_Pragma_Arg - ("cannot specify pragma % for a constant", Internal); - end if; - - if Is_Record_Type (Etype (Internal)) then - declare - Ent : Entity_Id; - Decl : Entity_Id; - - begin - Ent := First_Entity (Etype (Internal)); - while Present (Ent) loop - Decl := Declaration_Node (Ent); - - if Ekind (Ent) = E_Component - and then Nkind (Decl) = N_Component_Declaration - and then Present (Expression (Decl)) - and then Warn_On_Export_Import - then - Error_Msg_N - ("?object for pragma % has defaults", Internal); - exit; - - else - Next_Entity (Ent); - end if; - end loop; - end; - end if; - - if Present (Size) then - Check_Too_Long (Size); - end if; - - if Present (External) then - Check_Arg_Is_External_Name (External); - Check_Too_Long (External); - end if; - - -- If all error tests pass, link pragma on to the rep item chain - - Record_Rep_Item (Def_Id, N); - end Psect_Object; - - ---------- - -- Pure -- - ---------- - - -- pragma Pure [(library_unit_NAME)]; - - when Pragma_Pure => Pure : declare - Ent : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Ent := Find_Lib_Unit_Name; - Set_Is_Pure (Ent); - Set_Has_Pragma_Pure (Ent); - Set_Suppress_Elaboration_Warnings (Ent); - end Pure; - - ------------- - -- Pure_05 -- - ------------- - - -- pragma Pure_05 [(library_unit_NAME)]; - - -- This pragma is useable only in GNAT_Mode, where it is used like - -- pragma Pure but it is only effective in Ada 2005 mode (otherwise - -- it is ignored). It may be used after a pragma Preelaborate, in - -- which case it overrides the effect of the pragma Preelaborate. - -- This is used to implement AI-362 which recategorizes some run-time - -- packages in Ada 2005 mode. - - when Pragma_Pure_05 => Pure_05 : declare - Ent : Entity_Id; - - begin - GNAT_Pragma; - Check_Valid_Library_Unit_Pragma; - - if not GNAT_Mode then - Error_Pragma ("pragma% only available in GNAT mode"); - end if; - if Nkind (N) = N_Null_Statement then - return; - end if; - - -- This is one of the few cases where we need to test the value of - -- Ada_Version_Explicit rather than Ada_Version (which is always - -- set to Ada_05 in a predefined unit), we need to know the - -- explicit version set to know if this pragma is active. - - if Ada_Version_Explicit >= Ada_05 then - Ent := Find_Lib_Unit_Name; - Set_Is_Preelaborated (Ent, False); - Set_Is_Pure (Ent); - Set_Suppress_Elaboration_Warnings (Ent); - end if; - end Pure_05; - - ------------------- - -- Pure_Function -- - ------------------- - - -- pragma Pure_Function ([Entity =>] function_LOCAL_NAME); - - when Pragma_Pure_Function => Pure_Function : declare - E_Id : Node_Id; - E : Entity_Id; - Def_Id : Entity_Id; - Effective : Boolean := False; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - E_Id := Expression (Arg1); - - if Error_Posted (E_Id) then - return; - end if; - - -- Loop through homonyms (overloadings) of referenced entity - - E := Entity (E_Id); - - if Present (E) then - loop - Def_Id := Get_Base_Subprogram (E); - - if Ekind (Def_Id) /= E_Function - and then Ekind (Def_Id) /= E_Generic_Function - and then Ekind (Def_Id) /= E_Operator - then - Error_Pragma_Arg - ("pragma% requires a function name", Arg1); - end if; - - Set_Is_Pure (Def_Id); - - if not Has_Pragma_Pure_Function (Def_Id) then - Set_Has_Pragma_Pure_Function (Def_Id); - Effective := True; - end if; - - E := Homonym (E); - exit when No (E) or else Scope (E) /= Current_Scope; - end loop; - - if not Effective - and then Warn_On_Redundant_Constructs - then - Error_Msg_NE ("pragma Pure_Function on& is redundant?", - N, Entity (E_Id)); - end if; - end if; - end Pure_Function; - - -------------------- - -- Queuing_Policy -- - -------------------- - - -- pragma Queuing_Policy (policy_IDENTIFIER); - - when Pragma_Queuing_Policy => declare - QP : Character; - - begin - Check_Ada_83_Warning; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Queuing_Policy (Arg1); - Check_Valid_Configuration_Pragma; - Get_Name_String (Chars (Expression (Arg1))); - QP := Fold_Upper (Name_Buffer (1)); - - if Queuing_Policy /= ' ' - and then Queuing_Policy /= QP - then - Error_Msg_Sloc := Queuing_Policy_Sloc; - Error_Pragma ("queuing policy incompatible with policy#"); - - -- Set new policy, but always preserve System_Location since - -- we like the error message with the run time name. - - else - Queuing_Policy := QP; - - if Queuing_Policy_Sloc /= System_Location then - Queuing_Policy_Sloc := Loc; - end if; - end if; - end; - - --------------------------- - -- Remote_Call_Interface -- - --------------------------- - - -- pragma Remote_Call_Interface [(library_unit_NAME)]; - - when Pragma_Remote_Call_Interface => Remote_Call_Interface : declare - Cunit_Node : Node_Id; - Cunit_Ent : Entity_Id; - K : Node_Kind; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Cunit_Node := Cunit (Current_Sem_Unit); - K := Nkind (Unit (Cunit_Node)); - Cunit_Ent := Cunit_Entity (Current_Sem_Unit); - - if K = N_Package_Declaration - or else K = N_Generic_Package_Declaration - or else K = N_Subprogram_Declaration - or else K = N_Generic_Subprogram_Declaration - or else (K = N_Subprogram_Body - and then Acts_As_Spec (Unit (Cunit_Node))) - then - null; - else - Error_Pragma ( - "pragma% must apply to package or subprogram declaration"); - end if; - - Set_Is_Remote_Call_Interface (Cunit_Ent); - end Remote_Call_Interface; - - ------------------ - -- Remote_Types -- - ------------------ - - -- pragma Remote_Types [(library_unit_NAME)]; - - when Pragma_Remote_Types => Remote_Types : declare - Cunit_Node : Node_Id; - Cunit_Ent : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Cunit_Node := Cunit (Current_Sem_Unit); - Cunit_Ent := Cunit_Entity (Current_Sem_Unit); - - if Nkind (Unit (Cunit_Node)) /= N_Package_Declaration - and then - Nkind (Unit (Cunit_Node)) /= N_Generic_Package_Declaration - then - Error_Pragma ( - "pragma% can only apply to a package declaration"); - end if; - - Set_Is_Remote_Types (Cunit_Ent); - end Remote_Types; - - --------------- - -- Ravenscar -- - --------------- - - -- pragma Ravenscar; - - when Pragma_Ravenscar => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Set_Ravenscar_Profile (N); - - if Warn_On_Obsolescent_Feature then - Error_Msg_N - ("pragma Ravenscar is an obsolescent feature?", N); - Error_Msg_N - ("|use pragma Profile (Ravenscar) instead", N); - end if; - - ------------------------- - -- Restricted_Run_Time -- - ------------------------- - - -- pragma Restricted_Run_Time; - - when Pragma_Restricted_Run_Time => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Set_Profile_Restrictions (Restricted, N, Warn => False); - - if Warn_On_Obsolescent_Feature then - Error_Msg_N - ("pragma Restricted_Run_Time is an obsolescent feature?", N); - Error_Msg_N - ("|use pragma Profile (Restricted) instead", N); - end if; - - ------------------ - -- Restrictions -- - ------------------ - - -- pragma Restrictions (RESTRICTION {, RESTRICTION}); - - -- RESTRICTION ::= - -- restriction_IDENTIFIER - -- | restriction_parameter_IDENTIFIER => EXPRESSION - - when Pragma_Restrictions => - Process_Restrictions_Or_Restriction_Warnings; - - -------------------------- - -- Restriction_Warnings -- - -------------------------- - - -- pragma Restriction_Warnings (RESTRICTION {, RESTRICTION}); - - -- RESTRICTION ::= - -- restriction_IDENTIFIER - -- | restriction_parameter_IDENTIFIER => EXPRESSION - - when Pragma_Restriction_Warnings => - Process_Restrictions_Or_Restriction_Warnings; - - ---------------- - -- Reviewable -- - ---------------- - - -- pragma Reviewable; - - when Pragma_Reviewable => - Check_Ada_83_Warning; - Check_Arg_Count (0); - - ------------------- - -- Share_Generic -- - ------------------- - - -- pragma Share_Generic (NAME {, NAME}); - - when Pragma_Share_Generic => - GNAT_Pragma; - Process_Generic_List; - - ------------ - -- Shared -- - ------------ - - -- pragma Shared (LOCAL_NAME); - - when Pragma_Shared => - GNAT_Pragma; - Process_Atomic_Shared_Volatile; - - -------------------- - -- Shared_Passive -- - -------------------- - - -- pragma Shared_Passive [(library_unit_NAME)]; - - -- Set the flag Is_Shared_Passive of program unit name entity - - when Pragma_Shared_Passive => Shared_Passive : declare - Cunit_Node : Node_Id; - Cunit_Ent : Entity_Id; - - begin - Check_Ada_83_Warning; - Check_Valid_Library_Unit_Pragma; - - if Nkind (N) = N_Null_Statement then - return; - end if; - - Cunit_Node := Cunit (Current_Sem_Unit); - Cunit_Ent := Cunit_Entity (Current_Sem_Unit); - - if Nkind (Unit (Cunit_Node)) /= N_Package_Declaration - and then - Nkind (Unit (Cunit_Node)) /= N_Generic_Package_Declaration - then - Error_Pragma ( - "pragma% can only apply to a package declaration"); - end if; - - Set_Is_Shared_Passive (Cunit_Ent); - end Shared_Passive; - - ---------------------- - -- Source_File_Name -- - ---------------------- - - -- There are five forms for this pragma: - - -- pragma Source_File_Name ( - -- [UNIT_NAME =>] unit_NAME, - -- BODY_FILE_NAME => STRING_LITERAL - -- [, [INDEX =>] INTEGER_LITERAL]); - - -- pragma Source_File_Name ( - -- [UNIT_NAME =>] unit_NAME, - -- SPEC_FILE_NAME => STRING_LITERAL - -- [, [INDEX =>] INTEGER_LITERAL]); - - -- pragma Source_File_Name ( - -- BODY_FILE_NAME => STRING_LITERAL - -- [, DOT_REPLACEMENT => STRING_LITERAL] - -- [, CASING => CASING_SPEC]); - - -- pragma Source_File_Name ( - -- SPEC_FILE_NAME => STRING_LITERAL - -- [, DOT_REPLACEMENT => STRING_LITERAL] - -- [, CASING => CASING_SPEC]); - - -- pragma Source_File_Name ( - -- SUBUNIT_FILE_NAME => STRING_LITERAL - -- [, DOT_REPLACEMENT => STRING_LITERAL] - -- [, CASING => CASING_SPEC]); - - -- CASING_SPEC ::= Uppercase | Lowercase | Mixedcase - - -- Pragma Source_File_Name_Project (SFNP) is equivalent to pragma - -- Source_File_Name (SFN), however their usage is exclusive: - -- SFN can only be used when no project file is used, while - -- SFNP can only be used when a project file is used. - - -- No processing here. Processing was completed during parsing, - -- since we need to have file names set as early as possible. - -- Units are loaded well before semantic processing starts. - - -- The only processing we defer to this point is the check - -- for correct placement. - - when Pragma_Source_File_Name => - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - - ------------------------------ - -- Source_File_Name_Project -- - ------------------------------ - - -- See Source_File_Name for syntax - - -- No processing here. Processing was completed during parsing, - -- since we need to have file names set as early as possible. - -- Units are loaded well before semantic processing starts. - - -- The only processing we defer to this point is the check - -- for correct placement. - - when Pragma_Source_File_Name_Project => - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - - -- Check that a pragma Source_File_Name_Project is used only - -- in a configuration pragmas file. - - -- Pragmas Source_File_Name_Project should only be generated - -- by the Project Manager in configuration pragmas files. - - -- This is really an ugly test. It seems to depend on some - -- accidental and undocumented property. At the very least - -- it needs to be documented, but it would be better to have - -- a clean way of testing if we are in a configuration file??? - - if Present (Parent (N)) then - Error_Pragma - ("pragma% can only appear in a configuration pragmas file"); - end if; - - ---------------------- - -- Source_Reference -- - ---------------------- - - -- pragma Source_Reference (INTEGER_LITERAL [, STRING_LITERAL]); - - -- Nothing to do, all processing completed in Par.Prag, since we - -- need the information for possible parser messages that are output - - when Pragma_Source_Reference => - GNAT_Pragma; - - ------------------ - -- Storage_Size -- - ------------------ - - -- pragma Storage_Size (EXPRESSION); - - when Pragma_Storage_Size => Storage_Size : declare - P : constant Node_Id := Parent (N); - Arg : Node_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - - -- The expression must be analyzed in the special manner - -- described in "Handling of Default Expressions" in sem.ads. - - -- Set In_Default_Expression for per-object case ??? - - Arg := Expression (Arg1); - Analyze_Per_Use_Expression (Arg, Any_Integer); - - if not Is_Static_Expression (Arg) then - Check_Restriction (Static_Storage_Size, Arg); - end if; - - if Nkind (P) /= N_Task_Definition then - Pragma_Misplaced; - return; - - else - if Has_Storage_Size_Pragma (P) then - Error_Pragma ("duplicate pragma% not allowed"); - else - Set_Has_Storage_Size_Pragma (P, True); - end if; - - Record_Rep_Item (Defining_Identifier (Parent (P)), N); - -- ??? exp_ch9 should use this! - end if; - end Storage_Size; - - ------------------ - -- Storage_Unit -- - ------------------ - - -- pragma Storage_Unit (NUMERIC_LITERAL); - - -- Only permitted argument is System'Storage_Unit value - - when Pragma_Storage_Unit => - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Integer_Literal (Arg1); - - if Intval (Expression (Arg1)) /= - UI_From_Int (Ttypes.System_Storage_Unit) - then - Error_Msg_Uint_1 := UI_From_Int (Ttypes.System_Storage_Unit); - Error_Pragma_Arg - ("the only allowed argument for pragma% is ^", Arg1); - end if; - - -------------------- - -- Stream_Convert -- - -------------------- - - -- pragma Stream_Convert ( - -- [Entity =>] type_LOCAL_NAME, - -- [Read =>] function_NAME, - -- [Write =>] function NAME); - - when Pragma_Stream_Convert => Stream_Convert : declare - - procedure Check_OK_Stream_Convert_Function (Arg : Node_Id); - -- Check that the given argument is the name of a local - -- function of one argument that is not overloaded earlier - -- in the current local scope. A check is also made that the - -- argument is a function with one parameter. - - -------------------------------------- - -- Check_OK_Stream_Convert_Function -- - -------------------------------------- - - procedure Check_OK_Stream_Convert_Function (Arg : Node_Id) is - Ent : Entity_Id; - - begin - Check_Arg_Is_Local_Name (Arg); - Ent := Entity (Expression (Arg)); - - if Has_Homonym (Ent) then - Error_Pragma_Arg - ("argument for pragma% may not be overloaded", Arg); - end if; - - if Ekind (Ent) /= E_Function - or else No (First_Formal (Ent)) - or else Present (Next_Formal (First_Formal (Ent))) - then - Error_Pragma_Arg - ("argument for pragma% must be" & - " function of one argument", Arg); - end if; - end Check_OK_Stream_Convert_Function; - - -- Start of procecessing for Stream_Convert - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Read, Name_Write)); - Check_Arg_Count (3); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, Name_Read); - Check_Optional_Identifier (Arg3, Name_Write); - Check_Arg_Is_Local_Name (Arg1); - Check_OK_Stream_Convert_Function (Arg2); - Check_OK_Stream_Convert_Function (Arg3); - - declare - Typ : constant Entity_Id := - Underlying_Type (Entity (Expression (Arg1))); - Read : constant Entity_Id := Entity (Expression (Arg2)); - Write : constant Entity_Id := Entity (Expression (Arg3)); - - begin - if Etype (Typ) = Any_Type - or else - Etype (Read) = Any_Type - or else - Etype (Write) = Any_Type - then - return; - end if; - - Check_First_Subtype (Arg1); - - if Rep_Item_Too_Early (Typ, N) - or else - Rep_Item_Too_Late (Typ, N) - then - return; - end if; - - if Underlying_Type (Etype (Read)) /= Typ then - Error_Pragma_Arg - ("incorrect return type for function&", Arg2); - end if; - - if Underlying_Type (Etype (First_Formal (Write))) /= Typ then - Error_Pragma_Arg - ("incorrect parameter type for function&", Arg3); - end if; - - if Underlying_Type (Etype (First_Formal (Read))) /= - Underlying_Type (Etype (Write)) - then - Error_Pragma_Arg - ("result type of & does not match Read parameter type", - Arg3); - end if; - end; - end Stream_Convert; - - ------------------------- - -- Style_Checks (GNAT) -- - ------------------------- - - -- pragma Style_Checks (On | Off | ALL_CHECKS | STRING_LITERAL); - - -- This is processed by the parser since some of the style - -- checks take place during source scanning and parsing. This - -- means that we don't need to issue error messages here. - - when Pragma_Style_Checks => Style_Checks : declare - A : constant Node_Id := Expression (Arg1); - S : String_Id; - C : Char_Code; - - begin - GNAT_Pragma; - Check_No_Identifiers; - - -- Two argument form - - if Arg_Count = 2 then - Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); - - declare - E_Id : Node_Id; - E : Entity_Id; - - begin - E_Id := Expression (Arg2); - Analyze (E_Id); - - if not Is_Entity_Name (E_Id) then - Error_Pragma_Arg - ("second argument of pragma% must be entity name", - Arg2); - end if; - - E := Entity (E_Id); - - if E = Any_Id then - return; - else - loop - Set_Suppress_Style_Checks (E, - (Chars (Expression (Arg1)) = Name_Off)); - exit when No (Homonym (E)); - E := Homonym (E); - end loop; - end if; - end; - - -- One argument form - - else - Check_Arg_Count (1); - - if Nkind (A) = N_String_Literal then - S := Strval (A); - - declare - Slen : constant Natural := Natural (String_Length (S)); - Options : String (1 .. Slen); - J : Natural; - - begin - J := 1; - loop - C := Get_String_Char (S, Int (J)); - exit when not In_Character_Range (C); - Options (J) := Get_Character (C); - - -- If at end of string, set options. As per discussion - -- above, no need to check for errors, since we issued - -- them in the parser. - - if J = Slen then - Set_Style_Check_Options (Options); - exit; - end if; - - J := J + 1; - end loop; - end; - - elsif Nkind (A) = N_Identifier then - if Chars (A) = Name_All_Checks then - Set_Default_Style_Check_Options; - - elsif Chars (A) = Name_On then - Style_Check := True; - - elsif Chars (A) = Name_Off then - Style_Check := False; - end if; - end if; - end if; - end Style_Checks; - - -------------- - -- Subtitle -- - -------------- - - -- pragma Subtitle ([Subtitle =>] STRING_LITERAL); - - when Pragma_Subtitle => - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Subtitle); - Check_Arg_Is_String_Literal (Arg1); - - -------------- - -- Suppress -- - -------------- - - -- pragma Suppress (IDENTIFIER [, [On =>] NAME]); - - when Pragma_Suppress => - Process_Suppress_Unsuppress (True); - - ------------------ - -- Suppress_All -- - ------------------ - - -- pragma Suppress_All; - - -- The only check made here is that the pragma appears in the - -- proper place, i.e. following a compilation unit. If indeed - -- it appears in this context, then the parser has already - -- inserted an equivalent pragma Suppress (All_Checks) to get - -- the required effect. - - when Pragma_Suppress_All => - GNAT_Pragma; - Check_Arg_Count (0); - - if Nkind (Parent (N)) /= N_Compilation_Unit_Aux - or else not Is_List_Member (N) - or else List_Containing (N) /= Pragmas_After (Parent (N)) - then - Error_Pragma - ("misplaced pragma%, must follow compilation unit"); - end if; - - ------------------------- - -- Suppress_Debug_Info -- - ------------------------- - - -- pragma Suppress_Debug_Info ([Entity =>] LOCAL_NAME); - - when Pragma_Suppress_Debug_Info => - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - Set_Debug_Info_Off (Entity (Get_Pragma_Arg (Arg1))); - - ---------------------------------- - -- Suppress_Exception_Locations -- - ---------------------------------- - - -- pragma Suppress_Exception_Locations; - - when Pragma_Suppress_Exception_Locations => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Exception_Locations_Suppressed := True; - - ----------------------------- - -- Suppress_Initialization -- - ----------------------------- - - -- pragma Suppress_Initialization ([Entity =>] type_Name); - - when Pragma_Suppress_Initialization => Suppress_Init : declare - E_Id : Node_Id; - E : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - E_Id := Expression (Arg1); - - if Etype (E_Id) = Any_Type then - return; - end if; - - E := Entity (E_Id); - - if Is_Type (E) then - if Is_Incomplete_Or_Private_Type (E) then - if No (Full_View (Base_Type (E))) then - Error_Pragma_Arg - ("argument of pragma% cannot be an incomplete type", - Arg1); - else - Set_Suppress_Init_Proc (Full_View (Base_Type (E))); - end if; - else - Set_Suppress_Init_Proc (Base_Type (E)); - end if; - - else - Error_Pragma_Arg - ("pragma% requires argument that is a type name", Arg1); - end if; - end Suppress_Init; - - ----------------- - -- System_Name -- - ----------------- - - -- pragma System_Name (DIRECT_NAME); - - -- Syntax check: one argument, which must be the identifier GNAT - -- or the identifier GCC, no other identifiers are acceptable. - - when Pragma_System_Name => - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_One_Of (Arg1, Name_Gcc, Name_Gnat); - - ----------------------------- - -- Task_Dispatching_Policy -- - ----------------------------- - - -- pragma Task_Dispatching_Policy (policy_IDENTIFIER); - - when Pragma_Task_Dispatching_Policy => declare - DP : Character; - - begin - Check_Ada_83_Warning; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_Arg_Is_Task_Dispatching_Policy (Arg1); - Check_Valid_Configuration_Pragma; - Get_Name_String (Chars (Expression (Arg1))); - DP := Fold_Upper (Name_Buffer (1)); - - if Task_Dispatching_Policy /= ' ' - and then Task_Dispatching_Policy /= DP - then - Error_Msg_Sloc := Task_Dispatching_Policy_Sloc; - Error_Pragma - ("task dispatching policy incompatible with policy#"); - - -- Set new policy, but always preserve System_Location since - -- we like the error message with the run time name. - - else - Task_Dispatching_Policy := DP; - - if Task_Dispatching_Policy_Sloc /= System_Location then - Task_Dispatching_Policy_Sloc := Loc; - end if; - end if; - end; - - -------------- - -- Task_Info -- - -------------- - - -- pragma Task_Info (EXPRESSION); - - when Pragma_Task_Info => Task_Info : declare - P : constant Node_Id := Parent (N); - - begin - GNAT_Pragma; - - if Nkind (P) /= N_Task_Definition then - Error_Pragma ("pragma% must appear in task definition"); - end if; - - Check_No_Identifiers; - Check_Arg_Count (1); - - Analyze_And_Resolve (Expression (Arg1), RTE (RE_Task_Info_Type)); - - if Etype (Expression (Arg1)) = Any_Type then - return; - end if; - - if Has_Task_Info_Pragma (P) then - Error_Pragma ("duplicate pragma% not allowed"); - else - Set_Has_Task_Info_Pragma (P, True); - end if; - end Task_Info; - - --------------- - -- Task_Name -- - --------------- - - -- pragma Task_Name (string_EXPRESSION); - - when Pragma_Task_Name => Task_Name : declare - -- pragma Priority (EXPRESSION); - - P : constant Node_Id := Parent (N); - Arg : Node_Id; - - begin - Check_No_Identifiers; - Check_Arg_Count (1); - - Arg := Expression (Arg1); - Analyze_And_Resolve (Arg, Standard_String); - - if Nkind (P) /= N_Task_Definition then - Pragma_Misplaced; - end if; - - if Has_Task_Name_Pragma (P) then - Error_Pragma ("duplicate pragma% not allowed"); - else - Set_Has_Task_Name_Pragma (P, True); - Record_Rep_Item (Defining_Identifier (Parent (P)), N); - end if; - end Task_Name; - - ------------------ - -- Task_Storage -- - ------------------ - - -- pragma Task_Storage ( - -- [Task_Type =>] LOCAL_NAME, - -- [Top_Guard =>] static_integer_EXPRESSION); - - when Pragma_Task_Storage => Task_Storage : declare - Args : Args_List (1 .. 2); - Names : constant Name_List (1 .. 2) := ( - Name_Task_Type, - Name_Top_Guard); - - Task_Type : Node_Id renames Args (1); - Top_Guard : Node_Id renames Args (2); - - Ent : Entity_Id; - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - - if No (Task_Type) then - Error_Pragma - ("missing task_type argument for pragma%"); - end if; - - Check_Arg_Is_Local_Name (Task_Type); - - Ent := Entity (Task_Type); - - if not Is_Task_Type (Ent) then - Error_Pragma_Arg - ("argument for pragma% must be task type", Task_Type); - end if; - - if No (Top_Guard) then - Error_Pragma_Arg - ("pragma% takes two arguments", Task_Type); - else - Check_Arg_Is_Static_Expression (Top_Guard, Any_Integer); - end if; - - Check_First_Subtype (Task_Type); - - if Rep_Item_Too_Late (Ent, N) then - raise Pragma_Exit; - end if; - end Task_Storage; - - ----------------- - -- Thread_Body -- - ----------------- - - -- pragma Thread_Body - -- ( [Entity =>] LOCAL_NAME - -- [,[Secondary_Stack_Size =>] static_integer_EXPRESSION]); - - when Pragma_Thread_Body => Thread_Body : declare - Id : Node_Id; - SS : Node_Id; - E : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Order ((Name_Entity, Name_Secondary_Stack_Size)); - Check_At_Least_N_Arguments (1); - Check_At_Most_N_Arguments (2); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Local_Name (Arg1); - - Id := Expression (Arg1); - - if not Is_Entity_Name (Id) - or else not Is_Subprogram (Entity (Id)) - then - Error_Pragma_Arg ("subprogram name required", Arg1); - end if; - - E := Entity (Id); - - -- Go to renamed subprogram if present, since Thread_Body applies - -- to the actual renamed entity, not to the renaming entity. - - if Present (Alias (E)) - and then Nkind (Parent (Declaration_Node (E))) = - N_Subprogram_Renaming_Declaration - then - E := Alias (E); - end if; - - -- Various error checks - - if Nkind (Parent (Declaration_Node (E))) = N_Subprogram_Body then - Error_Pragma - ("pragma% requires separate spec and must come before body"); - - elsif Rep_Item_Too_Early (E, N) - or else Rep_Item_Too_Late (E, N) - then - raise Pragma_Exit; - - elsif Is_Thread_Body (E) then - Error_Pragma_Arg - ("only one thread body pragma allowed", Arg1); - - elsif Present (Homonym (E)) - and then Scope (Homonym (E)) = Current_Scope - then - Error_Pragma_Arg - ("thread body subprogram must not be overloaded", Arg1); - end if; - - Set_Is_Thread_Body (E); - - -- Deal with secondary stack argument - - if Arg_Count = 2 then - Check_Optional_Identifier (Arg2, Name_Secondary_Stack_Size); - SS := Expression (Arg2); - Analyze_And_Resolve (SS, Any_Integer); - end if; - end Thread_Body; - - ---------------- - -- Time_Slice -- - ---------------- - - -- pragma Time_Slice (static_duration_EXPRESSION); - - when Pragma_Time_Slice => Time_Slice : declare - Val : Ureal; - Nod : Node_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - Check_In_Main_Program; - Check_Arg_Is_Static_Expression (Arg1, Standard_Duration); - - if not Error_Posted (Arg1) then - Nod := Next (N); - while Present (Nod) loop - if Nkind (Nod) = N_Pragma - and then Chars (Nod) = Name_Time_Slice - then - Error_Msg_Name_1 := Chars (N); - Error_Msg_N ("duplicate pragma% not permitted", Nod); - end if; - - Next (Nod); - end loop; - end if; - - -- Process only if in main unit - - if Get_Source_Unit (Loc) = Main_Unit then - Opt.Time_Slice_Set := True; - Val := Expr_Value_R (Expression (Arg1)); - - if Val <= Ureal_0 then - Opt.Time_Slice_Value := 0; - - elsif Val > UR_From_Uint (UI_From_Int (1000)) then - Opt.Time_Slice_Value := 1_000_000_000; - - else - Opt.Time_Slice_Value := - UI_To_Int (UR_To_Uint (Val * UI_From_Int (1_000_000))); - end if; - end if; - end Time_Slice; - - ----------- - -- Title -- - ----------- - - -- pragma Title (TITLING_OPTION [, TITLING OPTION]); - - -- TITLING_OPTION ::= - -- [Title =>] STRING_LITERAL - -- | [Subtitle =>] STRING_LITERAL - - when Pragma_Title => Title : declare - Args : Args_List (1 .. 2); - Names : constant Name_List (1 .. 2) := ( - Name_Title, - Name_Subtitle); - - begin - GNAT_Pragma; - Gather_Associations (Names, Args); - - for J in 1 .. 2 loop - if Present (Args (J)) then - Check_Arg_Is_String_Literal (Args (J)); - end if; - end loop; - end Title; - - --------------------- - -- Unchecked_Union -- - --------------------- - - -- pragma Unchecked_Union (first_subtype_LOCAL_NAME) - - when Pragma_Unchecked_Union => Unchecked_Union : declare - Assoc : constant Node_Id := Arg1; - Type_Id : constant Node_Id := Expression (Assoc); - Typ : Entity_Id; - Discr : Entity_Id; - Tdef : Node_Id; - Clist : Node_Id; - Vpart : Node_Id; - Comp : Node_Id; - Variant : Node_Id; - - begin - GNAT_Pragma; - Check_No_Identifiers; - Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); - - Find_Type (Type_Id); - Typ := Entity (Type_Id); - - if Typ = Any_Type - or else Rep_Item_Too_Early (Typ, N) - then - return; - else - Typ := Underlying_Type (Typ); - end if; - - if Rep_Item_Too_Late (Typ, N) then - return; - end if; - - Check_First_Subtype (Arg1); - - -- Note remaining cases are references to a type in the current - -- declarative part. If we find an error, we post the error on - -- the relevant type declaration at an appropriate point. - - if not Is_Record_Type (Typ) then - Error_Msg_N ("Unchecked_Union must be record type", Typ); - return; - - elsif Is_Tagged_Type (Typ) then - Error_Msg_N ("Unchecked_Union must not be tagged", Typ); - return; - - elsif Is_Limited_Type (Typ) then - Error_Msg_N - ("Unchecked_Union must not be limited record type", Typ); - Explain_Limited_Type (Typ, Typ); - return; - - else - if not Has_Discriminants (Typ) then - Error_Msg_N - ("Unchecked_Union must have one discriminant", Typ); - return; - end if; - - Discr := First_Discriminant (Typ); - - while Present (Discr) loop - if No (Discriminant_Default_Value (Discr)) then - Error_Msg_N - ("Unchecked_Union discriminant must have default value", - Discr); - end if; - Next_Discriminant (Discr); - end loop; - - Tdef := Type_Definition (Declaration_Node (Typ)); - Clist := Component_List (Tdef); - - Comp := First (Component_Items (Clist)); - while Present (Comp) loop - - Check_Component (Comp); - Next (Comp); - - end loop; - - if No (Clist) or else No (Variant_Part (Clist)) then - Error_Msg_N - ("Unchecked_Union must have variant part", - Tdef); - return; - end if; - - Vpart := Variant_Part (Clist); - - Variant := First (Variants (Vpart)); - while Present (Variant) loop - Check_Variant (Variant); - Next (Variant); - end loop; - end if; - - Set_Is_Unchecked_Union (Typ, True); - Set_Convention (Typ, Convention_C); - - Set_Has_Unchecked_Union (Base_Type (Typ), True); - Set_Is_Unchecked_Union (Base_Type (Typ), True); - end Unchecked_Union; - - ------------------------ - -- Unimplemented_Unit -- - ------------------------ - - -- pragma Unimplemented_Unit; - - -- Note: this only gives an error if we are generating code, - -- or if we are in a generic library unit (where the pragma - -- appears in the body, not in the spec). - - when Pragma_Unimplemented_Unit => Unimplemented_Unit : declare - Cunitent : constant Entity_Id := - Cunit_Entity (Get_Source_Unit (Loc)); - Ent_Kind : constant Entity_Kind := - Ekind (Cunitent); - - begin - GNAT_Pragma; - Check_Arg_Count (0); - - if Operating_Mode = Generate_Code - or else Ent_Kind = E_Generic_Function - or else Ent_Kind = E_Generic_Procedure - or else Ent_Kind = E_Generic_Package - then - Get_Name_String (Chars (Cunitent)); - Set_Casing (Mixed_Case); - Write_Str (Name_Buffer (1 .. Name_Len)); - Write_Str (" is not implemented"); - Write_Eol; - raise Unrecoverable_Error; - end if; - end Unimplemented_Unit; - - -------------------- - -- Universal_Data -- - -------------------- - - -- pragma Universal_Data [(library_unit_NAME)]; - - when Pragma_Universal_Data => - GNAT_Pragma; - - -- If this is a configuration pragma, then set the universal - -- addressing option, otherwise confirm that the pragma - -- satisfies the requirements of library unit pragma placement - -- and leave it to the GNAAMP back end to detect the pragma - -- (avoids transitive setting of the option due to withed units). - - if Is_Configuration_Pragma then - Universal_Addressing_On_AAMP := True; - else - Check_Valid_Library_Unit_Pragma; - end if; - - if not AAMP_On_Target then - Error_Pragma ("?pragma% ignored (applies only to AAMP)"); - end if; - - ------------------ - -- Unreferenced -- - ------------------ - - -- pragma Unreferenced (local_Name {, local_Name}); - - when Pragma_Unreferenced => Unreferenced : declare - Arg_Node : Node_Id; - Arg_Expr : Node_Id; - Arg_Ent : Entity_Id; - - begin - GNAT_Pragma; - Check_At_Least_N_Arguments (1); - - Arg_Node := Arg1; - while Present (Arg_Node) loop - Check_No_Identifier (Arg_Node); - - -- Note that the analyze call done by Check_Arg_Is_Local_Name - -- will in fact generate a reference, so that the entity will - -- have a reference, which will inhibit any warnings about it - -- not being referenced, and also properly show up in the ali - -- file as a reference. But this reference is recorded before - -- the Has_Pragma_Unreferenced flag is set, so that no warning - -- is generated for this reference. - - Check_Arg_Is_Local_Name (Arg_Node); - Arg_Expr := Get_Pragma_Arg (Arg_Node); - - if Is_Entity_Name (Arg_Expr) then - Arg_Ent := Entity (Arg_Expr); - - -- If the entity is overloaded, the pragma applies to the - -- most recent overloading, as documented. In this case, - -- name resolution does not generate a reference, so it - -- must be done here explicitly. - - if Is_Overloaded (Arg_Expr) then - Generate_Reference (Arg_Ent, N); - end if; - - Set_Has_Pragma_Unreferenced (Arg_Ent); - end if; - - Next (Arg_Node); - end loop; - end Unreferenced; - - ------------------------------ - -- Unreserve_All_Interrupts -- - ------------------------------ - - -- pragma Unreserve_All_Interrupts; - - when Pragma_Unreserve_All_Interrupts => - GNAT_Pragma; - Check_Arg_Count (0); - - if In_Extended_Main_Code_Unit (Main_Unit_Entity) then - Unreserve_All_Interrupts := True; - end if; - - ---------------- - -- Unsuppress -- - ---------------- - - -- pragma Unsuppress (IDENTIFIER [, [On =>] NAME]); - - when Pragma_Unsuppress => - GNAT_Pragma; - Process_Suppress_Unsuppress (False); - - ------------------- - -- Use_VADS_Size -- - ------------------- - - -- pragma Use_VADS_Size; - - when Pragma_Use_VADS_Size => - GNAT_Pragma; - Check_Arg_Count (0); - Check_Valid_Configuration_Pragma; - Use_VADS_Size := True; - - --------------------- - -- Validity_Checks -- - --------------------- - - -- pragma Validity_Checks (On | Off | ALL_CHECKS | STRING_LITERAL); - - when Pragma_Validity_Checks => Validity_Checks : declare - A : constant Node_Id := Expression (Arg1); - S : String_Id; - C : Char_Code; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_No_Identifiers; - - if Nkind (A) = N_String_Literal then - S := Strval (A); - - declare - Slen : constant Natural := Natural (String_Length (S)); - Options : String (1 .. Slen); - J : Natural; - - begin - J := 1; - loop - C := Get_String_Char (S, Int (J)); - exit when not In_Character_Range (C); - Options (J) := Get_Character (C); - - if J = Slen then - Set_Validity_Check_Options (Options); - exit; - else - J := J + 1; - end if; - end loop; - end; - - elsif Nkind (A) = N_Identifier then - - if Chars (A) = Name_All_Checks then - Set_Validity_Check_Options ("a"); - - elsif Chars (A) = Name_On then - Validity_Checks_On := True; - - elsif Chars (A) = Name_Off then - Validity_Checks_On := False; - - end if; - end if; - end Validity_Checks; - - -------------- - -- Volatile -- - -------------- - - -- pragma Volatile (LOCAL_NAME); - - when Pragma_Volatile => - Process_Atomic_Shared_Volatile; - - ------------------------- - -- Volatile_Components -- - ------------------------- - - -- pragma Volatile_Components (array_LOCAL_NAME); - - -- Volatile is handled by the same circuit as Atomic_Components - - -------------- - -- Warnings -- - -------------- - - -- pragma Warnings (On | Off, [LOCAL_NAME]) - -- pragma Warnings (static_string_EXPRESSION); - - when Pragma_Warnings => Warnings : begin - GNAT_Pragma; - Check_At_Least_N_Arguments (1); - Check_No_Identifiers; - - -- One argument case - - if Arg_Count = 1 then - declare - Argx : constant Node_Id := Get_Pragma_Arg (Arg1); - - begin - -- On/Off one argument case was processed by parser - - if Nkind (Argx) = N_Identifier - and then - (Chars (Argx) = Name_On - or else - Chars (Argx) = Name_Off) - then - null; - - else - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - - declare - Lit : constant Node_Id := Expr_Value_S (Argx); - Str : constant String_Id := Strval (Lit); - C : Char_Code; - - begin - for J in 1 .. String_Length (Str) loop - C := Get_String_Char (Str, J); - - if In_Character_Range (C) - and then Set_Warning_Switch (Get_Character (C)) - then - null; - else - Error_Pragma_Arg - ("invalid warning switch character", Arg1); - end if; - end loop; - end; - end if; - end; - - -- Two argument case - - elsif Arg_Count /= 1 then - Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); - Check_Arg_Count (2); - - declare - E_Id : Node_Id; - E : Entity_Id; - - begin - E_Id := Expression (Arg2); - Analyze (E_Id); - - -- In the expansion of an inlined body, a reference to - -- the formal may be wrapped in a conversion if the actual - -- is a conversion. Retrieve the real entity name. - - if (In_Instance_Body - or else In_Inlined_Body) - and then Nkind (E_Id) = N_Unchecked_Type_Conversion - then - E_Id := Expression (E_Id); - end if; - - if not Is_Entity_Name (E_Id) then - Error_Pragma_Arg - ("second argument of pragma% must be entity name", - Arg2); - end if; - - E := Entity (E_Id); - - if E = Any_Id then - return; - else - loop - Set_Warnings_Off - (E, (Chars (Expression (Arg1)) = Name_Off)); - - if Is_Enumeration_Type (E) then - declare - Lit : Entity_Id; - begin - Lit := First_Literal (E); - while Present (Lit) loop - Set_Warnings_Off (Lit); - Next_Literal (Lit); - end loop; - end; - end if; - - exit when No (Homonym (E)); - E := Homonym (E); - end loop; - end if; - end; - - -- More than two arguments - else - Check_At_Most_N_Arguments (2); - end if; - end Warnings; - - ------------------- - -- Weak_External -- - ------------------- - - -- pragma Weak_External ([Entity =>] LOCAL_NAME); - - when Pragma_Weak_External => Weak_External : declare - Ent : Entity_Id; - - begin - GNAT_Pragma; - Check_Arg_Count (1); - Check_Optional_Identifier (Arg1, Name_Entity); - Check_Arg_Is_Library_Level_Local_Name (Arg1); - Ent := Entity (Expression (Arg1)); - - if Rep_Item_Too_Early (Ent, N) then - return; - else - Ent := Underlying_Type (Ent); - end if; - - -- The only processing required is to link this item on to the - -- list of rep items for the given entity. This is accomplished - -- by the call to Rep_Item_Too_Late (when no error is detected - -- and False is returned). - - if Rep_Item_Too_Late (Ent, N) then - return; - else - Set_Has_Gigi_Rep_Item (Ent); - end if; - end Weak_External; - - -------------------- - -- Unknown_Pragma -- - -------------------- - - -- Should be impossible, since the case of an unknown pragma is - -- separately processed before the case statement is entered. - - when Unknown_Pragma => - raise Program_Error; - end case; - - exception - when Pragma_Exit => null; - end Analyze_Pragma; - - --------------------------------- - -- Delay_Config_Pragma_Analyze -- - --------------------------------- - - function Delay_Config_Pragma_Analyze (N : Node_Id) return Boolean is - begin - return Chars (N) = Name_Interrupt_State; - end Delay_Config_Pragma_Analyze; - - ------------------------- - -- Get_Base_Subprogram -- - ------------------------- - - function Get_Base_Subprogram (Def_Id : Entity_Id) return Entity_Id is - Result : Entity_Id; - - begin - -- Follow subprogram renaming chain - - Result := Def_Id; - while Is_Subprogram (Result) - and then - (Is_Generic_Instance (Result) - or else Nkind (Parent (Declaration_Node (Result))) = - N_Subprogram_Renaming_Declaration) - and then Present (Alias (Result)) - loop - Result := Alias (Result); - end loop; - - return Result; - end Get_Base_Subprogram; - - ----------------------------- - -- Is_Config_Static_String -- - ----------------------------- - - function Is_Config_Static_String (Arg : Node_Id) return Boolean is - - function Add_Config_Static_String (Arg : Node_Id) return Boolean; - -- This is an internal recursive function that is just like the - -- outer function except that it adds the string to the name buffer - -- rather than placing the string in the name buffer. - - ------------------------------ - -- Add_Config_Static_String -- - ------------------------------ - - function Add_Config_Static_String (Arg : Node_Id) return Boolean is - N : Node_Id; - C : Char_Code; - - begin - N := Arg; - - if Nkind (N) = N_Op_Concat then - if Add_Config_Static_String (Left_Opnd (N)) then - N := Right_Opnd (N); - else - return False; - end if; - end if; - - if Nkind (N) /= N_String_Literal then - Error_Msg_N ("string literal expected for pragma argument", N); - return False; - - else - for J in 1 .. String_Length (Strval (N)) loop - C := Get_String_Char (Strval (N), J); - - if not In_Character_Range (C) then - Error_Msg - ("string literal contains invalid wide character", - Sloc (N) + 1 + Source_Ptr (J)); - return False; - end if; - - Add_Char_To_Name_Buffer (Get_Character (C)); - end loop; - end if; - - return True; - end Add_Config_Static_String; - - -- Start of prorcessing for Is_Config_Static_String - - begin - - Name_Len := 0; - return Add_Config_Static_String (Arg); - end Is_Config_Static_String; - - ----------------------------------------- - -- Is_Non_Significant_Pragma_Reference -- - ----------------------------------------- - - -- This function makes use of the following static table which indicates - -- whether a given pragma is significant. A value of -1 in this table - -- indicates that the reference is significant. A value of zero indicates - -- than appearence as any argument is insignificant, a positive value - -- indicates that appearence in that parameter position is significant. - - Sig_Flags : constant array (Pragma_Id) of Int := - - (Pragma_AST_Entry => -1, - Pragma_Abort_Defer => -1, - Pragma_Ada_83 => -1, - Pragma_Ada_95 => -1, - Pragma_Ada_05 => -1, - Pragma_Ada_2005 => -1, - Pragma_All_Calls_Remote => -1, - Pragma_Annotate => -1, - Pragma_Assert => -1, - Pragma_Assertion_Policy => 0, - Pragma_Asynchronous => -1, - Pragma_Atomic => 0, - Pragma_Atomic_Components => 0, - Pragma_Attach_Handler => -1, - Pragma_CPP_Class => 0, - Pragma_CPP_Constructor => 0, - Pragma_CPP_Virtual => 0, - Pragma_CPP_Vtable => 0, - Pragma_C_Pass_By_Copy => 0, - Pragma_Comment => 0, - Pragma_Common_Object => -1, - Pragma_Compile_Time_Warning => -1, - Pragma_Complete_Representation => 0, - Pragma_Complex_Representation => 0, - Pragma_Component_Alignment => -1, - Pragma_Controlled => 0, - Pragma_Convention => 0, - Pragma_Convention_Identifier => 0, - Pragma_Debug => -1, - Pragma_Debug_Policy => 0, - Pragma_Detect_Blocking => -1, - Pragma_Discard_Names => 0, - Pragma_Elaborate => -1, - Pragma_Elaborate_All => -1, - Pragma_Elaborate_Body => -1, - Pragma_Elaboration_Checks => -1, - Pragma_Eliminate => -1, - Pragma_Explicit_Overriding => -1, - Pragma_Export => -1, - Pragma_Export_Exception => -1, - Pragma_Export_Function => -1, - Pragma_Export_Object => -1, - Pragma_Export_Procedure => -1, - Pragma_Export_Value => -1, - Pragma_Export_Valued_Procedure => -1, - Pragma_Extend_System => -1, - Pragma_Extensions_Allowed => -1, - Pragma_External => -1, - Pragma_External_Name_Casing => -1, - Pragma_Finalize_Storage_Only => 0, - Pragma_Float_Representation => 0, - Pragma_Ident => -1, - Pragma_Import => +2, - Pragma_Import_Exception => 0, - Pragma_Import_Function => 0, - Pragma_Import_Object => 0, - Pragma_Import_Procedure => 0, - Pragma_Import_Valued_Procedure => 0, - Pragma_Initialize_Scalars => -1, - Pragma_Inline => 0, - Pragma_Inline_Always => 0, - Pragma_Inline_Generic => 0, - Pragma_Inspection_Point => -1, - Pragma_Interface => +2, - Pragma_Interface_Name => +2, - Pragma_Interrupt_Handler => -1, - Pragma_Interrupt_Priority => -1, - Pragma_Interrupt_State => -1, - Pragma_Java_Constructor => -1, - Pragma_Java_Interface => -1, - Pragma_Keep_Names => 0, - Pragma_License => -1, - Pragma_Link_With => -1, - Pragma_Linker_Alias => -1, - Pragma_Linker_Constructor => -1, - Pragma_Linker_Destructor => -1, - Pragma_Linker_Options => -1, - Pragma_Linker_Section => -1, - Pragma_List => -1, - Pragma_Locking_Policy => -1, - Pragma_Long_Float => -1, - Pragma_Machine_Attribute => -1, - Pragma_Main => -1, - Pragma_Main_Storage => -1, - Pragma_Memory_Size => -1, - Pragma_No_Return => 0, - Pragma_No_Run_Time => -1, - Pragma_No_Strict_Aliasing => -1, - Pragma_Normalize_Scalars => -1, - Pragma_Obsolescent => 0, - Pragma_Optimize => -1, - Pragma_Optional_Overriding => -1, - Pragma_Pack => 0, - Pragma_Page => -1, - Pragma_Passive => -1, - Pragma_Polling => -1, - Pragma_Persistent_BSS => 0, - Pragma_Preelaborate => -1, - Pragma_Preelaborate_05 => -1, - Pragma_Priority => -1, - Pragma_Profile => 0, - Pragma_Profile_Warnings => 0, - Pragma_Propagate_Exceptions => -1, - Pragma_Psect_Object => -1, - Pragma_Pure => -1, - Pragma_Pure_05 => -1, - Pragma_Pure_Function => -1, - Pragma_Queuing_Policy => -1, - Pragma_Ravenscar => -1, - Pragma_Remote_Call_Interface => -1, - Pragma_Remote_Types => -1, - Pragma_Restricted_Run_Time => -1, - Pragma_Restriction_Warnings => -1, - Pragma_Restrictions => -1, - Pragma_Reviewable => -1, - Pragma_Share_Generic => -1, - Pragma_Shared => -1, - Pragma_Shared_Passive => -1, - Pragma_Source_File_Name => -1, - Pragma_Source_File_Name_Project => -1, - Pragma_Source_Reference => -1, - Pragma_Storage_Size => -1, - Pragma_Storage_Unit => -1, - Pragma_Stream_Convert => -1, - Pragma_Style_Checks => -1, - Pragma_Subtitle => -1, - Pragma_Suppress => 0, - Pragma_Suppress_Exception_Locations => 0, - Pragma_Suppress_All => -1, - Pragma_Suppress_Debug_Info => 0, - Pragma_Suppress_Initialization => 0, - Pragma_System_Name => -1, - Pragma_Task_Dispatching_Policy => -1, - Pragma_Task_Info => -1, - Pragma_Task_Name => -1, - Pragma_Task_Storage => 0, - Pragma_Thread_Body => +2, - Pragma_Time_Slice => -1, - Pragma_Title => -1, - Pragma_Unchecked_Union => 0, - Pragma_Unimplemented_Unit => -1, - Pragma_Universal_Data => -1, - Pragma_Unreferenced => -1, - Pragma_Unreserve_All_Interrupts => -1, - Pragma_Unsuppress => 0, - Pragma_Use_VADS_Size => -1, - Pragma_Validity_Checks => -1, - Pragma_Volatile => 0, - Pragma_Volatile_Components => 0, - Pragma_Warnings => -1, - Pragma_Weak_External => 0, - Unknown_Pragma => 0); - - function Is_Non_Significant_Pragma_Reference (N : Node_Id) return Boolean is - P : Node_Id; - C : Int; - A : Node_Id; - - begin - P := Parent (N); - - if Nkind (P) /= N_Pragma_Argument_Association then - return False; - - else - C := Sig_Flags (Get_Pragma_Id (Chars (Parent (P)))); - - case C is - when -1 => - return False; - - when 0 => - return True; - - when others => - A := First (Pragma_Argument_Associations (Parent (P))); - for J in 1 .. C - 1 loop - if No (A) then - return False; - end if; - - Next (A); - end loop; - - return A = P; - end case; - end if; - end Is_Non_Significant_Pragma_Reference; - - ------------------------------ - -- Is_Pragma_String_Literal -- - ------------------------------ - - -- This function returns true if the corresponding pragma argument is - -- a static string expression. These are the only cases in which string - -- literals can appear as pragma arguments. We also allow a string - -- literal as the first argument to pragma Assert (although it will - -- of course always generate a type error). - - function Is_Pragma_String_Literal (Par : Node_Id) return Boolean is - Pragn : constant Node_Id := Parent (Par); - Assoc : constant List_Id := Pragma_Argument_Associations (Pragn); - Pname : constant Name_Id := Chars (Pragn); - Argn : Natural; - N : Node_Id; - - begin - Argn := 1; - N := First (Assoc); - loop - exit when N = Par; - Argn := Argn + 1; - Next (N); - end loop; - - if Pname = Name_Assert then - return True; - - elsif Pname = Name_Export then - return Argn > 2; - - elsif Pname = Name_Ident then - return Argn = 1; - - elsif Pname = Name_Import then - return Argn > 2; - - elsif Pname = Name_Interface_Name then - return Argn > 1; - - elsif Pname = Name_Linker_Alias then - return Argn = 2; - - elsif Pname = Name_Linker_Section then - return Argn = 2; - - elsif Pname = Name_Machine_Attribute then - return Argn = 2; - - elsif Pname = Name_Source_File_Name then - return True; - - elsif Pname = Name_Source_Reference then - return Argn = 2; - - elsif Pname = Name_Title then - return True; - - elsif Pname = Name_Subtitle then - return True; - - else - return False; - end if; - end Is_Pragma_String_Literal; - - -------------------------------------- - -- Process_Compilation_Unit_Pragmas -- - -------------------------------------- - - procedure Process_Compilation_Unit_Pragmas (N : Node_Id) is - begin - -- A special check for pragma Suppress_All. This is a strange DEC - -- pragma, strange because it comes at the end of the unit. If we - -- have a pragma Suppress_All in the Pragmas_After of the current - -- unit, then we insert a pragma Suppress (All_Checks) at the start - -- of the context clause to ensure the correct processing. - - declare - PA : constant List_Id := Pragmas_After (Aux_Decls_Node (N)); - P : Node_Id; - - begin - if Present (PA) then - P := First (PA); - while Present (P) loop - if Chars (P) = Name_Suppress_All then - Prepend_To (Context_Items (N), - Make_Pragma (Sloc (P), - Chars => Name_Suppress, - Pragma_Argument_Associations => New_List ( - Make_Pragma_Argument_Association (Sloc (P), - Expression => - Make_Identifier (Sloc (P), - Chars => Name_All_Checks))))); - exit; - end if; - - Next (P); - end loop; - end if; - end; - end Process_Compilation_Unit_Pragmas; - - -------------------------------- - -- Set_Encoded_Interface_Name -- - -------------------------------- - - procedure Set_Encoded_Interface_Name (E : Entity_Id; S : Node_Id) is - Str : constant String_Id := Strval (S); - Len : constant Int := String_Length (Str); - CC : Char_Code; - C : Character; - J : Int; - - Hex : constant array (0 .. 15) of Character := "0123456789abcdef"; - - procedure Encode; - -- Stores encoded value of character code CC. The encoding we - -- use an underscore followed by four lower case hex digits. - - ------------ - -- Encode -- - ------------ - - procedure Encode is - begin - Store_String_Char (Get_Char_Code ('_')); - Store_String_Char - (Get_Char_Code (Hex (Integer (CC / 2 ** 12)))); - Store_String_Char - (Get_Char_Code (Hex (Integer (CC / 2 ** 8 and 16#0F#)))); - Store_String_Char - (Get_Char_Code (Hex (Integer (CC / 2 ** 4 and 16#0F#)))); - Store_String_Char - (Get_Char_Code (Hex (Integer (CC and 16#0F#)))); - end Encode; - - -- Start of processing for Set_Encoded_Interface_Name - - begin - -- If first character is asterisk, this is a link name, and we - -- leave it completely unmodified. We also ignore null strings - -- (the latter case happens only in error cases) and no encoding - -- should occur for Java interface names. - - if Len = 0 - or else Get_String_Char (Str, 1) = Get_Char_Code ('*') - or else Java_VM - then - Set_Interface_Name (E, S); - - else - J := 1; - loop - CC := Get_String_Char (Str, J); - - exit when not In_Character_Range (CC); - - C := Get_Character (CC); - - exit when C /= '_' and then C /= '$' - and then C not in '0' .. '9' - and then C not in 'a' .. 'z' - and then C not in 'A' .. 'Z'; - - if J = Len then - Set_Interface_Name (E, S); - return; - - else - J := J + 1; - end if; - end loop; - - -- Here we need to encode. The encoding we use as follows: - -- three underscores + four hex digits (lower case) - - Start_String; - - for J in 1 .. String_Length (Str) loop - CC := Get_String_Char (Str, J); - - if not In_Character_Range (CC) then - Encode; - else - C := Get_Character (CC); - - if C = '_' or else C = '$' - or else C in '0' .. '9' - or else C in 'a' .. 'z' - or else C in 'A' .. 'Z' - then - Store_String_Char (CC); - else - Encode; - end if; - end if; - end loop; - - Set_Interface_Name (E, - Make_String_Literal (Sloc (S), - Strval => End_String)); - end if; - end Set_Encoded_Interface_Name; - - ------------------- - -- Set_Unit_Name -- - ------------------- - - procedure Set_Unit_Name (N : Node_Id; With_Item : Node_Id) is - Pref : Node_Id; - Scop : Entity_Id; - - begin - if Nkind (N) = N_Identifier - and then Nkind (With_Item) = N_Identifier - then - Set_Entity (N, Entity (With_Item)); - - elsif Nkind (N) = N_Selected_Component then - Change_Selected_Component_To_Expanded_Name (N); - Set_Entity (N, Entity (With_Item)); - Set_Entity (Selector_Name (N), Entity (N)); - - Pref := Prefix (N); - Scop := Scope (Entity (N)); - while Nkind (Pref) = N_Selected_Component loop - Change_Selected_Component_To_Expanded_Name (Pref); - Set_Entity (Selector_Name (Pref), Scop); - Set_Entity (Pref, Scop); - Pref := Prefix (Pref); - Scop := Scope (Scop); - end loop; - - Set_Entity (Pref, Scop); - end if; - end Set_Unit_Name; -end Sem_Prag; |