From 226a7fa431fc3f9fd533abf6078a1aa9adb9a718 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 29 Aug 2011 16:40:11 +0200 Subject: [multiple changes] 2011-08-29 Robert Dewar * sem_ch10.adb, a-coorse.adb, exp_dist.adb, exp_ch3.adb: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. 2011-08-29 Yannick Moy * alfa.ads (Name_Of_Heap_Variable): New constant name. * lib-xref-alfa.adb, lib-xref.adb, lib-xref.ads (Drefs): New global table to hold dereferences. (Add_ALFA_Xrefs): Take into account dereferences as special reads/writes to the variable "HEAP". (Enclosing_Subprogram_Or_Package): Move subprogram here. (Generate_Dereference): New procedure to store a read/write dereferencew in the table Drefs. * put_alfa.adb (Put_ALFA): Use different default than (0,0) used for the special "HEAP" var. * sem_ch4.adb (Analyze_Explicit_Dereference): Store read dereference in ALFA mode. * sem_util.adb (Note_Possible_Modification): Store write dereference in ALFA mode. From-SVN: r178252 --- gcc/ada/exp_ch3.adb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/ada/exp_ch3.adb') diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index c0112b1..361b2a4 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -6607,10 +6607,12 @@ package body Exp_Ch3 is -- When compiling in Ada 2012 mode, ensure that the accessibility -- level of the subpool access type is not deeper than that of the - -- pool_with_subpools. + -- pool_with_subpools. This check is not performed on .NET/JVM + -- since those targets do not support pools. elsif Ada_Version >= Ada_2012 and then Present (Associated_Storage_Pool (Def_Id)) + and then VM_Target = No_VM then declare Loc : constant Source_Ptr := Sloc (Def_Id); @@ -6642,7 +6644,7 @@ package body Exp_Ch3 is -- Dynamic case: when the pool is of a class-wide type, -- it may or may not support subpools depending on the -- path of derivation. Generate: - -- + -- if Def_Id in RSPWS'Class then -- raise Program_Error; -- end if; -- cgit v1.1