From d50f4827c7062e3247baf493e646c365114c28cd Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 5 Aug 2011 16:29:43 +0200 Subject: [multiple changes] 2011-08-05 Bob Duff * sinfo.ads, sinfo.adb (Subpool_Handle_Name): New attribute for subpools. * par-ch4.adb (P_Allocator): Parse new subpool specification syntax. 2011-08-05 Ed Schonberg * sem_ch4.adb (Try_Container_Indexing): New procedure to implement the general indexing aspects of Ada2012. Called when analyzing indexed components when other interpretations fail. * sem_ch8.adb (Find_Direct_Name): check for implicit dereference only in an expression context where overloading is meaningful. This excludes the occurrence in an aspect specification (efficiency only). * sem_attr.adb (Analyze_Attribute): indicate that the attributes related to iterators can be set by an attribute specification, but cannot be queried. * sem_ch13.adb (Analyze_Aspect_Specifications): handle Constant_Indexing and Variable_Indexing. (Check_Indexing_Functions): New procedure to perform legality checks. Additional semantic checks at end of declarations. From-SVN: r177446 --- 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 5ff5c47..73b8489 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2844,6 +2844,14 @@ package body Sinfo is return Node1 (N); end Storage_Pool; + function Subpool_Handle_Name + (N : Node_Id) return Node_Id is + begin + pragma Assert (False + or else NT (N).Nkind = N_Allocator); + return Node4 (N); + end Subpool_Handle_Name; + function Strval (N : Node_Id) return String_Id is begin @@ -5886,6 +5894,14 @@ package body Sinfo is Set_Node1 (N, Val); -- semantic field, no parent set end Set_Storage_Pool; + procedure Set_Subpool_Handle_Name + (N : Node_Id; Val : Node_Id) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Allocator); + Set_Node4_With_Parent (N, Val); + end Set_Subpool_Handle_Name; + procedure Set_Strval (N : Node_Id; Val : String_Id) is begin -- cgit v1.1