diff options
author | Ed Schonberg <schonberg@adacore.com> | 2018-12-11 11:11:22 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:11:22 +0000 |
commit | 1d499c15a84b4a8690f423c7fc11a6edea73d9a2 (patch) | |
tree | 32a7b015a9ecee4938f533c60a8d8d0d56e6f799 /gcc/ada/ChangeLog | |
parent | 0a4578b6c6d1febbb569a473c1142135906cab18 (diff) | |
download | gcc-1d499c15a84b4a8690f423c7fc11a6edea73d9a2.zip gcc-1d499c15a84b4a8690f423c7fc11a6edea73d9a2.tar.gz gcc-1d499c15a84b4a8690f423c7fc11a6edea73d9a2.tar.bz2 |
[Ada] Unnesting: fix for constrained arrays and improve static constants
2018-12-11 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_unst.adb (Needs_Fat_Pointer): A fat pointer is required if
the entity has a private type whose full view is an
unconstrained array type.
(Rewrite_One_Ref): If the reference is to a static constant, use
its value rather than create a reference through the activation
record. This is more efficient, and furthermore indispensable if
the context requires a static constant, such as in a branch of a
case statement.
From-SVN: r267003
Diffstat (limited to 'gcc/ada/ChangeLog')
-rw-r--r-- | gcc/ada/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1f59c88..33d2a14 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,16 @@ 2018-12-11 Ed Schonberg <schonberg@adacore.com> + * exp_unst.adb (Needs_Fat_Pointer): A fat pointer is required if + the entity has a private type whose full view is an + unconstrained array type. + (Rewrite_One_Ref): If the reference is to a static constant, use + its value rather than create a reference through the activation + record. This is more efficient, and furthermore indispensable if + the context requires a static constant, such as in a branch of a + case statement. + +2018-12-11 Ed Schonberg <schonberg@adacore.com> + * sem_ch3.adb (Analyze_Object_Declaration): Apply Dynamic_Predicate check to an object of an array type initialized with an aggregate. |