[Ada] Unnesting: take inlining (-gnatn) into account

[thirdparty/gcc.git] / gcc / ada / ChangeLog

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0a92182d55bd3d7d85192332afd3c6c55305aa0a..6273a551223ad80e37a5ff877d30373f876f75b7 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,67 @@
+2019-08-20  Arnaud Charlet  <charlet@adacore.com>
+
+       * exp_unst.adb (Unnest_Subprograms, Unnest_Subprogram): Take
+       inlining (-gnatn) into account.
+
+2019-08-20  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
+       Storage_Size): If the expression for Storage_Size is not static
+       it may depend on characterstics of another type that may bot be
+       frozen yet, so the elaboration of the expression for the aspect
+       must be attached directly to the freeze actions of the type to
+       which it applies.
+
+2019-08-20  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_util.adb (Build_DIC_Procedure_Declaration): Set the last
+       entity of the generated Default_Initial_Condition procedure in
+       order to construct a proper entity chain.
+
+2019-08-20  Yannick Moy  <moy@adacore.com>
+
+       * exp_spark.adb (Expand_SPARK_N_Slice_Or_Indexed_Component):
+       Renaming of function to apply to slices as well.
+       (Expand_SPARK): Expand prefix of slices of access type.
+
+2019-08-20  Bob Duff  <duff@adacore.com>
+
+       * exp_aggr.adb (Expand_Array_Aggregate): Use build-in-place in
+       the nonlimited case in STEP 4. This improves the efficiency of
+       things like (1 .. 1000 => <>).  We still generate some code for
+       that, unfortunately, but it is much improved.
+       (Aggr_Assignment_OK_For_Backend): Return false if <> components
+       are present.
+
+2019-08-20  Bob Duff  <duff@adacore.com>
+
+       * exp_ch6.adb (Needs_BIP_Alloc_Form): Call
+       Requires_Transient_Scope rather than checking constrainedness
+       and so forth.  We have previously improved
+       Requires_Transient_Scope to return False in various cases,
+       notably a limited record with an access discriminant. This
+       change takes advantage of that to avoid using the secondary
+       stack for functions returning such types.
+       (Make_Build_In_Place_Call_In_Allocator): Be consistent by
+       calling Needs_BIP_Alloc_Form rather than Is_Constrained and so
+       forth.
+       * sem_ch4.adb (Analyze_Allocator): The above change causes the
+       compiler to generate code that is not legal Ada, in particular
+       an uninitialized allocator for indefinite subtype.  This is
+       harmless, so we suppress the error message in this case.
+
+2019-08-20  Gary Dismukes  <dismukes@adacore.com>
+
+       * ali.adb, ali.ads, aspects.adb, checks.ads, checks.adb,
+       doc/gnat_rm/implementation_defined_pragmas.rst,
+       doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+       einfo.ads, exp_aggr.adb, exp_ch11.adb, exp_ch3.ads, exp_ch4.adb,
+       exp_disp.adb, inline.adb, libgnat/a-locale.ads,
+       libgnat/s-soflin.ads, par_sco.adb, repinfo.adb, sem_ch5.adb,
+       sem_disp.adb, sem_elab.adb, sem_eval.adb, sem_spark.adb,
+       sem_spark.ads, sinfo.ads: Minor reformattings, typo fixes and
+       and rewordings.
+
 2019-08-20  Dmitriy Anisimkov  <anisimko@adacore.com>
 
        * adaint.c (__gnat_to_gm_time): On _WIN32, don't round time up