diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-06 09:46:21 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-06 09:46:21 +0000 |
| commit | e08c9868113822609df0965935a591ecbf85ffd5 (patch) | |
| tree | 429554c33a252597717aa37c4679a670f6ad5586 /gcc/ada/einfo.adb | |
| parent | 7ed8b482854bbba8a4ebac62a547c71af9a4a76e (diff) | |
| download | gcc-e08c9868113822609df0965935a591ecbf85ffd5.tar.gz | |
2011-09-06 Robert Dewar <dewar@adacore.com>
* a-cbprqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cusyqu.ads,
a-intnam-aix.ads, a-intnam-darwin.ads, a-intnam-dummy.ads,
a-intnam-freebsd.ads, a-intnam-hpux.ads, a-intnam-irix.ads,
a-intnam-linux.ads, a-intnam-lynxos.ads, a-intnam-mingw.ads,
a-intnam-solaris.ads, a-intnam-tru64.ads,
a-intnam-vms.ads, a-intnam-vxworks.ads, a-intnam.ads, interfac.ads,
cstand.adb, s-maccod.ads: Mark all entities as Implementation_Defined
* einfo.ads, einfo.adb (Is_Implementation_Defined): New flag
* par-prag.adb: Add dummy entry for pragma Implementation_Defined
* s-rident.ads: Add new restriction No_Implementation_Identifiers
Add new profile No_Implementation_Extensions
* sem_prag.adb: Implement pragma Implementation_Defined Implement
profile No_Implementation_Extensions
* sem_util.adb: Minor reformatting (Set_Entity_With_Style_Check):
Check violation of restriction No_Implementation_Identifiers
* snames.ads-tmpl: Add entries for pragma Implementation_Defined
Add entry for Name_No_Implementation_Extensions
2011-09-06 Robert Dewar <dewar@adacore.com>
* impunit.ads: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178579 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 87777860820..4cbd4c5cb44 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -523,8 +523,7 @@ package body Einfo is -- Has_Implicit_Dereference Flag251 -- Is_Processed_Transient Flag252 -- Has_Anonymous_Master Flag253 - - -- (unused) Flag254 + -- Is_Implementation_Defined Flag254 ----------------------- -- Local subprograms -- @@ -1880,6 +1879,11 @@ package body Einfo is return Flag7 (Id); end Is_Immediately_Visible; + function Is_Implementation_Defined (Id : E) return B is + begin + return Flag254 (Id); + end Is_Implementation_Defined; + function Is_Imported (Id : E) return B is begin return Flag24 (Id); @@ -4408,6 +4412,11 @@ package body Einfo is Set_Flag7 (Id, V); end Set_Is_Immediately_Visible; + procedure Set_Is_Implementation_Defined (Id : E; V : B := True) is + begin + Set_Flag254 (Id, V); + end Set_Is_Implementation_Defined; + procedure Set_Is_Imported (Id : E; V : B := True) is begin Set_Flag24 (Id, V); @@ -7564,6 +7573,7 @@ package body Einfo is W ("Is_Hidden", Flag57 (Id)); W ("Is_Hidden_Open_Scope", Flag171 (Id)); W ("Is_Immediately_Visible", Flag7 (Id)); + W ("Is_Implementation_Defined", Flag254 (Id)); W ("Is_Imported", Flag24 (Id)); W ("Is_Inlined", Flag11 (Id)); W ("Is_Instantiated", Flag126 (Id)); |