From 4913e24c20f58de96248db4bb8506c8b2678d799 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 6 Jan 2012 15:48:05 +0100 Subject: [multiple changes] 2012-01-06 Robert Dewar * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads, s-utf_32.ads: Add pragma Pure * s-utf_32.adb: Suppress warnings on non-static constants (now that this is Pure). 2012-01-06 Bob Duff * s-rpc.ads (Read, Write): Add overriding indicators. 2012-01-06 Robert Dewar * gnat_rm.texi: Add documentation for conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference. 2012-01-06 Gary Dismukes * a-tienio.adb (Put): Add exception message on raise statements. Remove unneeded blocks and object declarations. 2012-01-06 Robert Dewar * sem_prag.adb: Minor reformatting. 2012-01-06 Ed Schonberg * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate that a selected component within a generic unit has been resolved as a prefixed call with local references. * sem_ch3.adb (Is_Visible_Component): In an instance body a selected component is always visible. * sem_ch4.adb (Analyze_Selected_Component): If the node is a prefixed call in an instance, do not look for visible components of the type. * sem_ch12.adb (Reset_Entity): If a selected component has resolved to a prefixed call, mark the node accordingly when prefix and selector are local references. From-SVN: r182954 --- gcc/ada/sinfo.adb | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'gcc/ada/sinfo.adb') diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 440cf02..96b4570 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1838,6 +1838,14 @@ package body Sinfo is return Flag13 (N); end Is_Power_Of_2_For_Shift; + function Is_Prefixed_Call + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Selected_Component); + return Flag17 (N); + end Is_Prefixed_Call; + function Is_Protected_Subprogram_Body (N : Node_Id) return Boolean is begin @@ -4910,6 +4918,14 @@ package body Sinfo is Set_Flag13 (N, Val); end Set_Is_Power_Of_2_For_Shift; + procedure Set_Is_Prefixed_Call + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Selected_Component); + Set_Flag17 (N, Val); + end Set_Is_Prefixed_Call; + procedure Set_Is_Protected_Subprogram_Body (N : Node_Id; Val : Boolean := True) is begin -- cgit v1.1