[Ada] Minor reformattings

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cfc609aa4334856f7b5c3500c8b325d08da2acd6..608eacb41afc8fa05e3de7efab7b56caa58f9a68 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,70 @@
+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
+       to even second.
+
+2019-08-20  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch3.adb (Analyze_Object_Declaration): If actual type is
+       private and distinct from nominal type in declaration, propagate
+       flags Is_Constr_Subt_For_U_Nominal and _UN_Aliased to full view
+       of private type.
+
+2019-08-20  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_attr.adb (Expand_Loop_Entry_Attribute): When expanding a
+       loop entry attribute for a while_loop we construct a function
+       that incorporates the expanded condition of the loop. The itypes
+       that may be generated in that expansion must carry the scope of
+       the constructed function for proper handling in gigi.
+
+2019-08-20  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_disp.adb (Build_Class_Wide_Check, Replace_Formals): When a
+       dispatching call tp a subprogram with a class-wide precondition
+       occurrs in the same declarative part as the ancestor subprogram
+       being called, the`expression for the precondition has not been
+       analyzed yet. Such a call may appear, e.g. in an expression
+       function. In that case, the replacement of formals by actuals in
+       the call cannot use the formal entities of the subprogram being
+       called, and the occurrence of the formals in the expression must
+       be located by name (Chars fields) as would be done at a later
+       freeze point, when the expression is resolved in the context of
+       the subprogram itself.
+
+2019-08-20  Bob Duff  <duff@adacore.com>
+
+       * sem_prag.adb (Persistent_BSS): If an initialization is present
+       because of Initialize_Scalars or Normalize_Scalars, generate an
+       implicit pragma Suppress_Initialization to remove that, because
+       initialization is not allowed for these variables. Other
+       initializations remain illegal.
+
+2019-08-20  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch3.adb (OK_For_Limited_Init_In_05): In the case of type
+       conversions, apply the recursive call to the Original_Node of
+       the expression Exp rather than the Expression of the
+       Original_Node, in the case where Exp has been rewritten;
+       otherwise, when Original_Node is the same as Exp, apply the
+       recursive call to the Expression.
+       (Check_Initialization): Revise condition for special check on
+       type conversions of limited function calls to test Original_Node
+       (avoiding spurious errors on expanded unchecked conversions
+       applied to build-in-place dispatching calls).
+
 2019-08-20  Patrick Bernardi  <bernardi@adacore.com>
 
        * exp_aggr.adb (Expand_Record_Aggregate): Always convert a