Daily bump.

7 files changed, 587 insertions, 1 deletions

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index e7cc927..50af7ab 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,19 @@
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_update_version.py: First checkout and then
+	run git pull ---rebase.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_update_version.py: Support merge commits
+	and walk only on the branch that is being merged and generate
+	missing ChangeLog entries.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_commit.py: Fix Backported from timestamp when
+	use_commit_ts=True is used.
+
 2020-06-17  Martin Liska  <mliska@suse.cz>
 
 	* gcc-changelog/git_commit.py: Print 'Backported from master'
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 312234a..49ce277 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,186 @@
+2020-06-18  Felix Yang  <felix.yang@huawei.com>
+
+	* tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Call
+	vect_relevant_for_alignment_p to filter out data references in
+	the loop whose alignment is irrelevant when trying loop peeling
+	to force alignment.
+
+2020-06-18  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* config/i386/i386.md (*cmpqi_ext<mode>_1): Use SWI248 mode
+	iterator instead of SImode for ZERO_EXTRACT RTX.  Use SWI248
+	mode iterator for the first operand of ZERO_EXTRACT RTX.
+	Change ext_register_operand predicate to register_operand.
+	Rename from *cmpqi_ext_1.
+	(*cmpqi_ext<mode>_2): Ditto.  Rename from *cmpqi_ext_2.
+	(*cmpqi_ext<mode>_3): Ditto.  Rename from *cmpqi_ext_3.
+	(*cmpqi_ext<mode>_4): Ditto.  Rename from *cmpqi_ext_4.
+	(cmpi_ext_3): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+	(*extv<mode>): Use SWI24 mode iterator for the first operand
+	of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.
+	(*extzv<mode>): Use SWI248 mode iterator for the first operand
+	of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.
+	(*extzvqi): Use SWI248 mode iterator instead of SImode for
+	ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the first operand
+	of ZERO_EXTRACT RTX.  Change ext_register_operand predicate to
+	register_operand.
+	(*extzvqi_mem_rex64 and corresponding peephole2):  Use SWI248 mode
+	iterator instead of SImode for ZERO_EXTRACT RTX.  Use SWI248
+	mode iterator for the first operand of ZERO_EXTRACT RTX.
+	Change ext_register_operand predicate to register_operand.
+	(@insv<mode>_1): Use SWI248 mode iterator for the first operand
+	of ZERO_EXTRACT RTX.  Change ext_register_operand predicate to
+	register_operand.
+	(*insvqi_1): Use SWI248 mode iterator instead of SImode
+	for ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the
+	first operand of ZERO_EXTRACT RTX.  Change ext_register_operand
+	predicate to register_operand.
+	(*insvqi_2): Ditto.
+	(*insvqi_3): Ditto.
+	(*insvqi_1_mem_rex64 and corresponding peephole2):  Use SWI248 mode
+	iterator instead of SImode for ZERO_EXTRACT RTX.  Use SWI248
+	mode iterator for the first operand of ZERO_EXTRACT RTX.
+	Change ext_register_operand predicate to register_operand.
+	(addqi_ext_1): New expander.
+	(*addqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+	for ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the first
+	operand of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.  Rename from *addqi_ext_1.
+	(*addqi_ext<mode>_2): Ditto. Rename from *addqi_ext_2.
+	(divmodqi4): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+	(udivmodqi4): Ditto.
+	(testqi_ext_1): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+	(*testqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+	for ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the first
+	operand of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.  Rename from *testqi_ext_1.
+	(*testqi_ext<mode>_2): Ditto.  Rename from *testqi_ext_2.
+	(andqi_ext_1): New expander.
+	(*andqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
+	for ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the first
+	operand of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.  Rename from andqi_ext_1.
+	(*andqi_ext<mode>_1_cc): Ditto.  Rename from *andqi_ext_1_cc.
+	(*andqi_ext<mode>_2): Ditto.  Rename from *andqi_ext_2.
+	(*<code>qi_ext<mode>_1): Ditto.  Rename from *<code>qi_ext_1.
+	(*<code>qi_ext<mode>_2): Ditto.  Rename from *<code>qi_ext_2.
+	(xorqi_ext_1_cc): Use HImode instead of SImode for ZERO_EXTRACT RTX.
+	(*xorqi_ext<mode>_1_cc):  Use SWI248 mode iterator instead of SImode
+	for ZERO_EXTRACT RTX.  Use SWI248 mode iterator for the first
+	operand of ZERO_EXTRACT RTX.  Change ext_register_operand predicate
+	to register_operand.  Rename from *xorqi_ext_1_cc.
+	* config/i386/i386-expand.c (ix86_split_idivmod): Emit ZERO_EXTRACT
+	in mode, matching its first operand.
+	(promote_duplicated_reg): Update for renamed insv<mode>_1.
+	* config/i386/predicates.md (ext_register_operand): Remove predicate.
+
+2020-06-18  Martin Sebor  <msebor@redhat.com>
+
+	PR middle-end/95667
+	PR middle-end/92814
+	* builtins.c (compute_objsize): Remove call to
+	compute_builtin_object_size and instead compute conservative sizes
+	directly here.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* coretypes.h (struct iterator_range): New type.
+	* tree-vect-patterns.c (vect_determine_precisions): Use
+	range-based iterator.
+	(vect_pattern_recog): Likewise.
+	* tree-vect-slp.c (_bb_vec_info):  Likewise.
+	(_bb_vec_info::~_bb_vec_info): Likewise.
+	(vect_slp_check_for_constructors): Likewise.
+	* tree-vectorizer.h:Add new iterators
+	and functions that use it.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* config/rs6000/rs6000-call.c (fold_build_vec_cmp):
+	Since 502d63b6d6141597bb18fd23c87736a1b384cf8f, first argument
+	of a VEC_COND_EXPR cannot be tcc_comparison and so that
+	a SSA_NAME needs to be created before we use it for the first
+	argument of the VEC_COND_EXPR.
+	(fold_compare_helper): Pass gsi to fold_build_vec_cmp.
+
+2020-06-18  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/95739
+	* internal-fn.c (expand_vect_cond_optab_fn): Move the result
+	to the target if necessary.
+	(expand_vect_cond_mask_optab_fn): Likewise.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* tree-ssa-reassoc.c (ovce_extract_ops): Replace *vcond with
+	vcond as we check for NULL pointer.
+
+2020-06-18  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gimple-pretty-print.c (dump_binary_rhs): Use braces to
+	silence empty-body warning with gcc_fallthrough.
+
+2020-06-18  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/95699
+	* tree-ssa-phiopt.c (minmax_replacement): Treat (signed int)x < 0
+	as x > INT_MAX and (signed int)x >= 0 as x <= INT_MAX.  Move variable
+	declarations to the statements that set them where possible.
+
+2020-06-18  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/95713
+	* tree-ssa-forwprop.c (simplify_vector_constructor): Don't allow
+	scalar mode halfvectype other than vector boolean for
+	VEC_PACK_TRUNC_EXPR.
+
+2020-06-18  Richard Biener  <rguenther@suse.de>
+
+	* varasm.c (assemble_variable): Make sure to not
+	defer output when outputting addressed constants.
+	(output_constant_def_contents): Likewise.
+	(add_constant_to_table): Take and pass on whether to
+	defer output.
+	(output_addressed_constants): Likewise.
+	(output_constant_def): Pass on whether to defer output
+	to add_constant_to_table.
+	(tree_output_constant_def): Defer output of constants.
+
+2020-06-18  Richard Biener  <rguenther@suse.de>
+
+	* tree-vectorizer.h (_slp_tree::two_operators): Remove.
+	(_slp_tree::lane_permutation): New member.
+	(_slp_tree::code): Likewise.
+	(SLP_TREE_TWO_OPERATORS): Remove.
+	(SLP_TREE_LANE_PERMUTATION): New.
+	(SLP_TREE_CODE): Likewise.
+	(vect_stmt_dominates_stmt_p): Declare.
+	* tree-vectorizer.c (vect_stmt_dominates_stmt_p): New function.
+	* tree-vect-stmts.c (vect_model_simple_cost): Remove
+	SLP_TREE_TWO_OPERATORS handling.
+	* tree-vect-slp.c (_slp_tree::_slp_tree): Amend.
+	(_slp_tree::~_slp_tree): Likewise.
+	(vect_two_operations_perm_ok_p): Remove.
+	(vect_build_slp_tree_1): Remove verification of two-operator
+	permutation here.
+	(vect_build_slp_tree_2): When we have two different operators
+	build two computation SLP nodes and a blend.
+	(vect_print_slp_tree): Print the lane permutation if it exists.
+	(slp_copy_subtree): Copy it.
+	(vect_slp_rearrange_stmts): Re-arrange it.
+	(vect_slp_analyze_node_operations_1): Handle SLP_TREE_CODE
+	VEC_PERM_EXPR explicitely.
+	(vect_schedule_slp_instance): Likewise.  Remove old
+	SLP_TREE_TWO_OPERATORS code.
+	(vectorizable_slp_permutation): New function.
+
+2020-06-18  Martin Liska  <mliska@suse.cz>
+
+	* tree-vect-generic.c (expand_vector_condition): Check
+	for gassign before inspecting RHS.
+
 2020-06-17  Thomas Schwinge  <thomas@codesourcery.com>
 
 	* gimplify.c (omp_notice_threadprivate_variable)
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e94346f..bfd6abf 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200618
+20200619
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0ff94f9..64a2d0f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,306 @@
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Get_Size_For_Range): Only make sure to return a
+	size lower than that of the original type if possible.
+	* libgnat/s-rannum.adb (Random_Discrete): Back out optimization
+	added for 32-bit types.
+
+2020-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch6.ads, sem_ch6.adb (Check_Formal_Conformance): New
+	subprogram.
+	(Check_Conformance): Move code to Check_Formal_Conformance.
+	* sem_ch8.adb (Analyze_Subprogram_Renaming): Check for formal
+	conformance when needed.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Narrow_Large_Operation): New procedure to try
+	and narrow large arithmetic and comparison operations.
+	(Expand_N_In): Call it.
+	(Expand_N_Op_Abs): Likewise.
+	(Expand_N_Op_Add): Likewise.
+	(Expand_N_Op_Divide): Likewise.
+	(Expand_N_Op_Eq): Likewise.
+	(Expand_N_Op_Ge): Likewise.
+	(Expand_N_Op_Gt): Likewise.
+	(Expand_N_Op_Le): Likewise.
+	(Expand_N_Op_Lt): Likewise.
+	(Expand_N_Op_Minus): Likewise.
+	(Expand_N_Op_Mod): Likewise.
+	(Expand_N_Op_Multiply): Likewise.
+	(Expand_N_Op_Ne): Likewise.
+	(Expand_N_Op_Plus): Likewise.
+	(Expand_N_Op_Rem): Likewise.
+	(Expand_N_Op_Subtract): Likewise.
+	(Expand_N_Type_Conversion): Use Convert_To procedure.
+	* exp_ch9.adb (Is_Pure_Barrier) <N_Identifier>: Skip all
+	numeric types.
+	<N_Type_Conversion>: Use explicit criterion.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Allocator_Expression): Apply constraint
+	and predicate checks for the qualified expression on entry,
+	followed by constraint and predicate checks for the allocator
+	itself, and return early if this results in a static error.
+	(Expand_N_Allocator): Do not do the same here.  Instead apply
+	constraint and predicate checks for arrays in the subtype
+	indication case.
+	* exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply
+	range checks to allocators here.
+
+2020-06-18  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch6.adb (BIP_Suffix_Kind, Is_Build_In_Place_Entity): Move
+	declarations...
+	* exp_ch6.ads: Here.
+	* exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Do not rely
+	on the name of the scope to locate the extra formal BIPalloc
+	since they are copied when the pointer type associated with
+	dispatching calls is built; rely on routines
+	Is_Build_In_Place_Entity and BIP_Suffix_Kind.
+	* exp_disp.adb (Expand_Dispatching_Call): Set the scope of the
+	first extra formal of the internally built pointer type.
+	* sem_ch3.adb (Derive_Subprogram): Do not inherit extra formals
+	from a limited interface parent since limitedness is not
+	inherited in such case (AI-419) and this affects the extra
+	formals.
+	* sprint.adb (Write_Itype): Output extra formals of subprogram
+	types.
+
+2020-06-18  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* errout.adb (Write_Error_Summary): Display number of warnings
+	treated as errors.
+	* errutil.ads: Update comment.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_attr.adb (Analyze_Attribute) <Asm_{In,Out}put>: Alphabetize.
+	<Component_Size>: Add check for universal integer attribute.
+	<Aft>, <Bit_Order>, <Definite>, <Max_Alignment_For_Allocation>,
+	<Scalar_Storage_Order>: Raise Program_Error on them.
+	* sem_attr.adb (Eval_Attribute) <Component_Size>: Add comment on
+	the packed array case.
+
+2020-06-18  Steve Baird  <baird@adacore.com>
+
+	* sem_util.adb (Object_Access_Level): Treat a 'Old attribute
+	reference like an aggregate in determining its static
+	accessibility level; after the evaluation of the relevant
+	post-condition, the implicitly declared constant associated with
+	an Old attribute reference ceases to exist. Similarly for
+	Loop_Entry attribute.
+	* exp_ch6.adb (Expand_Call_Helper): For an attribute reference
+	that is expanded into a reference to an implicitly declared
+	constant (e.g., a 'Old or 'Loop_Entry attribute), compute the
+	dynamic accessibility level of that constant by looking at the
+	declaration of the constant (as opposed to looking at the
+	attribute reference).
+
+2020-06-18  Steve Baird  <baird@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Do not generate a
+	default initial condition check for the declaration of an
+	imported object.
+
+2020-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* Makefile.rtl: Add s-statxd.o.
+	* bindgen.adb (Gen_Adainit): Add support for XDR_Stream.
+	* bindusg.adb (Display): Add mention of -xdr.
+	* gnatbind.adb: Process -xdr switch.
+	* init.c (__gl_xdr_stream): New.
+	* opt.ads (XDR_Stream): New.
+	* libgnat/s-stratt__xdr.adb: Rename to...
+	* libgnat/s-statxd.adb: this and adjust.
+	* libgnat/s-statxd.ads: New.
+	* libgnat/s-stratt.ads, libgnat/s-stratt.adb: Choose between
+	default and XDR implementation at runtime.
+	* libgnat/s-ststop.ads: Update comments.
+	* doc/gnat_rm/implementation_advice.rst: Update doc on XDR
+	streaming.
+	* gnat_rm.texi: Regenerate.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_attr.adb (Analyze_Attribute) <To_Address>: Use the address
+	size of the target instead of the host when checking the value of
+	a static expression.  Also use standard idiom for exponentiation.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_prag.adb (Process_Convention): Give a warning on C_Variadic_n
+	being applied to a subprogram with exactly n parameters.
+
+2020-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnarl/s-osinte__linux.ads, libgnat/g-io.adb,
+	libgnat/g-socket.adb, libgnat/g-socthi.adb,
+	libgnat/g-socthi.ads, libgnat/g-socthi__vxworks.adb,
+	libgnat/g-socthi__vxworks.ads, libgnat/g-sothco.ads,
+	libgnat/s-io.adb, libgnat/a-except.adb: Fix function profile
+	mismatch with imported C functions.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Call_Helper): Remove superfluous calls
+	to Relocate_Node and merge calls to Analyze and Resolve in a
+	couple of places.  Do not attempt to generate a range check
+	for an actual parameter against the formal's type of a derived
+	subprogram after generating a conversion to the formal's type
+	of the parent subprogram.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* checks.adb (Compute_Range_For_Arithmetic_Op): New procedure to
+	compute a range for an arithmetical operation extracted from...
+	(Minimize_Eliminate_Overflows): ...here.  Call it.
+	(Determine_Range_Cache_O): New cache for Original_Node nodes.
+	(Determine_Range): Call Compute_Range_For_Arithmetic_Op for all
+	arithmetic expressions. Use Attribute_Id in lieu of Attribute_Name
+	for attributes. Add handling for Range_Length alongside Length.
+	Add specific handling for Alignment, Bit, First_Bit, Last_Bit,
+	Max_Size_In_Storage_Elements, Position, Bit_Position,
+	Component_Size, Object_Size, Size, Value_Size, Descriptor_Size.
+	(Enable_Overflow_Check): Omit the check for Abs and Minus if the
+	operand cannot be the largest negative number.
+	(Selected_Length_Checks): Use Pos for Number_Dimensions.
+	* exp_attr.adb (Expand_N_Attribute_Reference): Move compile-time
+	handling of Bit_Position, Descriptor_Size, First_Bit, Last_Bit
+	and Position to...
+	* sem_attr.adb (Eval_Attribute): ...here.  Move up Alignment for
+	objects and use Compile_Time_Known_Attribute in this case too.
+
+2020-06-18  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* erroutc.ads: Declare new Is_Compile_Time_Msg boolean,
+	add new Compile_Time_Pragma field to Error_Msg_Object type.
+	(Count_Compile_Time_Pragma_Warnings): New function.
+	* erroutc.adb (Count_Compile_Time_Pragma_Warnings): New
+	function.
+	(Compilation_Errors): Take Compile_Time warnings into account
+	when tallying Errors/Warnings.
+	* errout.ads (Error_Msg): New procedure.
+	* errout.adb (Error_Msg): New procedure.
+	(Error_Msg_Internal): Set new Compile_Time_Pragma field in
+	Error_Msg_Object.
+	* errutil.adb (Error_Msg): Set new Compile_Time_Pragma field in
+	Error_Msg_Object.
+	* sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass
+	True to new Error_Msg procedure.
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Update doc for
+	the Compile_Time_Warning pragma.
+	* gnat_rm.texi: Regenerate.
+	* opt.ads: Update comment.
+
+2020-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch4.adb (Check_Compatible_Profiles): Add explicit
+	initialization.
+
+2020-06-18  Piotr Trojanek  <trojanek@adacore.com>
+
+	* checks.adb (Generate_Index_Checks): Handle
+	N_Subtype_Indication returned from Scalar_Range.
+
+2020-06-18  Piotr Trojanek  <trojanek@adacore.com>
+
+	* checks.adb, sem_ch3.adb: Minor refactorings.
+	* sem_eval.adb (Eval_Qualified_Expression): Fix reference to RM
+	rule in comment; only set a local variable Hex in the branch
+	where it is used.
+
+2020-06-18  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.
+
+2020-06-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch4.adb (Find_Equality_Types.Check_Access_Object_Types):
+	New function, used to implement RM 4.5.2 (9.6/2).
+	(Find_Equality_Types.Check_Compatible_Profiles): New function,
+	used to implement RM 4.5.2(9.7/2).
+	(Find_Equality_Types.Reference_Anonymous_Access_Type): New
+	function.
+	(Find_Equality_Types.Try_One_Interp): Fix handling of anonymous
+	access types which was accepting both too much and too little.
+	Remove accumulated special and incomplete cases for
+	instantiations, replaced by Has_Compatible_Type.
+	(Analyze_Overloaded_Selected_Component): Use
+	Is_Anonymous_Access_Type instead of Ekind_In.
+	* sem_res.adb: Code cleanup and bug fix: use
+	Is_Anonymous_Access_Type instead of Ekind_In.  Relax checking of
+	anonymous access parameter when universal_access "=" is
+	involved.
+	* sem_type.adb: Likewise.
+	(Find_Unique_Type): Move code from here...
+	(Specific_Type): ...to here. Also add missing handling of access
+	to class wide types.
+	* einfo.ads, einfo.adb (Is_Access_Object_Type): New.
+
+2020-06-18  Bob Duff  <duff@adacore.com>
+
+	* libgnat/a-strsto.ads, libgnat/a-ststbo.adb,
+	libgnat/a-ststbo.ads, libgnat/a-ststun.adb,
+	libgnat/a-ststun.ads: New files, containing packages
+	Ada.Streams.Storage, Ada.Streams.Storage.Bounded, and
+	Ada.Streams.Storage.Unbounded.
+	* impunit.adb, Makefile.rtl: Add new file names.
+
+2020-06-18  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch13.adb (Has_Good_Profile): Enforce strictness in the
+	check. Required to detect wrong profiles for Input and Output.
+	(Analyze_Stream_TSS_Definition): Minor enhancement in the text
+	of the error for class-wide attributes.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_attr.adb (Get_Integer_Type): Pick an unsigned type based
+	on the Esize of the base type of the input type.
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Array_Equality): For the optimization of
+	the 2-element case, build new expression lists for the indices.
+
+2020-06-18  Richard Kenner  <kenner@adacore.com>
+
+	* sem_util.adb (Enclosing_Subprogram): No longer need
+	Convention_Protected.
+
+2020-06-18  Claire Dross  <dross@adacore.com>
+
+	* sem_util.adb (Is_OK_Volatile_Context): Return False on
+	definitions of constants declared in declare expressions.
+
+2020-06-18  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_aspects.rst
+	(Relaxed_Initialization): New implementation-defined aspect.
+	* doc/gnat_rm/implementation_defined_attributes.rst
+	(Initialized): New implementation-defined attribute.
+	* gnat_rm.texi: Regenerate.
+
+2020-06-18  Javier Miranda  <miranda@adacore.com>
+
+	* exp_disp.adb (Expand_Dispatching_Call): Add missing decoration
+	of attribute Extra_Accessibility_Of_Result.
+	* freeze.adb (Check_Extra_Formals): No check required if
+	expansion is disabled; Adding check on
+	Extra_Accessibilty_Of_Result.
+	(Freeze_Subprogram): Fix decoration of
+	Extra_Accessibility_Of_Result.
+	* sem_ch3.adb (Derive_Subprogram): Fix decoration of
+	Extra_Accessibility_Of_Result
+
+2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Optimize_Length_Comparison): Accept 32-bit values
+	in the full unsigned range.
+
 2020-06-17  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* checks.adb (Apply_Universal_Integer_Attribute_Checks): Do not do
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4d9759e..8c027b2 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,22 @@
+2020-06-18  Jason Merrill  <jason@redhat.com>
+
+	* method.c (early_check_defaulted_comparison): Check for &&.
+	(build_comparison_op): Allow empty union.  Diagnose non-category
+	type.
+	(common_comparison_type): Remove handling for non-category type.
+
+2020-06-18  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/95735
+	* pt.c (finish_template_variable): Return if
+	coerce_innermost_template_parms return error_mark_node.
+
+2020-06-18  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/95728
+	* pt.c (tsubst_copy_and_build) <case NEW_EXPR>: Return error_mark_node
+	if placement is erroneous.
+
 2020-06-17  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR c++/66159
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ddad829..6b3ba8b 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2020-06-18  Tobias Burnus  <tobias@codesourcery.com>
+
+	* openmp.c (resolve_omp_clauses): Reject vars with
+	allocatable components in OpenMP map clauses.
+
 2020-06-16  Tobias Burnus  <tobias@codesourcery.com>
 
 	* parse.c (decode_oacc_directive): Permit 'acc routine' also
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6d58dc8..dbb9c56c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,63 @@
+2020-06-18  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp2a/spaceship-ref1.C: New test.
+	* g++.dg/cpp2a/spaceship-synth-neg4.C: New test.
+	* g++.dg/cpp2a/spaceship-union1.C: New test.
+
+2020-06-18  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* gcc.target/i386/pr78904-1a.c: New test.
+	* gcc.target/i386/pr78904-1b.c: Ditto.
+	* gcc.target/i386/pr78904-2a.c: Ditto.
+	* gcc.target/i386/pr78904-2b.c: Ditto.
+	* gcc.target/i386/pr78904-3a.c: Ditto.
+	* gcc.target/i386/pr78904-3b.c: Ditto.
+	* gcc.target/i386/pr78904-4a.c: Ditto.
+	* gcc.target/i386/pr78904-4b.c: Ditto.
+	* gcc.target/i386/pr78904-5a.c: Ditto.
+	* gcc.target/i386/pr78904-5b.c: Ditto.
+	* gcc.target/i386/pr78904-6a.c: Ditto.
+	* gcc.target/i386/pr78904-6b.c: Ditto.
+	* gcc.target/i386/pr78967-1a.c: Ditto.
+	* gcc.target/i386/pr78967-1b.c: Ditto.
+	* gcc.target/i386/pr78967-2a.c: Ditto.
+	* gcc.target/i386/pr78967-2b.c: Ditto.
+
+2020-06-18  Martin Sebor  <msebor@redhat.com>
+
+	PR middle-end/95667
+	PR middle-end/92814
+	* gcc.dg/Wstringop-overflow-25.c: Remove xfails.
+	* gcc.dg/Wstringop-overflow-39.c: New test.
+
+2020-06-18  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/95735
+	* g++.dg/cpp2a/concepts-err2.C: New test.
+
+2020-06-18  Christophe Lyon  <christophe.lyon@linaro.org>
+
+	* g++.target/aarch64/pr94052.C: Give z::ad public access.
+
+2020-06-18  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/gomp/map-alloc-comp-1.f90: New test.
+
+2020-06-18  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/95728
+	* g++.dg/template/cast6.C: New test.
+
+2020-06-18  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/95699
+	* gcc.dg/tree-ssa/pr95699.c: New test.
+
+2020-06-18  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/95713
+	* gcc.dg/pr95713.c: New test.
+
 2020-06-17  Thomas Schwinge  <thomas@codesourcery.com>
 
 	* c-c++-common/gomp/default-1.c: Update.