diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-02-04 12:06:19 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-02-04 12:06:19 +0100 |
commit | 06effe875c0dad1b8f27e868058d8401e74a4363 (patch) | |
tree | eb723f684eca66cfc93f09df6fa537a3371b2f14 /gcc/ada/restrict.ads | |
parent | c23796791cc43119331defae7a554fc8358ca6e7 (diff) | |
download | gcc-06effe875c0dad1b8f27e868058d8401e74a4363.tar.gz |
[multiple changes]
2004-02-04 Robert Dewar <dewar@gnat.com>
* 5gtasinf.adb, 5gtasinf.ads, 5gtaprop.adb, ali.adb,
ali.ads, gprcmd.adb: Minor reformatting
* bindgen.adb: Output restrictions string for new style restrictions
handling
* impunit.adb: Add s-rident.ads (System.Rident) and
s-restri (System.Restrictions)
* lib-writ.adb: Fix bug in writing restrictions string (last few
entries wrong)
* s-restri.ads, s-restri.adb: Change name Restrictions to
Run_Time_Restrictions to avoid conflict with package name.
Add circuit to read and acquire run time restrictions.
2004-02-04 Jose Ruiz <ruiz@act-europe.fr>
* restrict.ads, restrict.adb: Use the new restriction
No_Task_Attributes_Package instead of the old No_Task_Attributes.
* sem_prag.adb: No_Task_Attributes is a synonym of
No_Task_Attributes_Package.
* snames.ads, snames.adb: New entry for proper handling of
No_Task_Attributes.
* s-rident.ads: Adding restriction No_Task_Attributes_Package
(AI-00249) that supersedes the GNAT specific restriction
No_Task_Attributes.
2004-02-04 Ed Schonberg <schonberg@gnat.com>
* sem_prag.adb:
(Analyze_Pragma, case Warnings): In an inlined body, as in an instance
body, an identifier may be wrapped in an unchecked conversion.
2004-02-04 Vincent Celier <celier@gnat.com>
* lib-writ.ads: Comment update for the W lines
* bld.adb: (Expression): An empty string list is static
* fname-uf.adb: Minor comment update
* fname-uf.ads: (Get_File_Name): Document new parameter May_Fail
* gnatbind.adb: Initialize Cumulative_Restrictions with the
restrictions on the target.
From-SVN: r77233
Diffstat (limited to 'gcc/ada/restrict.ads')
-rw-r--r-- | gcc/ada/restrict.ads | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index f29cb228f5d..0d2f72f350d 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -77,27 +77,27 @@ package Restrict is end record; Unit_Array : constant array (Positive range <>) of Unit_Entry := ( - (No_Asynchronous_Control, "a-astaco"), - (No_Calendar, "a-calend"), - (No_Calendar, "calendar"), - (No_Delay, "a-calend"), - (No_Delay, "calendar"), - (No_Dynamic_Priorities, "a-dynpri"), - (No_Finalization, "a-finali"), - (No_IO, "a-direio"), - (No_IO, "directio"), - (No_IO, "a-sequio"), - (No_IO, "sequenio"), - (No_IO, "a-ststio"), - (No_IO, "a-textio"), - (No_IO, "text_io "), - (No_IO, "a-witeio"), - (No_Task_Attributes, "a-tasatt"), - (No_Streams, "a-stream"), - (No_Unchecked_Conversion, "a-unccon"), - (No_Unchecked_Conversion, "unchconv"), - (No_Unchecked_Deallocation, "a-uncdea"), - (No_Unchecked_Deallocation, "unchdeal")); + (No_Asynchronous_Control, "a-astaco"), + (No_Calendar, "a-calend"), + (No_Calendar, "calendar"), + (No_Delay, "a-calend"), + (No_Delay, "calendar"), + (No_Dynamic_Priorities, "a-dynpri"), + (No_Finalization, "a-finali"), + (No_IO, "a-direio"), + (No_IO, "directio"), + (No_IO, "a-sequio"), + (No_IO, "sequenio"), + (No_IO, "a-ststio"), + (No_IO, "a-textio"), + (No_IO, "text_io "), + (No_IO, "a-witeio"), + (No_Task_Attributes_Package, "a-tasatt"), + (No_Streams, "a-stream"), + (No_Unchecked_Conversion, "a-unccon"), + (No_Unchecked_Conversion, "unchconv"), + (No_Unchecked_Deallocation, "a-uncdea"), + (No_Unchecked_Deallocation, "unchdeal")); -- The following map has True for all GNAT pragmas. It is used to -- implement pragma Restrictions (No_Implementation_Restrictions) @@ -123,7 +123,7 @@ package Restrict is No_Select_Statements => True, No_Standard_Storage_Pools => True, No_Streams => True, - No_Task_Attributes => True, + No_Task_Attributes_Package => True, No_Task_Termination => True, No_Wide_Characters => True, Static_Priorities => True, |