diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:52:59 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:52:59 +0100 |
| commit | 549cc9c2bcb93b5424c9a0967016d4e51e587311 (patch) | |
| tree | e3316f28c5129d8661e41c313965dd0c973deda3 /gcc/ada/sinfo.adb | |
| parent | b3083540f530b6e28e57756e23c98670f69df4af (diff) | |
| download | gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.zip gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.tar.gz gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.tar.bz2 | |
[multiple changes]
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Find_Selected_Component): In a synchronized
body, a reference to an operation of an object of the same
synchronized type was always interpreted as a reference to the
current instance. This is not always the case, as the prefix of
the reference may designate an object of the same type declared
in the enclosing context prior to the body.
2015-11-12 Arnaud Charlet <charlet@adacore.com>
* impunit.ads, impunit.adb (Get_Kind_Of_File): New. Cleaned up
implementation from previous Get_Kind_Of_Unit.
(Get_Kind_Of_Unit): Reimplemented using Get_Kind_Of_File.
* debug.adb: Remove d.4 switch, no longer used.
* opt.ads: Update doc on Debugger_Level.
* gnat1drv.adb: Code clean ups.
* sinput.ads: minor fix in comment
2015-11-12 Bob Duff <duff@adacore.com>
* sinfo.adb, sinfo.ads, sem_ch6.adb, atree.ads: Add
Was_Expression_Function flag, which is set in sem_ch6.adb when
converting an Expression_Function into a Subprogram_Body.
2015-11-12 Pascal Obry <obry@adacore.com>
* usage.adb: Update overflow checking documentation.
From-SVN: r230243
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 5f57e8c..b97fa58 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -3286,6 +3286,14 @@ package body Sinfo is return Elist5 (N); end Used_Operations; + function Was_Expression_Function + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Subprogram_Body); + return Flag18 (N); + end Was_Expression_Function; + function Was_Originally_Stub (N : Node_Id) return Boolean is begin @@ -6525,6 +6533,14 @@ package body Sinfo is Set_Elist5 (N, Val); end Set_Used_Operations; + procedure Set_Was_Expression_Function + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Subprogram_Body); + Set_Flag18 (N, Val); + end Set_Was_Expression_Function; + procedure Set_Was_Originally_Stub (N : Node_Id; Val : Boolean := True) is begin |