gcc/ada/ChangeLog

   1 2019-07-01  Pierre-Marie de Rodat  <derodat@adacore.com>
   2
   3         * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
   4         formatting issues in the -gnatR section.
   5         * gnat_ugn.texi: Regenerate.
   6
   7 2019-06-30  Iain Sandoe  <iain@sandoe.co.uk>
   8
   9         * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
  10         Push -shared-libgcc explicitly, when it is the target default (unless
  11         overidden by the static flag).
  12         When the user has put an instance of shared/static-libgcc do not push
  13         a duplicate of this.
  14
  15 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  16
  17         * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
  18         and tweak comment on the assertion about the scopes of Itypes.  Do not
  19         skip the regular processing for Itypes that are E_Record_Subtype with
  20         a Cloned_Subtype.  Get the Cloned_Subtype for every E_Record_Subtype
  21         if the type is dummy and hasn't got its own freeze node.
  22         <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
  23         <E_Access_Subtype>: Save again the DECL of the equivalent type.
  24         (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
  25
  26 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  27
  28         * gcc-interface/utils.c (unchecked_convert): Tweak comment.  Only skip
  29         dereferences when padding to have the same size on both sides.  Do it
  30         for destination types with self-referential size too.
  31
  32 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  33
  34         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
  35         type requires strict alignment, then set the RM size to the type size.
  36         Rework handling of alignment and sizes of tagged types in ASIS mode.
  37         (validate_size): Rename local variable and remove special handling for
  38         strict-alignment types.
  39         * gcc-interface/utils.c (finish_record_type): Constify local variables
  40         and use properly typed constants.
  41
  42 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  43
  44         * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
  45         fields requiring strict alignment, add explicit test on Storage_Unit
  46         for position and size, and mention type alignment for position.
  47
  48 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  49
  50         * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
  51         the main variant of a type, if any.
  52
  53 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  54
  55         * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
  56         missing guard for the presence of TYPE_CANONICAL.
  57         (set_reverse_storage_order_on_array_type): Likewise.
  58
  59 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
  60
  61         * gcc-interface/gigi.h (make_packable_type): Remove default value.
  62         (value_factor_p): Tweak prototype.
  63         * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
  64         (gnat_to_gnu_component_type): Likewise.
  65         (gnat_to_gnu_field): Likewise.  Fetch the position of the field earlier
  66         and simplify the condition under which the type is packed.  Declare
  67         local variable is_bitfield.  Pass 1 as max_align to make_packable_type
  68         if it is set to true.
  69         (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
  70         * gcc-interface/utils.c (make_packable_array_type): New function.
  71         (make_packable_type): Use it to rewrite the type of array field.
  72         (maybe_pad_type): Pass align parameter to make_packable_type.
  73         (create_field_decl): Minor tweaks.
  74         (value_factor_p): Assert that FACTOR is a power of 2 and replace the
  75         modulo computation by a masking operation.
  76
  77 2019-06-25  Eric Botcazou  <ebotcazou@adacore.com>
  78
  79         * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
  80         in previous change.
  81         * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
  82         (maybe_character_value): Likewise.
  83
  84 2019-06-24  Jan Hubicka  <jh@suse.cz>
  85
  86         * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
  87         type is array or integer prior checking string flag.
  88         * gcc-interface/gigi.h (maybe_character_type): Likewise.
  89         (maybe_character_value): Likewise.
  90
  91 2019-06-24  Martin Sebor  <msebor@redhat.com>
  92
  93         * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
  94         name.
  95
  96 2019-06-18  Arnaud Charlet  <charlet@adacore.com>
  97
  98         PR ada/80590
  99         * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
 100         during normal processing.
 101
 102 2019-06-17  Arnaud Charlet  <charlet@adacore.com>
 103
 104         PR ada/80590
 105         * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
 106         conditions to avoid a unnecessary exception propagation in the default
 107         case.
 108
 109 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 110
 111         * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
 112
 113 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 114
 115         * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
 116         Document additional optional parameters.
 117         * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
 118         more than one optional parameter.
 119         * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
 120         the list of supported pragmas.  Simplify the handling of parameters
 121         and add support for more than one optional parameter.
 122         * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
 123         (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
 124         used, cold, hot, target and target_clones.
 125         (begin_subprog_body): Do not create the RTL for the subprogram here.
 126         (handle_noicf_attribute): New static function.
 127         (handle_noipa_attribute): Likewise.
 128         (handle_flatten_attribute): Likewise.
 129         (handle_used_attribute): Likewise.
 130         (handle_cold_attribute): Likewise.
 131         (handle_hot_attribute): Likewise.
 132         (handle_target_attribute): Likewise.
 133         (handle_target_clones_attribute): Likewise.
 134
 135 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 136
 137         * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
 138         for 'Size too.
 139         (Identifier_to_gnu): Use the actual subtype for a reference to a
 140         packed array in a return statement.
 141         (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
 142         the prefix in every case.
 143
 144 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 145
 146         * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
 147         Backend_Overflow_Checks_On_Target and rework comments.
 148
 149 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 150
 151         * gcc-interface/trans.c (walk_nesting_tree): New static function.
 152         (finalize_nrv): Use it to walk the entire nesting tree.
 153
 154 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 155
 156         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
 157         obsolete test on Is_For_Access_Subtype.
 158
 159 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 160
 161         * gcc-interface/decl.c (components_to_record): Set a name on the type
 162         created for the REP part, if any.
 163         * gcc-interface/utils.c (finish_record_type): Only take the maximum
 164         when merging sizes for a variant part at offset 0.
 165         (merge_sizes): Rename has_rep parameter into max.
 166
 167 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 168
 169         * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
 170         for stack_protect attribute.
 171         (handle_stack_protect_attribute): New static function.
 172
 173 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 174
 175         * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
 176         false if the internal builtin uses a variable list.
 177
 178 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 179
 180         * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
 181         created out of addressability concerns if it's for the _Init parameter
 182         of an initialization procedure.
 183
 184 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 185
 186         * gcc-interface/ada-builtin-types.def: New file.
 187         * gcc-interface/ada-builtins.def: Likewise.
 188         * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
 189         (BUILT_IN_UNLIKELY): Likewise.
 190         * gcc-interface/trans.c (independent_iterations_p): Initialize the
 191         auto-vector to 16 elements.
 192         (Call_to_gnu): Remove local variable and change the vector of actual
 193         parameters to an auto-vector.  Do not convert actual parameters to
 194         the argument type for front-end built-in functions.  Add support for
 195         front-end built-in functions.
 196         (build_noreturn_cond): Use internal instead of built-in function.
 197         * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
 198         (install_builtin_function_types): Likewise.
 199         (install_builtin_functions): Include ada-builtins.def first.
 200
 201 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 202
 203         * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
 204         specific case of component types preferably.
 205
 206 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 207
 208         * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
 209         (gnat_to_gnu): Do not convert the result if it is a reference to an
 210         unconstrained array used as the prefix of an attribute reference that
 211         requires an lvalue.
 212
 213 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 214
 215         * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
 216         (Identifier_to_gnu): Use it to assert that the type of the identifier
 217         and that of its entity are compatible for gigi.  Rename a couple of
 218         local variables and separate the processing of the result type.
 219
 220 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 221
 222         * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
 223         putting back an intermediate conversion the type of the actuals.
 224
 225 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
 226
 227         * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
 228         count to the unsigned version of its base type before proceeding.
 229
 230 2019-05-16  Martin Sebor  <msebor@redhat.com>
 231
 232         * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
 233         reserved names.
 234
 235 2019-05-08  Arnaud Charlet  <charlet@adacore.com>
 236
 237         * standard.ads.h: New file.
 238
 239 2019-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 240
 241         * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
 242         Honor DESTDIR.
 243
 244 2019-04-29  Michael K. Darling  <darlingm@gmail.com>
 245
 246         * gnatvsn.ads: Bump Library_Version to 10.
 247
 248 2019-04-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
 249             Bernd Edlinger  <bernd.edlinger@hotmail.de>
 250             Jakub Jelinek  <jakub@redhat.com>
 251
 252         PR target/89093
 253         * raise-gcc.c (TARGET_ATTRIBUTE): Define.
 254         (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
 255         TARGET_ATTRIBUTE.
 256
 257 2019-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 258
 259         * libgnat/i-cexten.ads (CFloat_128): New type.
 260
 261 2019-03-22  Dmitriy Anisimkov  <anisimko@adacore.com>
 262
 263         PR ada/89583
 264         * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
 265         Send_Socket): Fix the computation of structure lengths passed to
 266         low level routines.
 267         (Is_IPv6_Address): Fix the number of expected colons.
 268
 269 2019-03-11  Martin Liska  <mliska@suse.cz>
 270
 271         * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
 272         format message and fix GNU coding style.
 273
 274 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 275
 276         * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
 277         * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
 278         conversion here.  Use TREE_CONSTANT throughout the function.
 279         (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
 280         destination is a more aligned array type or a larger aggregate type,
 281         but not between original and packable versions of a type.
 282
 283 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 284
 285         * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
 286         operand with VOID_TYPE.
 287
 288 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 289
 290         * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
 291         entities of a package renaming another one.
 292
 293 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 294
 295         * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
 296         individual flag_unswitch_loops and flag_tree_loop_vectorize switches
 297         with test on global optimize switch.
 298         (Raise_Error_to_gnu): Likewise.
 299
 300 2019-02-07  Eric Botcazou  <ebotcazou@adacore.com>
 301
 302         * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
 303
 304 2019-02-06  Arnaud Charlet  <charlet@adacore.com>
 305
 306         * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
 307
 308 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 309
 310         * repinfo.adb (List_Component_Layout): Remove superfluous space for
 311         zero-sized field.
 312         * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
 313         * gcc-interface/gigi.h (create_extra_subtype): Declare.
 314         * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
 315         (update_n_elem): New function.
 316         (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
 317         instead of doing it manually.
 318         <E_Array_Type>: Use update_n_elem to compute the maximum size.  Use the
 319         index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
 320         of the array to the maximum size.
 321         <E_Array_Subtype>: Create an extra subtype using the index type of the
 322         base array type for self-referential bounds.  Use update_n_elem to
 323         compute the maximum size.  Set TYPE_ARRAY_MAX_SIZE of the array to the
 324         maximum size.
 325         (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
 326         * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
 327         the base type for an extra subtype.
 328         (gnat_type_max_size): Remove obsolete code.
 329         * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
 330         (can_be_lower_p): Deal with pathological types.
 331         * gcc-interface/utils.c (create_extra_subtype): New function.
 332         (create_field_decl): Minor tweak.
 333         (max_size) <tcc_reference>: Compute a better value by using the extra
 334         subtypes on the self-referential bounds.
 335         <tcc_binary>: Rewrite.  Deal with "negative value" in unsigned types.
 336         <tcc_expression>: Likewise.
 337         * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
 338         of the arrays upfront.  Swap only if the second length is not constant.
 339         Use comparisons on the original bounds consistently for the null tests.
 340         (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
 341         (build_allocator): Minor tweak.
 342
 343 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 344
 345         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
 346         the same value for every dimension of a multidimensional array type.
 347
 348 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 349
 350         * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
 351         iteration scheme, if present, throughout the translation.
 352
 353 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 354
 355         * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
 356         DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
 357         by a call to memset if the LHS is a DECL.
 358
 359 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 360
 361         * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
 362         (Loop_Statement_to_gnu): Do not set it.
 363
 364 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 365
 366         * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
 367         (Acc_gnat_to_gnu): Likewise.
 368         (Acc_Data_to_gnu): Likewise.
 369         (Acc_Var_to_gnu): Likewise.
 370         (Acc_Reduc_to_gnu): Likewise.
 371         (Acc_Size_List_to_gnu): Likewise.
 372         (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
 373         <Pragma_Acc_Data>): Likewise.
 374         (find_loop_for): Remove default value for parameters.
 375         * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
 376         <N_Op_Eq>): ...this.
 377
 378 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 379
 380         * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
 381         the sign bit instead of on the sign of the value.
 382         <PLUS_EXPR>: Turn addition of negative constant into subtraction.
 383         <MULT_EXPR>: Add test for degenerate case.
 384         <BIT_AND_EXPR>: Simplify.
 385
 386 2019-01-18  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 387
 388         * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
 389
 390 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 391
 392         PR other/16615
 393         * exp_ch11.adb: Change "can not" to "cannot".
 394         * sem_ch4.adb: Likewise.
 395
 396 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 397
 398         PR other/16615
 399         * exp_ch9.adb: Mechanically replace "can not" with "cannot".
 400         * libgnat/s-regpat.ads: Likewise.
 401         * par-ch4.adb: Likewise.
 402         * set_targ.adb: Likewise.
 403         * types.ads: Likewise.
 404
 405 2019-01-08  Justin Squirek  <squirek@adacore.com>
 406
 407         Revert:
 408         2018-07-31  Justin Squirek  <squirek@adacore.com>
 409
 410         * lib-writ.adb (Write_With_Lines): Modfiy the generation
 411         of dependencies within ali files so that source unit
 412         bodies are properly listed even if said bodies are
 413         missing.  Perform legacy behavior in GNATprove mode.
 414         * lib-writ.ads: Modify documentation to reflect current
 415         behavior.
 416
 417         and:
 418         2018-09-26  Justin Squirek  <squirek@adacore.com>
 419
 420         * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
 421         documentation and an extra conditional check for RCI
 422         units so that generated ali files will list the spec
 423         only instead of a body when a body is not found.
 424
 425 2019-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 426
 427         * gnatvsn.ads: Bump copyright year.
 428
 429 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
 430
 431         Update copyright years.
 432
 433         * gnat_ugn.texi: Bump @copying's copyright year.
 434         * gnat_rm.texi: Likewise.
 435 \f
 436 Copyright (C) 2019 Free Software Foundation, Inc.
 437
 438 Copying and distribution of this file, with or without modification,
 439 are permitted in any medium without royalty provided the copyright
 440 notice and this notice are preserved.