gcc/ada/ChangeLog

   1 2023-01-03  Ghjuvan Lacambre  <lacambre@adacore.com>
   2
   3         * errout.adb (Write_JSON_Span): Escape subprogram name.
   4
   5 2023-01-03  Ghjuvan Lacambre  <lacambre@adacore.com>
   6
   7         * output.adb (Write_Buffer): Use Flush_Buffer instead of Write_Eol.
   8
   9 2023-01-03  Ronan Desplanques  <desplanques@adacore.com>
  10
  11         * libgnat/g-forstr.adb (P_Flt_Format): Add "*" syntax handling.
  12
  13 2023-01-03  Ronan Desplanques  <desplanques@adacore.com>
  14
  15         * libgnat/g-forstr.adb (P_Int_Format): Fix parsing bug.
  16
  17 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  18
  19         * exp_ch6.adb (Expand_Simple_Function_Return): Make sure that a
  20         captured function call also verifies Is_Related_To_Func_Return.
  21         Do not generate an actual subtype for special return objects.
  22         * exp_util.ads (Is_Related_To_Func_Return): Add commentary.
  23
  24 2023-01-03  Ronan Desplanques  <desplanques@adacore.com>
  25
  26         * libgnat/g-forstr.adb
  27         (Advance_And_Accumulate_Until_Next_Specifier): New procedure.
  28         ("-"): Replace inline code with call to
  29         Advance_And_Accumulate_Until_Next_Specifier.
  30         (Next_Format): likewise.
  31
  32 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  33
  34         * checks.adb (Apply_Discriminant_Check.Denotes_Explicit_Dereference):
  35         Return false for artificial dereferences generated by the expander.
  36
  37 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  38
  39         * exp_ch6.adb (Is_Build_In_Place_Function): Adjust comment.
  40         * sem_util.adb (Compute_Returns_By_Ref): Do not set Returns_By_Ref
  41         on functions with foreign convention.
  42
  43 2023-01-03  Marc Poulhiès  <poulhies@adacore.com>
  44
  45         * exp_aggr.adb (Build_Assignment_With_Temporary): New.
  46         (Expand_Array_Aggregate): Tune backend optimization
  47         and insert a temporary in the case of an access with
  48         Designated_Storage_Model aspect.
  49         (Convert_Array_Aggr_In_Allocator): Likewise.
  50
  51 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  52
  53         * sem_res.adb (Resolve_Membership_Op): Adjust again latest change.
  54
  55 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  56
  57         * sem_util.ads (Set_Debug_Info_Defining_Id): Adjust comment.
  58         * sem_util.adb (Is_Aliased_View) <N_Explicit_Dereference>: Return
  59         false for more artificial dereferences generated by the expander.
  60         (Set_Debug_Info_Defining_Id): Set Debug_Info_Needed unconditionally
  61         in -gnatD mode.
  62         * exp_ch6.adb (Replace_Renaming_Declaration_Id): Also preserve the
  63         Is_Aliased flag.
  64
  65 2023-01-03  Joel Brobecker  <brobecker@adacore.com>
  66
  67         * doc/gnat_ugn/platform_specific_information.rst
  68         (_Platform_Specific_Information): Minor rewording of intro text.
  69         * gnat_ugn.texi: Regenerate.
  70
  71 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
  72
  73         * exp_util.ads (Is_Captured_Function_Call): Declare.
  74         * exp_util.adb (Is_Captured_Function_Call): New predicate.
  75         * exp_ch3.adb (Expand_N_Object_Declaration): Use it to detect a
  76         rewritten function call as the initializing expression.
  77         * exp_ch6.adb (Expand_Simple_Function_Return): Use it to detect a
  78         rewritten function call as the returned expression.
  79
  80 2023-01-03  Bob Duff  <duff@adacore.com>
  81
  82         * exp_util.adb (Integer_Type_For): Assertion and comment.
  83         (Small_Integer_Type_For): Remove some code and call
  84         Integer_Type_For instead.
  85         * sem_util.ads (Rep_To_Pos_Flag): Improve comments. "Standard_..."
  86         seems overly pedantic here.
  87         * exp_attr.adb (Succ, Pred): Clean up: make the code as similar as
  88         possible.
  89         * exp_ch4.adb: Minor: named notation.
  90
  91 2023-01-03  Javier Miranda  <miranda@adacore.com>
  92
  93         * ghost.adb (Is_OK_Declaration): A reference to a Ghost entity may
  94         appear within the class-wide precondition of a helper subprogram.
  95         This context is treated as suitable because it was already
  96         verified when we were analyzing the original class-wide
  97         precondition.
  98
  99 2023-01-03  Eric Botcazou  <ebotcazou@adacore.com>
 100
 101         * exp_tss.adb (Base_Init_Proc): Do not return the Init_Proc of the
 102         ancestor type for a derived array type.
 103         * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): Factor out the
 104         common processing done on representation items.
 105         For Default_Component_Value and Default_Value, look into the first
 106         subtype to find out the representation items.
 107
 108 2023-01-02  Iain Sandoe  <iain@sandoe.co.uk>
 109
 110         PR ada/108202
 111         * gcc-interface/Make-lang.in (GCC_LINKERFLAGS, GCC_LDFLAGS):
 112         Versions of ALL_LINKERFLAGS, LDFLAGS with -Werror and
 113         -static-libgcc filtered out for Darwin8 and 9 (-Werror is filtered
 114         out for other hosts).
 115
 116 2023-01-02  Jakub Jelinek  <jakub@redhat.com>
 117
 118         * gnat_ugn.texi: Bump @copying's copyright year.
 119         * gnat_rm.texi: Likewise.
 120
 121 \f
 122 Copyright (C) 2023 Free Software Foundation, Inc.
 123
 124 Copying and distribution of this file, with or without modification,
 125 are permitted in any medium without royalty provided the copyright
 126 notice and this notice are preserved.