diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 12:37:45 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 12:37:45 +0000 |
| commit | 44624b501b35f87e0b7cdf3ff5bfa2b5ca164106 (patch) | |
| tree | 59847790b25a063269e64e2337b8c480ef42c157 /gcc/ada/snames.ads-tmpl | |
| parent | 9f4e511b8a6be63498ebc88b4fc293ad09ef90ca (diff) | |
| download | ppe42-gcc-44624b501b35f87e0b7cdf3ff5bfa2b5ca164106.tar.gz ppe42-gcc-44624b501b35f87e0b7cdf3ff5bfa2b5ca164106.zip | |
2013-10-14 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Generate proper string
for invariant
* gnat_rm.texi: Add documentation for pragmas
Type_Invariant[_Class]
* par-prag.adb: Add entries for pragmas Type_Invariant[_Class]
* sem_ch13.adb: Minor reformatting
* sem_prag.adb: Implement pragmas Type_Invariant[_Class]
* snames.ads-tmpl: Add entries for pragmas Type_Invariant[_Class]
2013-10-14 Johannes Kanig <kanig@adacore.com>
* debug.adb: Release now unused debug switches that were only
relevant for gnat2why backend, not the frontend
* frontend.adb (Frontend) Do not stop when -gnatd.H is present,
was unused
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203524 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/snames.ads-tmpl')
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 0a5d9460e36..cca70eb9a7c 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -144,8 +144,6 @@ package Snames is Name_Dynamic_Predicate : constant Name_Id := N + $; Name_Static_Predicate : constant Name_Id := N + $; Name_Synchronization : constant Name_Id := N + $; - Name_Type_Invariant : constant Name_Id := N + $; - Name_Type_Invariant_Class : constant Name_Id := N + $; -- Some special names used by the expander. Note that the lower case u's -- at the start of these names get translated to extra underscores. These @@ -448,7 +446,7 @@ package Snames is Name_Wide_Character_Encoding : constant Name_Id := N + $; -- GNAT Last_Configuration_Pragma_Name : constant Name_Id := N + $; - -- Remaining pragma names + -- Remaining pragma names (non-configuration pragmas) Name_Abort_Defer : constant Name_Id := N + $; -- GNAT Name_Abstract_State : constant Name_Id := N + $; -- GNAT @@ -621,6 +619,8 @@ package Snames is Name_Thread_Local_Storage : constant Name_Id := N + $; -- GNAT Name_Time_Slice : constant Name_Id := N + $; -- GNAT Name_Title : constant Name_Id := N + $; -- GNAT + Name_Type_Invariant : constant Name_Id := N + $; -- GNAT + Name_Type_Invariant_Class : constant Name_Id := N + $; -- GNAT Name_Unchecked_Union : constant Name_Id := N + $; -- Ada 05 Name_Unimplemented_Unit : constant Name_Id := N + $; -- GNAT Name_Universal_Aliasing : constant Name_Id := N + $; -- GNAT @@ -1905,6 +1905,8 @@ package Snames is Pragma_Thread_Local_Storage, Pragma_Time_Slice, Pragma_Title, + Pragma_Type_Invariant, + Pragma_Type_Invariant_Class, Pragma_Unchecked_Union, Pragma_Unimplemented_Unit, Pragma_Universal_Aliasing, |
