gcc/ada/ChangeLog

   1 2019-05-03  Release Manager
   2
   3         * GCC 9.1.0 released.
   4
   5 2019-04-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
   6             Bernd Edlinger  <bernd.edlinger@hotmail.de>
   7             Jakub Jelinek  <jakub@redhat.com>
   8
   9         PR target/89093
  10         * raise-gcc.c (TARGET_ATTRIBUTE): Define.
  11         (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
  12         TARGET_ATTRIBUTE.
  13
  14 2019-04-07  Eric Botcazou  <ebotcazou@adacore.com>
  15
  16         * libgnat/i-cexten.ads (CFloat_128): New type.
  17
  18 2019-03-22  Dmitriy Anisimkov  <anisimko@adacore.com>
  19
  20         PR ada/89583
  21         * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
  22         Send_Socket): Fix the computation of structure lengths passed to
  23         low level routines.
  24         (Is_IPv6_Address): Fix the number of expected colons.
  25
  26 2019-03-11  Martin Liska  <mliska@suse.cz>
  27
  28         * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
  29         format message and fix GNU coding style.
  30
  31 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
  32
  33         * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
  34         * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
  35         conversion here.  Use TREE_CONSTANT throughout the function.
  36         (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
  37         destination is a more aligned array type or a larger aggregate type,
  38         but not between original and packable versions of a type.
  39
  40 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
  41
  42         * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
  43         operand with VOID_TYPE.
  44
  45 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
  46
  47         * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
  48         entities of a package renaming another one.
  49
  50 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
  51
  52         * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
  53         individual flag_unswitch_loops and flag_tree_loop_vectorize switches
  54         with test on global optimize switch.
  55         (Raise_Error_to_gnu): Likewise.
  56
  57 2019-02-07  Eric Botcazou  <ebotcazou@adacore.com>
  58
  59         * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
  60
  61 2019-02-06  Arnaud Charlet  <charlet@adacore.com>
  62
  63         * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
  64
  65 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
  66
  67         * repinfo.adb (List_Component_Layout): Remove superfluous space for
  68         zero-sized field.
  69         * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
  70         * gcc-interface/gigi.h (create_extra_subtype): Declare.
  71         * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
  72         (update_n_elem): New function.
  73         (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
  74         instead of doing it manually.
  75         <E_Array_Type>: Use update_n_elem to compute the maximum size.  Use the
  76         index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
  77         of the array to the maximum size.
  78         <E_Array_Subtype>: Create an extra subtype using the index type of the
  79         base array type for self-referential bounds.  Use update_n_elem to
  80         compute the maximum size.  Set TYPE_ARRAY_MAX_SIZE of the array to the
  81         maximum size.
  82         (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
  83         * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
  84         the base type for an extra subtype.
  85         (gnat_type_max_size): Remove obsolete code.
  86         * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
  87         (can_be_lower_p): Deal with pathological types.
  88         * gcc-interface/utils.c (create_extra_subtype): New function.
  89         (create_field_decl): Minor tweak.
  90         (max_size) <tcc_reference>: Compute a better value by using the extra
  91         subtypes on the self-referential bounds.
  92         <tcc_binary>: Rewrite.  Deal with "negative value" in unsigned types.
  93         <tcc_expression>: Likewise.
  94         * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
  95         of the arrays upfront.  Swap only if the second length is not constant.
  96         Use comparisons on the original bounds consistently for the null tests.
  97         (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
  98         (build_allocator): Minor tweak.
  99
 100 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 101
 102         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
 103         the same value for every dimension of a multidimensional array type.
 104
 105 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 106
 107         * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
 108         iteration scheme, if present, throughout the translation.
 109
 110 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 111
 112         * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
 113         DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
 114         by a call to memset if the LHS is a DECL.
 115
 116 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 117
 118         * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
 119         (Loop_Statement_to_gnu): Do not set it.
 120
 121 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 122
 123         * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
 124         (Acc_gnat_to_gnu): Likewise.
 125         (Acc_Data_to_gnu): Likewise.
 126         (Acc_Var_to_gnu): Likewise.
 127         (Acc_Reduc_to_gnu): Likewise.
 128         (Acc_Size_List_to_gnu): Likewise.
 129         (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
 130         <Pragma_Acc_Data>): Likewise.
 131         (find_loop_for): Remove default value for parameters.
 132         * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
 133         <N_Op_Eq>): ...this.
 134
 135 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 136
 137         * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
 138         the sign bit instead of on the sign of the value.
 139         <PLUS_EXPR>: Turn addition of negative constant into subtraction.
 140         <MULT_EXPR>: Add test for degenerate case.
 141         <BIT_AND_EXPR>: Simplify.
 142
 143 2019-01-18  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 144
 145         * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
 146
 147 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 148
 149         PR other/16615
 150         * exp_ch11.adb: Change "can not" to "cannot".
 151         * sem_ch4.adb: Likewise.
 152
 153 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 154
 155         PR other/16615
 156         * exp_ch9.adb: Mechanically replace "can not" with "cannot".
 157         * libgnat/s-regpat.ads: Likewise.
 158         * par-ch4.adb: Likewise.
 159         * set_targ.adb: Likewise.
 160         * types.ads: Likewise.
 161
 162 2019-01-08  Justin Squirek  <squirek@adacore.com>
 163
 164         Revert:
 165         2018-07-31  Justin Squirek  <squirek@adacore.com>
 166
 167         * lib-writ.adb (Write_With_Lines): Modfiy the generation
 168         of dependencies within ali files so that source unit
 169         bodies are properly listed even if said bodies are
 170         missing.  Perform legacy behavior in GNATprove mode.
 171         * lib-writ.ads: Modify documentation to reflect current
 172         behavior.
 173
 174         and:
 175         2018-09-26  Justin Squirek  <squirek@adacore.com>
 176
 177         * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
 178         documentation and an extra conditional check for RCI
 179         units so that generated ali files will list the spec
 180         only instead of a body when a body is not found.
 181
 182 2019-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 183
 184         * gnatvsn.ads: Bump copyright year.
 185
 186 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
 187
 188         Update copyright years.
 189
 190         * gnat_ugn.texi: Bump @copying's copyright year.
 191         * gnat_rm.texi: Likewise.
 192 \f
 193 Copyright (C) 2019 Free Software Foundation, Inc.
 194
 195 Copying and distribution of this file, with or without modification,
 196 are permitted in any medium without royalty provided the copyright
 197 notice and this notice are preserved.