diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 14:40:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 14:40:11 +0000 |
| commit | 625b8e97f6f97078299969fab004d540a021716a (patch) | |
| tree | e32b257f259965d95e0d8e66ce84cc867c98918a /gcc/ada/exp_ch3.adb | |
| parent | c0e6b3d6a2bdf050cb8489c14551bf9c5ec89f41 (diff) | |
| download | gcc-625b8e97f6f97078299969fab004d540a021716a.tar.gz | |
2011-08-29 Robert Dewar <dewar@adacore.com>
* 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 <moy@adacore.com>
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178252 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch3.adb')
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index c0112b1d9b3..361b2a4797f 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; |