summaryrefslogtreecommitdiff
path: root/gcc/ada/sinfo.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-11-12 11:52:59 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-11-12 11:52:59 +0000
commite9c863fc3f2695e7552675b3b3f95a28277a72f1 (patch)
treee3316f28c5129d8661e41c313965dd0c973deda3 /gcc/ada/sinfo.adb
parentdc483d7cd18f10f5055f345e21fc26cae0c8f4ee (diff)
downloadgcc-e9c863fc3f2695e7552675b3b3f95a28277a72f1.tar.gz
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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230243 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sinfo.adb')
-rw-r--r--gcc/ada/sinfo.adb16
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb
index 5f57e8c2f75..b97fa587657 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