| 2021-09-14 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity): For vector types, make |
| the representative array the debug type. |
| |
| 2021-09-14 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (update_pointer_to): Set TYPE_CANONICAL on |
| pointer and reference types. |
| |
| 2021-06-01 Release Manager |
| |
| * GCC 9.4.0 released. |
| |
| 2021-04-13 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/misc.c (gnat_init): Set default range bits to 0. |
| * gcc-interface/trans.c (extract_encoding): Delete. |
| (decode_name): Likewise. |
| (File_Name_to_gnu): New function. |
| (gigi): Call it to translate file names. Replace assertion on |
| 1-1 mapping between files and line maps with conditional error. |
| |
| 2021-03-10 Mikael Pettersson <mikpelinux@gmail.com> |
| |
| PR bootstrap/94918 |
| * raise-gcc.c: On Cygwin include mingw32.h to prevent |
| windows.h from including x86intrin.h or emmintrin.h. |
| |
| 2021-03-05 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/99264 |
| * init.c (__gnat_alternate_sta) [Linux]: Remove preprocessor test on |
| MINSIGSTKSZ and bump size to 32KB. |
| * libgnarl/s-osinte__linux.ads (Alternate_Stack_Size): Bump to 32KB. |
| |
| 2021-02-03 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (components_to_record): If the first component |
| with rep clause is the _Parent field with variable size, temporarily |
| set it aside when computing the internal layout of the REP part again. |
| * gcc-interface/utils.c (finish_record_type): Revert to taking the |
| maximum when merging sizes for all record types with rep clause. |
| (merge_sizes): Put SPECIAL parameter last and adjust recursive calls. |
| |
| 2021-02-03 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Make the |
| two fields of the fat pointer type addressable, and do not make the |
| template type read-only. |
| <E_Record_Type>: If the type has discriminants mark it as may_alias. |
| * gcc-interface/utils.c (make_dummy_type): Likewise. |
| (build_dummy_unc_pointer_types): Likewise. |
| |
| 2021-01-26 Marius Hillenbrand <mhillen@linux.ibm.com> |
| |
| PR ada/98228 |
| * gcc-interface/utils.c (maybe_pad_type): Test the size of the new |
| packable type instead of its alignment for addressability's sake. |
| |
| 2021-01-25 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (make_covariant_thunk): Set the DECL_CONTEXT |
| of the parameters and do not set TREE_PUBLIC on the thunk. |
| (maybe_make_gnu_thunk): Pass the alias to the covariant thunk. |
| * gcc-interface/utils.c (finish_subprog_decl): Set the DECL_CONTEXT |
| of the parameters here... |
| (begin_subprog_body): ...instead of here. |
| |
| 2021-01-19 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/98740 |
| * gcc-interface/trans.c (add_decl_expr): Always mark TYPE_ADA_SIZE. |
| |
| 2020-12-10 Ed Schonberg <schonberg@adacore.com> |
| |
| PR ada/98230 |
| * exp_attr.adb (Expand_N_Attribute_Reference, case Mod): Use base |
| type of argument to obtain static bound and required size. |
| |
| 2020-12-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (maybe_make_gnu_thunk): Return false if the |
| target is local and thunk and target do not have the same context. |
| |
| 2020-11-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (build_binary_op_trapv): Convert operands |
| to the result type before doing generic overflow checking. |
| * gcc-interface/utils.c (can_materialize_object_renaming_p): Add |
| pair of missing parentheses. |
| |
| 2020-11-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (can_be_lower_p): Remove. |
| (Regular_Loop_to_gnu): Add ENTRY_COND unconditionally if |
| BOTTOM_COND is non-zero. |
| |
| 2020-09-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Only |
| create extra subtypes for discriminants if the RM size of the base |
| type of the index type is lower than that of the index type. |
| |
| 2020-09-10 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (build_subst_list): For a definition, make |
| sure to instantiate the SAVE_EXPRs generated by the elaboration of |
| the constraints in front of the elaboration of the type itself. |
| |
| 2020-06-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Allocator>: Minor tweaks. |
| Call Has_Constrained_Partial_View on base type of designated type. |
| |
| 2020-05-04 Mikael Pettersson <mikpelinux@gmail.com> |
| |
| PR bootstrap/94918 |
| * mingw32.h: Prevent windows.h from including emmintrin.h on Cygwin64. |
| |
| 2020-03-12 Release Manager |
| |
| * GCC 9.3.0 released. |
| |
| 2020-03-11 Richard Wai <richard@annexi-strayline.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity): Also test Is_Public on |
| the Alias of the entitiy, if it is present, in the main assertion. |
| |
| 2019-11-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/92489 |
| Backport from mainline |
| 2019-07-01 Ed Schonberg <schonberg@adacore.com> |
| |
| * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value): |
| Resolve result of call to Get_Simple_Init_Val, which may be a |
| conversion of a literal. |
| |
| 2019-11-25 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/92362 |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>: |
| Use a temporary instead of clobbering the result with a freeze node. |
| |
| 2019-11-25 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/92575 |
| * expect.c (__gnat_expect_poll [VMS, HPUX]): Fix typo. |
| |
| 2019-11-08 Jakub Jelinek <jakub@redhat.com> |
| |
| Backported from mainline |
| 2019-10-27 Jakub Jelinek <jakub@redhat.com> |
| |
| * locales.c (iso_3166): Add missing comma after "United-States". |
| |
| 2019-10-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/91995 |
| * sem_ch8.adb (Chain_Use_Clause): Remove second argument in calls |
| to Defining_Entity. |
| * sem_elab.adb (Find_Unit_Entity): Likewise. Deal with N_Subunit |
| here in lieu of in Defining_Entity. |
| * sem_spark.adb (Check_Callable_Body): Likewise. |
| (Check_Package_Body): Likewise. |
| * sem_util.ads (Defining_Entity): Remove 2nd and 3th parameters. |
| * sem_util.adb (Defining_Entity): Remove 2nd and 3th parameters, |
| and adjust accordingly. Deal with N_Compilation_Unit. |
| |
| 2019-10-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Really test the |
| sign of the value when deciding to build a NEGATE_EXPR. |
| <PLUS_EXPR>: Remove redundant line. |
| <BIT_AND_EXPR>: Do the negation here. |
| |
| 2019-09-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep |
| on the underlying type of the node. |
| (Call_to_gnu): Likewise with the type of the prefix. |
| |
| 2019-08-12 Release Manager |
| |
| * GCC 9.2.0 released. |
| |
| 2019-08-05 Iain Sandoe <iain@sandoe.co.uk> |
| |
| Backport from mainline. |
| 2019-07-02 Iain Sandoe <iain@sandoe.co.uk> |
| |
| * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for |
| PPC Darwin. |
| |
| 2019-08-05 Iain Sandoe <iain@sandoe.co.uk> |
| |
| Backport from mainline. |
| 2019-06-30 Iain Sandoe <iain@sandoe.co.uk> |
| |
| * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches. |
| Push -shared-libgcc explicitly, when it is the target default (unless |
| overidden by the static flag). |
| When the user has put an instance of shared/static-libgcc do not push |
| a duplicate of this. |
| |
| 2019-07-04 James Clarke <jrtc27@debian.org> |
| |
| * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type |
| definition public. |
| (CLOCK_REALTIME): Make value public. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED, |
| and tweak comment on the assertion about the scopes of Itypes. Do not |
| skip the regular processing for Itypes that are E_Record_Subtype with |
| a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype |
| if the type is dummy and hasn't got its own freeze node. |
| <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any. |
| <E_Access_Subtype>: Save again the DECL of the equivalent type. |
| (Gigi_Equivalent_Type) <E_Access_Subtype>: New case. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on |
| the main variant of a type, if any. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add |
| missing guard for the presence of TYPE_CANONICAL. |
| (set_reverse_storage_order_on_array_type): Likewise. |
| |
| 2019-06-18 Arnaud Charlet <charlet@adacore.com> |
| |
| PR ada/80590 |
| * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation |
| during normal processing. |
| |
| 2019-06-17 Arnaud Charlet <charlet@adacore.com> |
| |
| PR ada/80590 |
| * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two |
| conditions to avoid a unnecessary exception propagation in the default |
| case. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0 |
| for 'Size too. |
| (Identifier_to_gnu): Use the actual subtype for a reference to a |
| packed array in a return statement. |
| (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from |
| the prefix in every case. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on |
| Backend_Overflow_Checks_On_Target and rework comments. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (walk_nesting_tree): New static function. |
| (finalize_nrv): Use it to walk the entire nesting tree. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove |
| obsolete test on Is_For_Access_Subtype. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (components_to_record): Set a name on the type |
| created for the REP part, if any. |
| * gcc-interface/utils.c (finish_record_type): Only take the maximum |
| when merging sizes for a variant part at offset 0. |
| (merge_sizes): Rename has_rep parameter into max. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary |
| created out of addressability concerns if it's for the _Init parameter |
| of an initialization procedure. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the |
| specific case of component types preferably. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks. |
| (gnat_to_gnu): Do not convert the result if it is a reference to an |
| unconstrained array used as the prefix of an attribute reference that |
| requires an lvalue. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate. |
| (Identifier_to_gnu): Use it to assert that the type of the identifier |
| and that of its entity are compatible for gigi. Rename a couple of |
| local variables and separate the processing of the result type. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when |
| putting back an intermediate conversion the type of the actuals. |
| |
| 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> |
| |
| * gcc-interface/Makefile.in (install-gcc-specs): Use foreach. |
| Honor DESTDIR. |
| |
| 2019-05-03 Release Manager |
| |
| * GCC 9.1.0 released. |
| |
| 2019-04-24 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com> |
| Bernd Edlinger <bernd.edlinger@hotmail.de> |
| Jakub Jelinek <jakub@redhat.com> |
| |
| PR target/89093 |
| * raise-gcc.c (TARGET_ATTRIBUTE): Define. |
| (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add |
| TARGET_ATTRIBUTE. |
| |
| 2019-04-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * libgnat/i-cexten.ads (CFloat_128): New type. |
| |
| 2019-03-22 Dmitriy Anisimkov <anisimko@adacore.com> |
| |
| PR ada/89583 |
| * libgnat/g-socket.adb (Bind_Socket, Connect_Socket, |
| Send_Socket): Fix the computation of structure lengths passed to |
| low level routines. |
| (Is_IPv6_Address): Fix the number of expected colons. |
| |
| 2019-03-11 Martin Liska <mliska@suse.cz> |
| |
| * gcc-interface/misc.c (gnat_post_options): Wrap option name in string |
| format message and fix GNU coding style. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak. |
| * gcc-interface/utils.c (convert): Do not pad when doing an unchecked |
| conversion here. Use TREE_CONSTANT throughout the function. |
| (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the |
| destination is a more aligned array type or a larger aggregate type, |
| but not between original and packable versions of a type. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an |
| operand with VOID_TYPE. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the |
| entities of a package renaming another one. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on |
| individual flag_unswitch_loops and flag_tree_loop_vectorize switches |
| with test on global optimize switch. |
| (Raise_Error_to_gnu): Likewise. |
| |
| 2019-02-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value. |
| |
| 2019-02-06 Arnaud Charlet <charlet@adacore.com> |
| |
| * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads |
| |
| 2019-01-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * repinfo.adb (List_Component_Layout): Remove superfluous space for |
| zero-sized field. |
| * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro. |
| * gcc-interface/gigi.h (create_extra_subtype): Declare. |
| * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise. |
| (update_n_elem): New function. |
| (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes |
| instead of doing it manually. |
| <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the |
| index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE |
| of the array to the maximum size. |
| <E_Array_Subtype>: Create an extra subtype using the index type of the |
| base array type for self-referential bounds. Use update_n_elem to |
| compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the |
| maximum size. |
| (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants. |
| * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of |
| the base type for an extra subtype. |
| (gnat_type_max_size): Remove obsolete code. |
| * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak. |
| (can_be_lower_p): Deal with pathological types. |
| * gcc-interface/utils.c (create_extra_subtype): New function. |
| (create_field_decl): Minor tweak. |
| (max_size) <tcc_reference>: Compute a better value by using the extra |
| subtypes on the self-referential bounds. |
| <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types. |
| <tcc_expression>: Likewise. |
| * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds |
| of the arrays upfront. Swap only if the second length is not constant. |
| Use comparisons on the original bounds consistently for the null tests. |
| (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro. |
| (build_allocator): Minor tweak. |
| |
| 2019-01-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (array_type_has_nonaliased_component): Return |
| the same value for every dimension of a multidimensional array type. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the |
| iteration scheme, if present, throughout the translation. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use |
| DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned |
| by a call to memset if the LHS is a DECL. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (struct loop_info_d): Remove artificial field. |
| (Loop_Statement_to_gnu): Do not set it. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting. |
| (Acc_gnat_to_gnu): Likewise. |
| (Acc_Data_to_gnu): Likewise. |
| (Acc_Var_to_gnu): Likewise. |
| (Acc_Reduc_to_gnu): Likewise. |
| (Acc_Size_List_to_gnu): Likewise. |
| (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise. |
| <Pragma_Acc_Data>): Likewise. |
| (find_loop_for): Remove default value for parameters. |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into... |
| <N_Op_Eq>): ...this. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on |
| the sign bit instead of on the sign of the value. |
| <PLUS_EXPR>: Turn addition of negative constant into subtraction. |
| <MULT_EXPR>: Add test for degenerate case. |
| <BIT_AND_EXPR>: Simplify. |
| |
| 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de> |
| |
| * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS. |
| |
| 2019-01-09 Sandra Loosemore <sandra@codesourcery.com> |
| |
| PR other/16615 |
| * exp_ch11.adb: Change "can not" to "cannot". |
| * sem_ch4.adb: Likewise. |
| |
| 2019-01-09 Sandra Loosemore <sandra@codesourcery.com> |
| |
| PR other/16615 |
| * exp_ch9.adb: Mechanically replace "can not" with "cannot". |
| * libgnat/s-regpat.ads: Likewise. |
| * par-ch4.adb: Likewise. |
| * set_targ.adb: Likewise. |
| * types.ads: Likewise. |
| |
| 2019-01-08 Justin Squirek <squirek@adacore.com> |
| |
| Revert: |
| 2018-07-31 Justin Squirek <squirek@adacore.com> |
| |
| * lib-writ.adb (Write_With_Lines): Modfiy the generation |
| of dependencies within ali files so that source unit |
| bodies are properly listed even if said bodies are |
| missing. Perform legacy behavior in GNATprove mode. |
| * lib-writ.ads: Modify documentation to reflect current |
| behavior. |
| |
| and: |
| 2018-09-26 Justin Squirek <squirek@adacore.com> |
| |
| * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add |
| documentation and an extra conditional check for RCI |
| units so that generated ali files will list the spec |
| only instead of a body when a body is not found. |
| |
| 2019-01-04 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gnatvsn.ads: Bump copyright year. |
| |
| 2019-01-01 Jakub Jelinek <jakub@redhat.com> |
| |
| Update copyright years. |
| |
| * gnat_ugn.texi: Bump @copying's copyright year. |
| * gnat_rm.texi: Likewise. |
| |
| Copyright (C) 2019 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |