diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-28 13:47:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-28 13:47:56 +0000 |
| commit | e92c357d25915e8d5b4ee5660f13c34f086036d9 (patch) | |
| tree | 26ecc70c04743ad3d5f0d5a3687242eff75c0fef /gcc/ada/restrict.ads | |
| parent | 319c03ea80d32a97682473c2d8545140b0f957be (diff) | |
| download | gcc-e92c357d25915e8d5b4ee5660f13c34f086036d9.tar.gz | |
2008-05-28 Robert Dewar <dewar@adacore.com>
* restrict.ads:
Add missing restrictions, and properly label all GNAT defined ones
* rtsfind.ads:
Add entry for Ada_Real_Time.Timing_Events.Timing_Event
Add entry for Ada.Task_Termination.Set_Specific_Handler
Add entry for Ada.Task_Termination.Specific_Handler
* s-rident.ads:
Add missing restrictions and properly mark all gnat defined ones
* sem_ch3.adb:
(Analyze_Object_Declaration): Check No_Local_Timing_Events restriction
* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers
* gnat_rm.texi: Add missing restrictions, and properly label all
GNAT defined ones
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136087 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index fbc8a8a54f8..bb81d85ed79 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -105,14 +105,18 @@ package Restrict is Implementation_Restriction : array (All_Restrictions) of Boolean := (Simple_Barriers => True, + No_Asynchronous_Control => True, No_Calendar => True, No_Dispatching_Calls => True, No_Dynamic_Attachment => True, + No_Elaboration_Code => True, No_Enumeration_Maps => True, No_Entry_Calls_In_Elaboration_Code => True, No_Entry_Queue => True, No_Exception_Handlers => True, No_Exception_Registration => True, + No_Implementation_Attributes => True, + No_Implementation_Pragmas => True, No_Implicit_Conditionals => True, No_Implicit_Dynamic_Code => True, No_Implicit_Loops => True, @@ -126,12 +130,11 @@ package Restrict is No_Streams => True, No_Task_Attributes_Package => True, No_Task_Termination => True, + No_Unchecked_Conversion => True, + No_Unchecked_Deallocation => True, No_Wide_Characters => True, Static_Priorities => True, Static_Storage_Size => True, - No_Implementation_Attributes => True, - No_Implementation_Pragmas => True, - No_Elaboration_Code => True, others => False); -- The following table records entries made by Restrictions pragmas |