diff options
Diffstat (limited to 'gcc/ada/rident.ads')
| -rw-r--r-- | gcc/ada/rident.ads | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/gcc/ada/rident.ads b/gcc/ada/rident.ads index 2a9f875a59e..bdff01ae679 100644 --- a/gcc/ada/rident.ads +++ b/gcc/ada/rident.ads @@ -8,7 +8,7 @@ -- -- -- $Revision$ -- -- --- Copyright (C) 1992-2001 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2002 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- -- @@ -36,7 +36,7 @@ package Rident is -- identifiers not taking a parameter that are implemented in GNAT. -- To add a new restriction identifier, add an entry with the name -- to be used in the pragma, and add appropriate calls to the - -- Check_Restriction routine. + -- Restrict.Check_Restriction routine. type Restriction_Id is ( @@ -46,7 +46,7 @@ package Rident is No_Abort_Statements, -- (RM D.7(5), H.4(3)) No_Access_Subprograms, -- (RM H.4(17)) No_Allocators, -- (RM H.4(7)) - No_Asynchronous_Control, -- (RM D.9(10)) + No_Asynchronous_Control, -- (RM D.7(10)) No_Calendar, -- GNAT No_Delay, -- (RM H.4(21)) No_Dispatch, -- (RM H.4(19)) @@ -81,6 +81,7 @@ package Rident is No_Task_Attributes, -- GNAT No_Task_Hierarchy, -- (RM D.7(3), H.4(3)) No_Task_Termination, -- GNAT + No_Tasking, -- GNAT No_Terminate_Alternatives, -- (RM D.7(6)) No_Unchecked_Access, -- (RM H.4(18)) No_Unchecked_Conversion, -- (RM H.4(16)) @@ -99,6 +100,10 @@ package Rident is Not_A_Restriction_Id); + subtype All_Restrictions is + Restriction_Id range Boolean_Entry_Barriers .. No_Elaboration_Code; + -- All restrictions except Not_A_Restriction_Id + -- The following range of Restriction identifiers is checked for -- consistency across a partition. The generated ali file is marked -- for each entry to show one of three possibilities: @@ -111,8 +116,9 @@ package Rident is Restriction_Id range Boolean_Entry_Barriers .. Static_Storage_Size; -- The following set of Restriction identifiers is not checked for - -- consistency across a partition, and the generated ali files does - -- not carry any indications with respect to such restrictions. + -- consistency across a partition. The generated ali file still + -- contains indications of the above three possibilities for the + -- purposes of listing applicable restrictions. subtype Compilation_Unit_Restrictions is Restriction_Id range Immediate_Reclamation .. No_Elaboration_Code; @@ -121,7 +127,7 @@ package Rident is -- parameter identifiers taking a parameter that are implemented in -- GNAT. To add a new restriction parameter identifier, add an entry -- with the name to be used in the pragma, and add appropriate - -- calls to Check_Restriction. + -- calls to Restrict.Check_Restriction. -- Note: the GNAT implementation currently only accomodates restriction -- parameter identifiers whose expression value is a non-negative |