+2019-09-17 Vadim Godunko <godunko@adacore.com>
+
+ * libgnat/g-expect.adb (Expect_Internal): Try to call 'poll' few
+ times.
+
+2019-09-17 Vadim Godunko <godunko@adacore.com>
+
+ * libgnat/g-expect.ads, libgnat/g-expect.adb (Close_Input): New
+ subprogram.
+ (Get_Command_Output): Call Close_Input to close input stream.
+ (Expect_Internal): Likewise.
+ (Close): Likewise.
+ * libgnat/g-exptty.adb (Close): Likewise.
+
+2019-09-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Is_Attribute_Old): New utility
+ routine.
+
+2019-09-17 Yannick Moy <moy@adacore.com>
+
+ * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add handling
+ for dispatching operations.
+
+2019-09-17 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): In a
+ generic context, for a Predicate aspect, use
+ Preanalyze_Spec_Expression to verify conformance.
+
+2019-09-17 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Constrain_Corresponding_Record): Propagate
+ attribute Is_Tagged_Type.
+
+2019-09-17 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch3.adb (Build_Record_Init_Proc): Do not generate code to
+ adjust the tag component when the record is initialized with a
+ raise expression.
+ * sem_aggr.adb (Valid_Limited_Ancestor): Return True for
+ N_Raise_Expression nodes.
+ (Valid_Ancestor_Type): Return True for raise expressions.
+ * sem_ch3.adb (Analyze_Component_Declaration): Do not report an
+ error when a component is initialized with a raise expression.
+ * sem_ch4.adb (Analyze_Qualified_Expression): Do not report an
+ error when the aggregate has a raise expression.
+
+2019-09-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * ali.ads: Fix casing in comment.
+ * ali-util.ads, ali-util.adb (Read_Withed_ALIs): Remove
+ Ignore_Errors parameter; it was only set to non-default value of
+ True when running in GNATprove_Mode and wrongly reset to False
+ when calling this routine recursively. Now in GNATprove mode we
+ want it to be always True, so in fact it is equivalent to
+ GNATProve_Mode flag itself (which was already used in this
+ routine).
+
+2019-09-17 Arnaud Charlet <charlet@adacore.com>
+
+ * adaint.c (_REENTRANT, _THREAD_SAFE): Only define if needed.
+
+2019-09-17 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-bitfie.ads (Val_Bits, Val_Bytes): Define from
+ Long_Long_Integer'Size.
+
+2019-09-17 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch6.ads (Needs_BIP_Task_Actuals): New subprogram.
+ * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Code
+ cleanup.
+ (Check_Number_Of_Actuals): New subprogram.
+ (Make_Build_In_Place_Call_In_Allocator): Adding assertion.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Adding
+ assertion.
+ (Make_Build_In_Place_Call_In_Assignment): Adding assertion.
+ (Make_Build_In_Place_Call_In_Object_Declaration): Code cleanup
+ plus assertion addition.
+ (Needs_BIP_Task_Actuals): New subprogram.
+ * sem_ch6.adb (Create_Extra_Formals): Rely on
+ Needs_BIP_Task_Actuals() to check if the master of the tasks to
+ be created, and the caller's activation chain formals are
+ needed.
+
+2019-09-17 Bob Duff <duff@adacore.com>
+
+ * libgnat/s-bituti.adb (Get_Val_2, Set_Val_2): Use new routines
+ for getting and setting a Val_2, avoiding touching the second
+ half when that half might not exist.
+ * exp_ch5.adb (Expand_Assign_Array_Loop_Or_Bitfield): Correct
+ tests for potential volatile or independent components. In
+ particular, do not call Prefix unless we know it's a slice.
+
+2019-09-17 Dmitriy Anisimkov <anisimko@adacore.com>
+
+ * gsocket.h: Include sys/un.h.
+ * s-oscons-tmplt.c (AF_UNIX): New constant generation.
+ (SIZEOF_sockaddr_un): Idem.
+ * libgnat/g-socket.ads (Family_Type): New value Family_Unix
+ added.
+ (Family_Inet_4_6): New subtype only for network families.
+ (Sock_Addr_Type): Add Unbounded_String field for Family_Unix
+ variant.
+ (Unix_Socket_Address): Create Sock_Addr_Type from socket
+ pathname.
+ (Network_Socket_Address): Create Sock_Addr_Type from
+ Inet_Addr_Type and Port_Type parameters.
+ * libgnat/g-socket.adb: Support local unix address in socket
+ routines.
+ (Get_Address_Info): Disable warning about Result may be
+ referenced before it has a value. Remove duplicated code to exit
+ from Look_For_Supported.
+ * libgnat/g-sothco.ads (Unix_Name_Length): New constant defining
+ maximum number of characters in local socket address path.
+ (Sockaddr): Add variant for Family_Unix address family. Move
+ Sin_Port and Sin_Family to Family_Inet section. Add Sin6_Port
+ and Sin6_Family to Family_Inet6 section.
+ (Set_Address): Add out parameter Length to return valuable
+ Sockaddr data length.
+ (Get_Address): Add input parameter Length to set valuable
+ Sockaddr data length.
+ * libgnat/g-sothco.adb: Support local unix address in socket
+ routines.
+
+2019-09-17 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Expand_Size_Attribute): Chain the special cases
+ on the back-end path and rewrite the attribute appled to slices
+ of bit-packed arrays into the product of the Length and the
+ Compoent_Size attributes of the slices.
+ * exp_ch5.adb (Expand_Assign_Array_Bitfield): Use Size attribute
+ directly to compute the bitfield's size.
+
+2019-09-17 Bob Duff <duff@adacore.com>
+
+ * exp_ch5.adb (Expand_Assign_Array_Loop_Or_Bitfield): Add tests
+ for potential volatile or independent components.
+ * libgnat/s-bituti.adb (Copy_Small_Bitfield,
+ Copy_Large_Bitfield): Move declarations to more appropriate
+ place.
+
+2019-09-13 Maciej W. Rozycki <macro@wdc.com>
+
+ * make.adb (Scan_Make_Arg): Also accept `--sysroot=' for the
+ compiler and the linker.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (maybe_saturate_size): New function.
+ (gnat_to_gnu_entity): Invoke it on the Esize of types before sending
+ it for back-annotations.
+ * gcc-interface/trans.c: Fix typo.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.h (DECL_FORCED_BY_REF_P): New macro.
+ * gcc-interface/decl.c (gnat_to_gnu_param): Set it on parameters
+ whose mechanism was forced to by-reference.
+ * gcc-interface/trans.c (Call_to_gnu): Do not issue a warning about a
+ misaligned actual parameter if it is based on a CONSTRUCTOR. Remove
+ obsolete warning for users of Starlet. Issue a warning if a temporary
+ is make around the call for a parameter with DECL_FORCED_BY_REF_P set.
+ (addressable_p): Return true for REAL_CST and ADDR_EXPR.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (gnat_to_gnu): Do not set the location on an
+ expression used for a tag.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (aggregate_type_contains_array_p): Declare.
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: For an
+ extension, test Has_Record_Rep_Clause instead of Has_Specified_Layout.
+ (adjust_packed): Return 0 if the type of the field is an aggregate
+ type that contains (or is) a self-referential array.
+ (type_has_variable_size): Delete.
+ * gcc-interface/utils.c (inish_record_type): Constify a variable.
+ (aggregate_type_contains_array_p): Add parameter SELF_REFERENTIAL.
+ <RECORD_TYPE>: Pass it in the recursive call.
+ <ARRAY_TYPE>: If it is true, return true only if the array type is
+ self-referential.
+ (create_field_decl): Streamline the setting of the alignment on the
+ field. Pass false to aggregate_type_contains_array_p.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (lvalue_required_p) <N_Slice>: Adjust GNU_TYPE
+ in the recursive call.
+ <N_Selected_Component>: Likewise.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (build_template): Deal with parameters
+ passed by pointer to component of multi-dimensional arrays.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (annotate_value) <CALL_EXPR>: Inline the call
+ also if List_Representation_Info is greater than 3.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Size>: Add assertion.
+
+2019-08-30 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (gigi_checking_assert): New macro.
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Type>:
+ Remove redundant test and adjust comments. Minor tweaks.
+ * gcc-interface/trans.c (Call_to_gnu): Do not generate range checks,
+ instead assert that the Do_Range_Check flag is not set. Adjust call
+ to convert_with_check.
+ (gnat_to_gnu): Likewise.
+ (assoc_to_constructor): Likewise.
+ (pos_to_constructor): Likewise. Remove GNAT_COMPONENT_TYPE parameter.
+ (emit_range_check): Delete.
+ (convert_with_check): Remove RANGE_P parameter and adjust. Do a single
+ overflow check for modular types.
+
+2019-08-23 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/91283
+ * gcc-interface/misc.c (gnat_post_options): Set flag_excess_precision
+ instead of flag_excess_precision_cmdline.
+
+2019-08-21 Vadim Godunko <godunko@adacore.com>
+
+ * libgnat/g-expect.adb (Expect_Internal): Attempt to read
+ several times when 'read' returns non-positive.
+
+2019-08-21 Piotr Trojanek <trojanek@adacore.com>
+
+ * einfo.adb (Is_Discriminal): Remove extra parens.
+ (Is_Constant_Object): Simplify by reusing Ekind_In.
+ (Is_Prival): Remove extra parens.
+ * checks.adb, exp_ch4.adb, sem_ch3.adb, sem_spark.adb: Minor
+ reformattings.
+
+2019-08-21 Claire Dross <dross@adacore.com>
+
+ * libgnat/a-cofove.ads (Vector): Add an Iterable aspect to allow
+ iteration.
+ (Iter_First, Iter_Next): Primitives used for iteration.
+
+2019-08-21 Yannick Moy <moy@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit RM_Size
+ field for formal type parameters in generic instantiations.
+
+2019-08-21 Yannick Moy <moy@adacore.com>
+
+ * sem_spark.adb: Update references to the SPARK RM.
+
+2019-08-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * repinfo.adb (List_Array_Info): In -gnatR4 mode, set the
+ relevant flag on the component type here instead of...
+ (List_Object_Info): Likewise for the object type.
+ (List_Entities): ...here. In -gnatR4 mode, recurse into
+ entities local to a record type.
+ (List_Component_Layout): In -gnatR4 mode, mark the type as
+ relevant.
+
+2019-08-21 Bob Duff <duff@adacore.com>
+
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-bitutil.o and
+ s-biutin.o.
+ * exp_ch5.adb (Expand_Assign_Array_Bitfield): New function to
+ generate a call to Copy_Bitfield. This is disabled for now.
+ (Expand_Assign_Array_Loop_Or_Bitfield): New function to decide
+ whether to call Expand_Assign_Array_Bitfield.
+ (Expand_Assign_Array): Call Expand_Assign_Array_Loop_Or_Bitfield
+ instead of Expand_Assign_Array_Loop.
+ * libgnat/s-bitfie.ads, libgnat/s-bituti.adb,
+ libgnat/s-bituti.ads: New units.
+ * rtsfind.ads: Add enum literals for accessing Copy_Bitfield.
+
+2019-08-21 Piotr Trojanek <trojanek@adacore.com>
+
+ * bindo-graphs.ads (Iterate_Edges_To_Successors): Fix typo in
+ pragma Inline.
+ * bindo-graphs.adb (Delete_Edge): Fix layout in parameter list.
+
+2019-08-21 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch3.adb (Build_Master): Suppress call to
+ Build_Class_Wide_Master in the case where the
+ access-to-limited-class-wide type was created for a component in
+ an entry's formal parameter
+ block (Is_Parameter_Block_Component_Type), to prevent a master
+ from being created for such access types generated by the front
+ end in a task spec for entry formals in a parameter block. Add
+ a ??? about whether this suppression should be done more
+ generally (such as by using Comes_From_Source).
+
+2019-08-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Expand_N_Extended_Return_Statement): In the case
+ of a built-in-place function that doesn't need a BIP_Alloc_Form
+ parameter but returns unconstrained, build the return
+ consistently using the function's result subtype. Remove bypass
+ added in previous change.
+
+2019-08-21 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Max_Entry_Queue_Length): Do not substitute
+ expression of the pragma argument with its value during
+ analysis.
+ * sem_util.adb (Get_Max_Queue_Length): Compute value of the
+ pragma argument when needed.
+
+2019-08-21 Yannick Moy <moy@adacore.com>
+
+ * checks.adb (Install_Null_Excluding_Check): Do not install
+ check in GNATprove mode.
+
+2019-08-21 Yannick Moy <moy@adacore.com>
+
+ * sem_spark.adb (Process_Path): Do nothing on address of
+ subprogram.
+
+2019-08-21 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_util.adb (Finalize_Address): Deal consistently with
+ subtypes of private protected types.
+
+2019-08-21 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_util.adb (Corresponding_Runtime_Package): Use high-level
+ Is_Protected_Type.
+ * sem_ch8.adb (Analyze_Renamed_Entry): Likewise.
+ * sem_ch9.adb (Analyze_Requeue): Likewise.
+
+2019-08-21 Javier Miranda <miranda@adacore.com>
+
+ * sem_util.adb (Update_Named_Associations): Update
+ First_Named_Actual when the subprogram call has a single named
+ actual.
+
+2019-08-21 Joel Brobecker <brobecker@adacore.com>
+
+ * doc/Makefile (mk_empty_dirs): New (PHONY) rule.
+ (%.html, %.pdf, %.txt, %.info, %.texinfo): Add dependencies on
+ mk_empty_dirs.
+
+2019-08-21 Justin Squirek <squirek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Modify
+ documentation to reflect expected behavior.
+ * gnat_rm.texi: Regenerate.
+ * sem_prag.adb (Analyze_Pragma): Modify handling of pragma
+ Max_Entry_Queue_Length to not reject integer values of negative
+ one.
+ * sem_util.adb (Get_Max_Queue_Length): Add processing for values
+ of negative one to fit within the current scheme.
+
+2019-08-20 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_unst.adb (Unnest_Subprograms, Unnest_Subprogram): Take
+ inlining (-gnatn) into account.
+
+2019-08-20 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
+ Storage_Size): If the expression for Storage_Size is not static
+ it may depend on characterstics of another type that may bot be
+ frozen yet, so the elaboration of the expression for the aspect
+ must be attached directly to the freeze actions of the type to
+ which it applies.
+
+2019-08-20 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_util.adb (Build_DIC_Procedure_Declaration): Set the last
+ entity of the generated Default_Initial_Condition procedure in
+ order to construct a proper entity chain.
+
+2019-08-20 Yannick Moy <moy@adacore.com>
+
+ * exp_spark.adb (Expand_SPARK_N_Slice_Or_Indexed_Component):
+ Renaming of function to apply to slices as well.
+ (Expand_SPARK): Expand prefix of slices of access type.
+
+2019-08-20 Bob Duff <duff@adacore.com>
+
+ * exp_aggr.adb (Expand_Array_Aggregate): Use build-in-place in
+ the nonlimited case in STEP 4. This improves the efficiency of
+ things like (1 .. 1000 => <>). We still generate some code for
+ that, unfortunately, but it is much improved.
+ (Aggr_Assignment_OK_For_Backend): Return false if <> components
+ are present.
+
+2019-08-20 Bob Duff <duff@adacore.com>
+
+ * exp_ch6.adb (Needs_BIP_Alloc_Form): Call
+ Requires_Transient_Scope rather than checking constrainedness
+ and so forth. We have previously improved
+ Requires_Transient_Scope to return False in various cases,
+ notably a limited record with an access discriminant. This
+ change takes advantage of that to avoid using the secondary
+ stack for functions returning such types.
+ (Make_Build_In_Place_Call_In_Allocator): Be consistent by
+ calling Needs_BIP_Alloc_Form rather than Is_Constrained and so
+ forth.
+ * sem_ch4.adb (Analyze_Allocator): The above change causes the
+ compiler to generate code that is not legal Ada, in particular
+ an uninitialized allocator for indefinite subtype. This is
+ harmless, so we suppress the error message in this case.
+
+2019-08-20 Gary Dismukes <dismukes@adacore.com>
+
+ * ali.adb, ali.ads, aspects.adb, checks.ads, checks.adb,
+ doc/gnat_rm/implementation_defined_pragmas.rst,
+ doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+ einfo.ads, exp_aggr.adb, exp_ch11.adb, exp_ch3.ads, exp_ch4.adb,
+ exp_disp.adb, inline.adb, libgnat/a-locale.ads,
+ libgnat/s-soflin.ads, par_sco.adb, repinfo.adb, sem_ch5.adb,
+ sem_disp.adb, sem_elab.adb, sem_eval.adb, sem_spark.adb,
+ sem_spark.ads, sinfo.ads: Minor reformattings, typo fixes and
+ and rewordings.
+
+2019-08-20 Dmitriy Anisimkov <anisimko@adacore.com>
+
+ * adaint.c (__gnat_to_gm_time): On _WIN32, don't round time up
+ to even second.
+
+2019-08-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): If actual type is
+ private and distinct from nominal type in declaration, propagate
+ flags Is_Constr_Subt_For_U_Nominal and _UN_Aliased to full view
+ of private type.
+
+2019-08-20 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb (Expand_Loop_Entry_Attribute): When expanding a
+ loop entry attribute for a while_loop we construct a function
+ that incorporates the expanded condition of the loop. The itypes
+ that may be generated in that expansion must carry the scope of
+ the constructed function for proper handling in gigi.
+
2019-08-20 Ed Schonberg <schonberg@adacore.com>
* exp_disp.adb (Build_Class_Wide_Check, Replace_Formals): When a