+2018-01-25 Release Manager
+
+ * GCC 7.3.0 released.
+
+2017-12-14 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_field): Do not set the alignment
+ of the enclosing record type if it is not already set.
+
+2017-12-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Subprogram_Body_to_gnu): Initialize locus.
+
+2017-12-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (process_freeze_entity): Be prepared for a
+ package without body.
+
+2017-12-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Robustify test for types
+ descendant of System.Address.
+ (gnat_to_gnu_subprog_type): Likewise.
+
+2017-12-04 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ * gcc-interface/Makefile.in (RTEMS): Use s-osprim.adb.
+ * s-osprim-rtems.adb: New file.
+ * s-osinte-rtems.adb (pthread_cond_t): Fix alignment.
+ (pthread_mutexattr_t): Likewise.
+ (pthread_rwlockattr_t): Likewise.
+ (pthread_rwlock_t): Likewise.
+ (time_t): Use 64-bit integer.
+
+2017-12-01 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ * s-osinte-rtems.ads (pthread_cond_t): Use correct size and
+ alignment.
+ (pthread_mutex_t): Likewise.
+ (pthread_rwlock_t): Likewise.
+
+2017-11-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (convert) <RECORD_TYPE>: Add comment and do
+ not fall through to the next case.
+ <ARRAY_TYPE>: Deal specially with a dereference from another array
+ type with the same element type.
+
+2017-10-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in: Remove bogus settings for VxWorks.
+
+2017-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/82393
+ * mingw32.h (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Delete.
+ * sysdep.c (__gnat_set_mode ): Use DJGPP version for Cygwin.
+
+2017-09-15 Martin Liska <mliska@suse.cz>
+
+ Backport from mainline
+ 2017-08-29 Martin Liska <mliska@suse.cz>
+
+ PR other/39851
+ * gcc-interface/trans.c (Pragma_to_gnu): Set argument to NULL.
+
+2017-09-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (promote_object_alignment): New function taken
+ from...
+ (gnat_to_gnu_entity) <E_Variable>: ...here. Invoke it.
+ (gnat_to_gnu_field): If the field is Atomic or VFA, invoke it and
+ create a padding type on success before doing the atomic check.
+
+2017-09-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Apply the
+ promotion to static memory earlier in the processing.
+
+2017-09-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.ads (Set_Rep_Info): New inline procedure.
+ * sem_util.adb (Set_Rep_Info): Implement it.
+ * sem_ch3.adb (Process_Subtype): If the case of a constraint present,
+ always copy the representation aspects onto the subtype.
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Only set the TYPE_ALIGN_OK
+ and TYPE_BY_REFERENCE_P flags on types after various promotions.
+ * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
+ Consider all kinds of entities.
+
+2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/62235
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Skip regular processing
+ for Itypes that are E_Record_Subtype with a cloned subtype.
+ <E_Record_Subtype>: Use the DECL of the cloned type directly, if any.
+
+2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (unchecked_convert): When the result type is a
+ non-biased integral type with size 0, set the result to 0 directly.
+
+2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Call_to_gnu): If this is a function call and
+ there is no target, do not create a temporary for the return value for
+ an allocator either.
+
+2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (pos_to_constructor): Skip conversions to an
+ unconstrained array type.
+
+2017-08-14 Release Manager
+
+ * GCC 7.2.0 released.
+
+2017-07-15 John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>
+
+ PR ada/81446
+ * system-linux-m68k.ads: Add pragma No_Elaboration_Code_All.
+ (Backend_Overflow_Checks): Set to True.
+
+2017-06-15 Nicolas Boulenguez <nicolas.boulenguez@free.fr>
+
+ PR ada/81105
+ * gcc-interface/Makefile.in (x86 kfreebsd): Adjust system.ads setting.
+ (i[3456]86-pc-gnu): Likewise.
+ (x86_64 kfreebsd): Likewise.
+
+2017-06-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/81070
+ * s-interr-hwint.adb: Reinstate.
+ * gcc-interface/Makefile.in (RTEMS): Use it again.
+
+2017-06-12 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ Backport from mainline
+ 2017-06-07 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ * Makefile.in (rtems): Use TLS implementation for s-tpopsp.adb.
+ * s-tpopsp-rtems.adb: Delete.
+
+2017-05-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Skip regular processing
+ for Itypes that are E_Access_Subtype.
+ <E_Access_Subtype>: Use the DECL of the base type directly.
+
+2017-05-17 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/80784
+ Backport from mainline
+
+ 2017-05-02 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Freeze_Type): Do not generate an invariant
+ procedure body for a local (sub)type declaration within a
+ predicate function. Invariant checks do not apply to these, and
+ the expansion of the procedure will happen in the wrong scope,
+ leading to misplaced freeze nodes.
+
+2017-05-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * system-linux-arm.ads (Memory_Size): Use Long_Integer'Size
+ instead of Word_Size.
+
+ Revert
+ 2017-03-28 Andreas Schwab <schwab@suse.de>
+
+ PR ada/80117
+ * system-linux-aarch64-ilp32.ads: New file.
+ * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS_COMMON): Rename
+ from LIBGNAT_TARGET_PAIRS.
+ (LIBGNAT_TARGET_PAIRS_32, LIBGNAT_TARGET_PAIRS_64): Define.
+ (LIBGNAT_TARGET_PAIRS): Use LIBGNAT_TARGET_PAIRS_COMMON, and
+ LIBGNAT_TARGET_PAIRS_64 or LIBGNAT_TARGET_PAIRS_32 for -mabi=lp64
+ or -mabi=ilp32, resp.
+
+2017-05-10 H.J. Lu <hongjiu.lu@intel.com>
+
+ Back port from mainline
+ 2017-05-10 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR ada/80626
+ * system-linux-x86.ads (Memory_Size): Use Long_Integer'Size
+ instead of Word_Size.
+
+2017-05-02 Release Manager
+
+ * GCC 7.1.0 released.
+
+2017-04-04 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
+
+ * system-linux-s390.ads: Use Long_Integer'Size to define
+ Memory_Size.
+
+2017-04-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Build_Derived_Record_Type): Fix long line.
+
+2017-04-03 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Fix typo.
+ * g-socket.adb (To_Host_Entry): Fix typo in comment.
+ * gnat_ugn.texi: Fix typo.
+ * raise.c (_gnat_builtin_longjmp): Fix capitalization in comment.
+ * s-stposu.adb (Allocate_Any_Controlled): Fix typo in comment.
+ * sem_ch3.adb (Build_Derived_Record_Type): Likewise.
+ * sem_util.adb (Mark_Coextensions): Likewise.
+ * sem_util.ads (Available_Full_View_Of_Component): Likewise.
+
+2017-03-28 Andreas Schwab <schwab@suse.de>
+
+ PR ada/80117
+ * system-linux-aarch64-ilp32.ads: New file.
+ * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS_COMMON): Rename
+ from LIBGNAT_TARGET_PAIRS.
+ (LIBGNAT_TARGET_PAIRS_32, LIBGNAT_TARGET_PAIRS_64): Define.
+ (LIBGNAT_TARGET_PAIRS): Use LIBGNAT_TARGET_PAIRS_COMMON, and
+ LIBGNAT_TARGET_PAIRS_64 or LIBGNAT_TARGET_PAIRS_32 for -mabi=lp64
+ or -mabi=ilp32, resp.
+
+2017-03-14 James Cowgill <James.Cowgill@imgtec.com>
+
+ * s-osinte-linux.ads (struct_sigaction): Use correct type for sa_flags.
+
+2017-03-08 Thanassis Tsiodras <ttsiodras@gmail.com>
+
+ PR ada/79903
+ * socket.c (__gnat_gethostbyaddr): Add missing test for __rtems__.
+
+2017-03-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/79945
+ * system-linux-ppc.ads (Default_Bit_Order): Use Standard's setting.
+
+ * system-linux-arm.ads (Default_Bit_Order): Likewise.
+ * system-linux-mips.ads (Default_Bit_Order): Likewise.
+ * system-linux-armeb.ads: Delete.
+ * system-linux-mipsel.ads: Likewise.
+ * gcc-interface/Makefile.in (MIPS/Linux): Adjust.
+ (ARM/Linux): Likewise.
+
+2017-02-24 Jakub Jelinek <jakub@redhat.com>
+
+ PR c/79677
+ * gcc-interface/misc.c (gnat_handle_option): Pass true to
+ handle_generated_option GENERATED_P.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_field): Do not remove the wrapper
+ around a justified modular type if it doesn't have the same scalar
+ storage order as the enclosing record type.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (gnat_to_gnu): Do not apply special handling
+ of boolean rvalues to function calls.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (fold_bit_position): New function.
+ (rest_of_record_type_compilation): Call it instead of bit_position to
+ compute the field position and remove the call to remove_conversions.
+ (compute_related_constant): Factor out the multiplication in both
+ operands, if any, and streamline the final test.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (return_value_ok_for_nrv_p): Add sanity check.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c: Include demangle.h.
+ (is_cplusplus_method): Return again true for a primitive operation
+ only if it is dispatching. For a subprogram with an interface name,
+ call the demangler to get the number of C++ parameters and compare it
+ with the number of Ada parameters.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu): If
+ there is no end label, put the location of the At_End procedure on
+ the call to the procedure.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/misc.c (gnat_type_max_size): Try to return a meaningful
+ value for array types with TYPE_INDEX_TYPE set on their domain type.
+ * gcc-interface/utils.c (max_size): For operations and expressions, do
+ not build a new node if the operands have not changed or are missing.
+
+2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (max_size) <tcc_expression>: Flip the second
+ argument when recursing on TRUTH_NOT_EXPR.
+
+2017-02-12 John Marino <gnugcc@marino.st>
+
+ * system-freebsd-x86.ads: Rename into...
+ * system-freebsd.ads: ...this.
+ (Default_Bit_Order): Define using Standard'Default_Bit_Order.
+ * gcc-interface/Makefile.in: Support aarch64-freebsd.
+ (x86-64/FreeBSD): Adjust to above renaming.
+ (i386/FreeBSD): Likewise.
+
+2017-02-09 Gerald Pfeifer <gerald@pfeifer.com>
+
+ * comperr.adb: Update FSF bug reporting URL.
+
+2017-02-01 Eric Botcazou <ebotcazou@adacore.com>
+ Jakub Jelinek <jakub@redhat.com>
+
+ PR ada/79309
+ * adaint.c (__gnat_killprocesstree): Fix broken string handling.
+
+2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
+
+ PR lto/79061
+ * gcc-interface/utils.c (get_global_context): Pass main_input_filename
+ to build_translation_unit_decl.
+
+2017-01-23 Javier Miranda <miranda@adacore.com>
+
+ * sem_util.adb (New_Copy_Tree): Code cleanup:
+ removal of the internal map (ie. variable Actual_Map, its
+ associated local variables, and all the code handling it).
+ * sem_ch9.adb (Analyze_Task_Type_Declaration): in GNATprove mode
+ force loading of the System package when processing a task type.
+ (Analyze_Protected_Type_Declaration): in GNATprove mode force
+ loading of the System package when processing a protected type.
+ * sem_ch10.adb (Analyze_Compilation_Unit): in GNATprove mode
+ force loading of the System package when processing compilation
+ unit with a main-like subprogram.
+ * frontend.adb (Frontend): remove forced loading of the System
+ package.
+
+2017-01-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_prag.adb (Default_Initial_Condition): If the desired type
+ declaration is a derived type declaration with discriminants,
+ it is rewritten as a private type declaration.
+ * sem_ch13.adb (Replace_Type_References_Generic,
+ Visible_Component): A discriminated private type with descriminnts
+ has components that must be rewritten as selected components
+ if they appear as identifiers in an aspect expression such as
+ a Default_Initial_Condition.
+ * sem_util.adb (Defining_Entity): support N_Iterator_Specification
+ nodes.
+
+2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
+ * gnat1drv.adb Generate an empty object file for an ignored
+ Ghost compilation unit.
+ * inline.adb, sem_util.adb, sem_ch4.adb: Minor reformatting.
+
+2017-01-23 Yannick Moy <moy@adacore.com>
+
+ * sem_ch4.adb (Analyze_Indexed_Component_Form):
+ Adapt to inlined prefix with string literal subtype.
+ * inline.adb (Expand_Inlined_Call): Keep unchecked
+ conversion inside inlined call when formal type is constrained.
+
+2017-01-23 Javier Miranda <miranda@adacore.com>
+
+ * sem_util.adb (New_Copy_Tree): Code cleanup:
+ removal of global variables. All the global variables, global
+ functions and tables of this subprogram are now declared locally.
+
+2017-01-23 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_strm.ads: Minor reformatting and typo fixes.
+
+2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_aggr.adb, par_sco.adb, exp_util.adb, sem.adb, sem_ch4.adb,
+ exp_aggr.adb: Minor reformatting.
+ * g-diopit.adb: minor grammar/punctuation fix in comment.
+ * g-byorma.ads: minor fix of unbalanced parens in comment.
+
+2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * par.adb: Update the documentation of component Labl.
+ * par-ch6.adb (P_Return_Statement): Set the expected label of
+ an extended return statement to Error.
+
+2017-01-23 Tristan Gingold <gingold@adacore.com>
+
+ * s-boustr.ads, s-boustr.adb (Is_Full): New function.
+
+2017-01-23 Ed Schonberg <schonberg@adacore.com>
+
+ * expander.adb: Handle N_Delta_Aggregate.
+
+2017-01-23 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Improve the code that
+ checks if some formal of the called subprogram is a class-wide
+ interface, to handle subtypes of class-wide interfaces.
+
+2017-01-23 Javier Miranda <miranda@adacore.com>
+
+ * checks.adb (Apply_Parameter_Aliasing_Checks):
+ Remove side effects of the actuals before generating the overlap
+ check.
+
+2017-01-23 Justin Squirek <squirek@adacore.com>
+
+ * exp_strm.ads, exp_strm.ads
+ (Build_Record_Or_Elementary_Input_Function): Add an extra parameter so
+ as to avoid getting the underlying type by default.
+ * exp_attr.adb (Expand_N_Attribute_Reference): Remove use of
+ underlying type in the Iiput and output attribute cases when
+ building their respective functions.
+
+2017-01-23 Gary Dismukes <dismukes@adacore.com>
+
+ * scng.adb: Minor reformatting of error message.
+
+2017-01-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): Do not attempt
+ to freeze the return type of an expression funxtion that is a
+ completion, if the type is a limited view and the non-limited
+ view is available.
+
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* par-ch4.adb (P_Aggregate_Or_Parent_Expr): Recognize delta
projects / thirdparty / gcc.git / blobdiff