diff options
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 241 |
1 files changed, 127 insertions, 114 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index bde78e4..62d9a03 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -24755,7 +24755,7 @@ package body Sem_Prag is -- 0 indicates that appearance in any argument is not significant -- +n indicates that appearance as argument n is significant, but all -- other arguments are not significant - -- 99 special processing required (e.g. for pragma Check) + -- 9n arguments from n on are significant, before n inisignificant Sig_Flags : constant array (Pragma_Id) of Int := (Pragma_Abort_Defer => -1, @@ -24767,8 +24767,8 @@ package body Sem_Prag is Pragma_Ada_12 => -1, Pragma_Ada_2012 => -1, Pragma_All_Calls_Remote => -1, - Pragma_Allow_Integer_Address => 0, - Pragma_Annotate => -1, + Pragma_Allow_Integer_Address => -1, + Pragma_Annotate => 93, Pragma_Assert => -1, Pragma_Assert_And_Cut => -1, Pragma_Assertion_Policy => 0, @@ -24776,53 +24776,53 @@ package body Sem_Prag is Pragma_Assume_No_Invalid_Values => 0, Pragma_Async_Readers => 0, Pragma_Async_Writers => 0, - Pragma_Asynchronous => -1, + Pragma_Asynchronous => 0, Pragma_Atomic => 0, Pragma_Atomic_Components => 0, Pragma_Attach_Handler => -1, - Pragma_Attribute_Definition => +3, - Pragma_Check => 99, + Pragma_Attribute_Definition => 92, + Pragma_Check => -1, Pragma_Check_Float_Overflow => 0, Pragma_Check_Name => 0, Pragma_Check_Policy => 0, - Pragma_CIL_Constructor => -1, + Pragma_CIL_Constructor => 0, Pragma_CPP_Class => 0, Pragma_CPP_Constructor => 0, Pragma_CPP_Virtual => 0, Pragma_CPP_Vtable => 0, Pragma_CPU => -1, Pragma_C_Pass_By_Copy => 0, - Pragma_Comment => 0, - Pragma_Common_Object => -1, + Pragma_Comment => -1, + Pragma_Common_Object => 0, Pragma_Compile_Time_Error => -1, Pragma_Compile_Time_Warning => -1, - Pragma_Compiler_Unit => 0, - Pragma_Compiler_Unit_Warning => 0, + Pragma_Compiler_Unit => -1, + Pragma_Compiler_Unit_Warning => -1, Pragma_Complete_Representation => 0, Pragma_Complex_Representation => 0, - Pragma_Component_Alignment => -1, + Pragma_Component_Alignment => 0, Pragma_Contract_Cases => -1, Pragma_Controlled => 0, Pragma_Convention => 0, Pragma_Convention_Identifier => 0, Pragma_Debug => -1, Pragma_Debug_Policy => 0, - Pragma_Detect_Blocking => -1, + Pragma_Detect_Blocking => 0, Pragma_Default_Initial_Condition => -1, Pragma_Default_Scalar_Storage_Order => 0, - Pragma_Default_Storage_Pool => -1, + Pragma_Default_Storage_Pool => 0, Pragma_Depends => -1, - Pragma_Disable_Atomic_Synchronization => -1, + Pragma_Disable_Atomic_Synchronization => 0, Pragma_Discard_Names => 0, Pragma_Dispatching_Domain => -1, Pragma_Effective_Reads => 0, Pragma_Effective_Writes => 0, - Pragma_Elaborate => -1, - Pragma_Elaborate_All => -1, - Pragma_Elaborate_Body => -1, - Pragma_Elaboration_Checks => -1, - Pragma_Eliminate => -1, - Pragma_Enable_Atomic_Synchronization => -1, + Pragma_Elaborate => 0, + Pragma_Elaborate_All => 0, + Pragma_Elaborate_Body => 0, + Pragma_Elaboration_Checks => 0, + Pragma_Eliminate => 0, + Pragma_Enable_Atomic_Synchronization => 0, Pragma_Export => -1, Pragma_Export_Function => -1, Pragma_Export_Object => -1, @@ -24830,18 +24830,18 @@ package body Sem_Prag is Pragma_Export_Value => -1, Pragma_Export_Valued_Procedure => -1, Pragma_Extend_System => -1, - Pragma_Extensions_Allowed => -1, + Pragma_Extensions_Allowed => 0, Pragma_External => -1, - Pragma_Favor_Top_Level => -1, - Pragma_External_Name_Casing => -1, - Pragma_Fast_Math => -1, + Pragma_Favor_Top_Level => 0, + Pragma_External_Name_Casing => 0, + Pragma_Fast_Math => 0, Pragma_Finalize_Storage_Only => 0, Pragma_Global => -1, Pragma_Ident => -1, Pragma_Implementation_Defined => -1, Pragma_Implemented => -1, Pragma_Implicit_Packing => 0, - Pragma_Import => +2, + Pragma_Import => 93, Pragma_Import_Function => 0, Pragma_Import_Object => 0, Pragma_Import_Procedure => 0, @@ -24849,14 +24849,14 @@ package body Sem_Prag is Pragma_Independent => 0, Pragma_Independent_Components => 0, Pragma_Initial_Condition => -1, - Pragma_Initialize_Scalars => -1, + Pragma_Initialize_Scalars => 0, Pragma_Initializes => -1, Pragma_Inline => 0, Pragma_Inline_Always => 0, Pragma_Inline_Generic => 0, Pragma_Inspection_Point => -1, - Pragma_Interface => +2, - Pragma_Interface_Name => +2, + Pragma_Interface => 92, + Pragma_Interface_Name => 0, Pragma_Interrupt_Handler => -1, Pragma_Interrupt_Priority => -1, Pragma_Interrupt_State => -1, @@ -24864,41 +24864,41 @@ package body Sem_Prag is Pragma_Java_Constructor => -1, Pragma_Java_Interface => -1, Pragma_Keep_Names => 0, - Pragma_License => -1, + Pragma_License => 0, 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_Lock_Free => -1, - Pragma_Locking_Policy => -1, + Pragma_Linker_Section => 0, + Pragma_List => 0, + Pragma_Lock_Free => 0, + Pragma_Locking_Policy => 0, Pragma_Loop_Invariant => -1, - Pragma_Loop_Optimize => -1, + Pragma_Loop_Optimize => 0, Pragma_Loop_Variant => -1, Pragma_Machine_Attribute => -1, Pragma_Main => -1, Pragma_Main_Storage => -1, - Pragma_Memory_Size => -1, + Pragma_Memory_Size => 0, Pragma_No_Return => 0, Pragma_No_Body => 0, - Pragma_No_Elaboration_Code_All => -1, + Pragma_No_Elaboration_Code_All => 0, Pragma_No_Inline => 0, Pragma_No_Run_Time => -1, Pragma_No_Strict_Aliasing => -1, - Pragma_Normalize_Scalars => -1, + Pragma_Normalize_Scalars => 0, Pragma_Obsolescent => 0, - Pragma_Optimize => -1, - Pragma_Optimize_Alignment => -1, + Pragma_Optimize => 0, + Pragma_Optimize_Alignment => 0, Pragma_Overflow_Mode => 0, Pragma_Overriding_Renamings => 0, - Pragma_Ordered => -1, + Pragma_Ordered => 0, Pragma_Pack => 0, - Pragma_Page => -1, - Pragma_Part_Of => -1, - Pragma_Partition_Elaboration_Policy => -1, - Pragma_Passive => -1, + Pragma_Page => 0, + Pragma_Part_Of => 0, + Pragma_Partition_Elaboration_Policy => 0, + Pragma_Passive => 0, Pragma_Persistent_BSS => 0, Pragma_Polling => 0, Pragma_Prefix_Exception_Messages => 0, @@ -24909,81 +24909,81 @@ package body Sem_Prag is Pragma_Precondition => -1, Pragma_Predicate => -1, Pragma_Preelaborable_Initialization => -1, - Pragma_Preelaborate => -1, + Pragma_Preelaborate => 0, Pragma_Pre_Class => -1, Pragma_Priority => -1, - Pragma_Priority_Specific_Dispatching => -1, + Pragma_Priority_Specific_Dispatching => 0, Pragma_Profile => 0, Pragma_Profile_Warnings => 0, - Pragma_Propagate_Exceptions => -1, - Pragma_Provide_Shift_Operators => -1, - Pragma_Psect_Object => -1, - Pragma_Pure => -1, - Pragma_Pure_Function => -1, - Pragma_Queuing_Policy => -1, - Pragma_Rational => -1, - Pragma_Ravenscar => -1, + Pragma_Propagate_Exceptions => 0, + Pragma_Provide_Shift_Operators => 0, + Pragma_Psect_Object => 0, + Pragma_Pure => 0, + Pragma_Pure_Function => 0, + Pragma_Queuing_Policy => 0, + Pragma_Rational => 0, + Pragma_Ravenscar => 0, Pragma_Refined_Depends => -1, Pragma_Refined_Global => -1, Pragma_Refined_Post => -1, Pragma_Refined_State => -1, - Pragma_Relative_Deadline => -1, + Pragma_Relative_Deadline => 0, Pragma_Remote_Access_Type => -1, Pragma_Remote_Call_Interface => -1, Pragma_Remote_Types => -1, - Pragma_Restricted_Run_Time => -1, - Pragma_Restriction_Warnings => -1, - Pragma_Restrictions => -1, + Pragma_Restricted_Run_Time => 0, + Pragma_Restriction_Warnings => 0, + Pragma_Restrictions => 0, Pragma_Reviewable => -1, - Pragma_Short_Circuit_And_Or => -1, - Pragma_Share_Generic => -1, - Pragma_Shared => -1, - Pragma_Shared_Passive => -1, + Pragma_Short_Circuit_And_Or => 0, + Pragma_Share_Generic => 0, + Pragma_Shared => 0, + Pragma_Shared_Passive => 0, Pragma_Short_Descriptors => 0, Pragma_Simple_Storage_Pool_Type => 0, - Pragma_Source_File_Name => -1, - Pragma_Source_File_Name_Project => -1, - Pragma_Source_Reference => -1, + Pragma_Source_File_Name => 0, + Pragma_Source_File_Name_Project => 0, + Pragma_Source_Reference => 0, Pragma_SPARK_Mode => 0, Pragma_Storage_Size => -1, - Pragma_Storage_Unit => -1, - Pragma_Static_Elaboration_Desired => -1, - Pragma_Stream_Convert => -1, - Pragma_Style_Checks => -1, - Pragma_Subtitle => -1, + Pragma_Storage_Unit => 0, + Pragma_Static_Elaboration_Desired => 0, + Pragma_Stream_Convert => 0, + Pragma_Style_Checks => 0, + Pragma_Subtitle => 0, Pragma_Suppress => 0, Pragma_Suppress_Exception_Locations => 0, - Pragma_Suppress_All => -1, + Pragma_Suppress_All => 0, Pragma_Suppress_Debug_Info => 0, Pragma_Suppress_Initialization => 0, - Pragma_System_Name => -1, - Pragma_Task_Dispatching_Policy => -1, + Pragma_System_Name => 0, + Pragma_Task_Dispatching_Policy => 0, Pragma_Task_Info => -1, Pragma_Task_Name => -1, - Pragma_Task_Storage => 0, + Pragma_Task_Storage => -1, Pragma_Test_Case => -1, - Pragma_Thread_Local_Storage => 0, + Pragma_Thread_Local_Storage => -1, Pragma_Time_Slice => -1, - Pragma_Title => -1, + Pragma_Title => 0, Pragma_Type_Invariant => -1, Pragma_Type_Invariant_Class => -1, Pragma_Unchecked_Union => 0, - Pragma_Unimplemented_Unit => -1, - Pragma_Universal_Aliasing => -1, - Pragma_Universal_Data => -1, - Pragma_Unmodified => -1, - Pragma_Unreferenced => -1, - Pragma_Unreferenced_Objects => -1, - Pragma_Unreserve_All_Interrupts => -1, + Pragma_Unimplemented_Unit => 0, + Pragma_Universal_Aliasing => 0, + Pragma_Universal_Data => 0, + Pragma_Unmodified => 0, + Pragma_Unreferenced => 0, + Pragma_Unreferenced_Objects => 0, + Pragma_Unreserve_All_Interrupts => 0, Pragma_Unsuppress => 0, Pragma_Unevaluated_Use_Of_Old => 0, - Pragma_Use_VADS_Size => -1, - Pragma_Validity_Checks => -1, + Pragma_Use_VADS_Size => 0, + Pragma_Validity_Checks => 0, Pragma_Volatile => 0, Pragma_Volatile_Components => 0, - Pragma_Warning_As_Error => -1, - Pragma_Warnings => -1, - Pragma_Weak_External => -1, + Pragma_Warning_As_Error => 0, + Pragma_Warnings => 0, + Pragma_Weak_External => 0, Pragma_Wide_Character_Encoding => 0, Unknown_Pragma => 0); @@ -24991,7 +24991,36 @@ package body Sem_Prag is Id : Pragma_Id; P : Node_Id; C : Int; - A : Node_Id; + AN : Nat; + + function Arg_No return Nat; + -- Returns an integer showing what argument we are in. A value of + -- zero means we are not in any of the arguments. + + ------------ + -- Arg_No -- + ------------ + + function Arg_No return Nat is + A : Node_Id; + N : Nat; + + begin + A := First (Pragma_Argument_Associations (Parent (P))); + N := 1; + loop + if No (A) then + return 0; + elsif A = P then + return N; + end if; + + Next (A); + N := N + 1; + end loop; + end Arg_No; + + -- Start of processing for Non_Significant_Pragma_Reference begin P := Parent (N); @@ -25002,6 +25031,11 @@ package body Sem_Prag is else Id := Get_Pragma_Id (Parent (P)); C := Sig_Flags (Id); + AN := Arg_No; + + if AN = 0 then + return False; + end if; case C is when -1 => @@ -25010,32 +25044,11 @@ package body Sem_Prag is when 0 => return True; - when 99 => - case Id is - - -- For pragma Check, the first argument is not significant, - -- the second and the third (if present) arguments are - -- significant. - - when Pragma_Check => - return - P = First (Pragma_Argument_Associations (Parent (P))); - - when others => - raise Program_Error; - end case; + when 92 .. 99 => + return AN < (C - 90); 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; -- is this wrong way round ??? + return AN /= C; end case; end if; end Is_Non_Significant_Pragma_Reference; |