Daily bump.

6 files changed, 564 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b086073..2381eb6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,120 @@
+2020-06-11  Martin Liska  <mliska@suse.cz>
+
+	* config/rs6000/rs6000.c (rs6000_density_test): Fix GNU coding
+	style.
+
+2020-06-11  Martin Liska  <mliska@suse.cz>
+
+	PR target/95627
+	* config/rs6000/rs6000.c (rs6000_density_test): Skip debug
+	statements.
+
+2020-06-11  Martin Liska  <mliska@suse.cz>
+	    Jakub Jelinek  <jakub@redhat.com>
+
+	PR sanitizer/95634
+	* asan.c (asan_emit_stack_protection): Fix emission for ilp32
+	by using Pmode instead of ptr_mode.
+
+2020-06-11  Kewen Lin  <linkw@gcc.gnu.org>
+
+	* tree-vect-loop-manip.c (vect_set_loop_mask): Renamed to ...
+	(vect_set_loop_control): ... this.
+	(vect_maybe_permute_loop_masks): Rename rgroup_masks related things.
+	(vect_set_loop_masks_directly): Renamed to ...
+	(vect_set_loop_controls_directly): ... this.  Also rename some
+	variables with ctrl instead of mask.  Rename vect_set_loop_mask to
+	vect_set_loop_control.
+	(vect_set_loop_condition_masked): Rename rgroup_masks related things.
+	Also rename some variables with ctrl instead of mask.
+	* tree-vect-loop.c (release_vec_loop_masks): Renamed to ...
+	(release_vec_loop_controls): ... this.  Rename rgroup_masks related
+	things.
+	(_loop_vec_info::~_loop_vec_info): Rename release_vec_loop_masks to
+	release_vec_loop_controls.
+	(can_produce_all_loop_masks_p): Rename rgroup_masks related things.
+	(vect_get_max_nscalars_per_iter): Likewise.
+	(vect_estimate_min_profitable_iters): Likewise.
+	(vect_record_loop_mask): Likewise.
+	(vect_get_loop_mask): Likewise.
+	* tree-vectorizer.h (struct rgroup_masks): Renamed to ...
+	(struct rgroup_controls): ... this.  Also rename mask_type
+	to type and rename masks to controls.
+
+2020-06-11  Kewen Lin  <linkw@gcc.gnu.org>
+
+	* tree-vect-loop-manip.c (vect_set_loop_condition): Rename
+	LOOP_VINFO_FULLY_MASKED_P to LOOP_VINFO_USING_PARTIAL_VECTORS_P.
+	(vect_gen_vector_loop_niters): Likewise.
+	(vect_do_peeling): Likewise.
+	* tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename
+	fully_masked_p to using_partial_vectors_p.
+	(vect_analyze_loop_costing): Rename LOOP_VINFO_FULLY_MASKED_P to
+	LOOP_VINFO_USING_PARTIAL_VECTORS_P.
+	(determine_peel_for_niter): Likewise.
+	(vect_estimate_min_profitable_iters): Likewise.
+	(vect_transform_loop): Likewise.
+	* tree-vectorizer.h (LOOP_VINFO_FULLY_MASKED_P): Updated.
+	(LOOP_VINFO_USING_PARTIAL_VECTORS_P): New macro.
+
+2020-06-11  Kewen Lin  <linkw@gcc.gnu.org>
+
+	* tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename
+	can_fully_mask_p to can_use_partial_vectors_p.
+	(vect_analyze_loop_2): Rename LOOP_VINFO_CAN_FULLY_MASK_P to
+	LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P.  Rename saved_can_fully_mask_p
+	to saved_can_use_partial_vectors_p.
+	(vectorizable_reduction): Rename LOOP_VINFO_CAN_FULLY_MASK_P to
+	LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P.
+	(vectorizable_live_operation): Likewise.
+	* tree-vect-stmts.c (permute_vec_elements): Likewise.
+	(check_load_store_masking): Likewise.
+	(vectorizable_operation): Likewise.
+	(vectorizable_store): Likewise.
+	(vectorizable_load): Likewise.
+	(vectorizable_condition): Likewise.
+	* tree-vectorizer.h (LOOP_VINFO_CAN_FULLY_MASK_P): Renamed to ...
+	(LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P): ... this.
+	(_loop_vec_info): Rename can_fully_mask_p to can_use_partial_vectors_p.
+
+2020-06-11  Martin Liska  <mliska@suse.cz>
+
+	* optc-save-gen.awk: Quote error string.
+
+2020-06-11  Alexandre Oliva  <oliva@adacore.com>
+
+	* print-rtl.c (print_mem_expr): Enable TDF_SLIM in dump_flags.
+
+2020-06-11  Kito Cheng  <kito.cheng@sifive.com>
+
+	* config/riscv/riscv-protos.h (riscv_output_gpr_save): Remove.
+	* config/riscv/riscv-sr.c (riscv_sr_match_prologue): Update
+	value.
+	* config/riscv/riscv.c (riscv_output_gpr_save): Remove.
+	* config/riscv/riscv.md (gpr_save): Update output asm pattern.
+
+2020-06-11  Kito Cheng  <kito.cheng@sifive.com>
+
+	* config/riscv/predicates.md (gpr_save_operation): New.
+	* config/riscv/riscv-protos.h (riscv_gen_gpr_save_insn): New.
+	(riscv_gpr_save_operation_p): Ditto.
+	* config/riscv/riscv-sr.c (riscv_remove_unneeded_save_restore_calls):
+	Ignore USEs for gpr_save patter.
+	* config/riscv/riscv.c (gpr_save_reg_order): New.
+	(riscv_expand_prologue): Use riscv_gen_gpr_save_insn to gen gpr_save.
+	(riscv_gen_gpr_save_insn): New.
+	(riscv_gpr_save_operation_p): Ditto.
+	* config/riscv/riscv.md (S3_REGNUM): New.
+	(S4_REGNUM): Ditto.
+	(S5_REGNUM): Ditto.
+	(S6_REGNUM): Ditto.
+	(S7_REGNUM): Ditto.
+	(S8_REGNUM): Ditto.
+	(S9_REGNUM): Ditto.
+	(S10_REGNUM): Ditto.
+	(S11_REGNUM): Ditto.
+	(gpr_save): Model USEs correctly.
+
 2020-06-10  Martin Sebor  <msebor@redhat.com>
 
 	PR middle-end/95353
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1094e86..9827826 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200611
+20200612
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b4258dc..a02459b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,327 @@
+2020-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Resolve_Implicit_Dereference): In an instance,
+	reset the type of the prefix if it is private before building
+	the dereference.
+
+2020-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Safe_Unchecked_Type_Conversion): Add missing
+	Is_Type guard before calling Has_Discriminants on Etype.
+
+2020-06-11  Bob Duff  <duff@adacore.com>
+
+	* libgnat/a-nbnbin__gmp.adb: There's no Optional_Big_Integer
+	anymore.  Invalid_Big_Integer is not used.
+	Greatest_Common_Divisor returns Big_Positive.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Get_Value): Refine type of the Compon parameter.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Resolve_Record_Aggregate): Refine type of
+	Others_Box.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* checks.adb, exp_ch7.adb, exp_ch9.adb, exp_smem.adb, lib.adb,
+	nlists.adb, sem.adb, sem_aggr.adb, sem_ch3.adb, sem_ch6.adb,
+	sem_ch8.adb, sem_dim.adb, sem_res.adb, sem_util.adb,
+	sem_warn.adb: Replace uses of Next function with procedure.
+
+2020-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_pakd.ads: Add paragraph about scalar storage order.
+	* exp_pakd.adb (Install_PAT): Do not set the scalar storage
+	order of the PAT here but...
+	(Set_PB_Type): ...here instead and...
+	(Create_Packed_Array_Impl_Type): ...here as well.
+	* rtsfind.ads (RE_Id): Add RE_Rev_Packed_Bytes{1,2,4}.
+	(RE_Unit_Table): Likewise.
+	* libgnat/s-unstyp.ads (Rev_Packed_Bytes1): New derived type.
+	(Rev_Packed_Bytes2): Likewise.
+	(Rev_Packed_Bytes4): Likewise.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch4.adb, sem_ch6.adb, sem_res.adb, sem_util.ads: Fix
+	references to SPARK RM 7.1.3 rule numbers.
+
+2020-06-11  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_warn.adb (Warn_On_Overlapping_Actuals): Simplify code,
+	remove inner predicate Is_Covered_Formal, preserve warning for
+	two overlapping composite types when only one is writable, and
+	for two overlapping and writable elementary types.
+
+2020-06-11  Steve Baird  <baird@adacore.com>
+
+	* contracts.adb (Add_Contract_Item): Support specifying
+	volatility refinement aspects for types.
+	(Analyze_Contracts): Add call to Analyze_Type_Contract in the
+	case of a contract for a type.
+	(Freeze_Contracts): Add call to Analyze_Type_Contract in the
+	case of a contract for a type.
+	(Check_Type_Or_Object_External_Properties): A new procedure
+	which performs the work that needs to be done for both object
+	declarations and types.
+	(Analyze_Object_Contract): Add a call to
+	Check_Type_Or_Object_External_Properties and remove the code in
+	this procedure which did much of the work that is now performed
+	by that call.
+	(Analyze_Type_Contract): Implement this new routine as nothing
+	more than a call to Check_Type_Or_Object_External_Properties.
+	* contracts.ads: Update comment for Add_Contract_To_Item because
+	types can have contracts.  Follow (questionable) precedent and
+	declare new routine Analyze_Type_Contract as visible (following
+	example of Analyze_Object_Contract), despite the fact that it is
+	never called from outside of the package where it is declared.
+	* einfo.adb (Contract, Set_Contract): Id argument can be a type;
+	support this case.
+	(Write_Field34_Name): Field name is "contract" for a type.
+	* einfo.ads: Update comment describing Contract attribute.
+	* sem_ch3.adb (Build_Derived_Numeric_Type): Is_Volatile should
+	return same answer for all subtypes of a given type. Thus, when
+	building the base type for something like type Volatile_1_To_10
+	is range 1 .. 10 with Volatile; that basetype should be marked
+	as being volatile.
+	(Access_Type_Declaration): Add SPARK-specific legality check
+	that the designated type of an access type shall be compatible
+	with respect to volatility with the access type.
+	* sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Add
+	SPARK-specific legality check that an actual type parameter in
+	an instantiation shall be compatible with respect to volatility
+	with the corresponding formal type.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Perform checks
+	for aspect specs for the 4 volatility refinement aspects that
+	were already being performed for all language-defined aspects.
+	* sem_prag.adb (Analyze_External_Property_In_Decl_Part,
+	Analyze_Pragma): External properties (other than No_Caching) may
+	be specified for a type, including a generic formal type.
+	* sem_util.ads: Declare new subprograms - Async_Readers_Enabled,
+	Async_Writers_Enabled, Effective_Reads, Effective_Writes, and
+	Check_Volatility_Compatibility.
+	* sem_util.adb (Async_Readers_Enabled, Async_Writers_Enabled,
+	Effective_Reads, Effective_Writes): Initial implementation of
+	new functions for querying aspect values.
+	(Check_Volatility_Compatibility): New procedure intended for use
+	in checking all SPARK legality rules of the form "<> shall be
+	compatible with respect to volatility with <>".
+	(Has_Enabled_Property): Update comment because Item_Id can be a
+	type.  Change name of nested Variable_Has_Enabled_Property
+	function to Type_Or_Variable_Has_Enabled_Property; add a
+	parameter to that function because recursion may be needed,
+	e.g., in the case of a derived typ).  Cope with the case where
+	the argument to Has_Enabled_Property is a type.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Add_Association): Add assertion about the formal
+	parameters.
+	(Propagate_Discriminants): Always add an explicit component
+	association, so that an "others => <>" association is never
+	needed.
+
+2020-06-11  Bob Duff  <duff@adacore.com>
+
+	* exp_put_image.adb (Build_Elementary_Put_Image_Call): If the
+	underlying type is real, call Put_Image_Unknown.
+	(Build_Unknown_Put_Image_Call): Pass the type name to
+	Put_Image_Unknown.
+	* libgnat/s-putima.ads, libgnat/s-putima.adb
+	(Put_Image_Unknown): Add Type_Name parameter.  Remove
+	overly-detailed documentation of what it does; better to leave
+	it open.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Build_Constrained_Array_Type,
+	Build_Constrained_Discriminated_Type): Skip unnecessary loop
+	iterations.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Build_Constrained_Itype): Move to Sem_Util.
+	* sem_ch3.adb (Build_Subtype, Inherit_Predicate_Flags): Move...
+	* sem_util.adb (Build_Subtype): Here.  Add parameters for
+	references to objects previously declared in enclosing scopes.
+	(Inherit_Predicate_Flags): And here, because it is called by
+	Build_Subtype.
+	* sem_util.ads (Build_Overriding_Spec): Reorder alphabetically.
+	(Build_Subtype): Moved from Sem_Ch3; comments updated.
+	(Build_Constrained_Itype): Moved from Sem_Aggr; comments
+	updated.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Case_Table_Type): Change index type from Nat to
+	Pos.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Build_Constrained_Itype): Previously a declare
+	block, now a separate procedure; the only change is that now
+	New_Assoc_List might include components and an others clause,
+	which we ignore (while we deal with discriminants exactly as we
+	did before); extend a ??? comment about how this routine is
+	different from the Build_Subtype
+	(Resolve_Record_Aggregate): Create a constrained itype not just
+	for the outermost record aggregate, but for its inner record
+	aggregates as well.
+
+2020-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* checks.adb (Build_Discriminant_Checks): Build an explicit
+	dereference when the type is an access type.
+	* exp_atag.adb (Build_CW_Membership): Add explicit dereferences.
+	(Build_Get_Access_Level): Likewise.
+	(Build_Get_Alignment): Likewise.
+	(Build_Inherit_Prims): Likewise.
+	(Build_Get_Transportable): Likewise.
+	(Build_Set_Size_Function): Likewise.
+	* exp_ch3.adb (Build_Offset_To_Top_Function): Likewise.
+	* exp_ch4.adb (Expand_Allocator_Expression): Likewise.
+	(Expand_N_Indexed_Component ): Remove code dealing with implicit
+	dereferences.
+	(Expand_N_Selected_Component): Likewise.
+	(Expand_N_Slice): Likewise.
+	* exp_ch9.adb (Add_Formal_Renamings): Add explicit dereference.
+	(Expand_Accept_Declarations): Likewise.
+	(Build_Simple_Entry_Call): Remove code dealing with implicit
+	dereferences.
+	(Expand_N_Requeue_Statement): Likewise.
+	* exp_disp.adb (Expand_Dispatching_Call): Build an explicit
+	dereference when the controlling type is an access type.
+	* exp_spark.adb (Expand_SPARK_N_Selected_Component): Delete.
+	(Expand_SPARK_N_Slice_Or_Indexed_Component): Likewise.
+	(Expand_SPARK): Do not call them.
+	* sem_ch4.adb (Process_Implicit_Dereference_Prefix): Delete.
+	(Process_Indexed_Component): Call Implicitly_Designated_Type
+	to get the designated type for an implicit dereference.
+	(Analyze_Overloaded_Selected_Component): Do not insert an
+	explicit dereference here.
+	(Analyze_Selected_Component): Likewise.
+	(Analyze_Slice): Call Implicitly_Designated_Type to get the
+	designated type for an implicit dereference.
+	* sem_ch8.adb (Has_Components): New predicate extracted from...
+	(Is_Appropriate_For_Record): ...this.  Delete.
+	(Is_Appropriate_For_Entry_Prefix): Likewise.
+	(Analyze_Renamed_Entry): Deal with implicit dereferences.
+	(Find_Selected_Component): Do not insert an explicit dereference
+	here.  Call Implicitly_Designated_Type to get the designated type
+	for an implicit dereference.  Call Has_Components, Is_Task_Type
+	and Is_Protected_Type directly.  Adjust test for error.
+	* sem_res.adb (Resolve_Implicit_Dereference): New procedure.
+	(Resolve_Call): Call Resolve_Indexed_Component last.
+	(Resolve_Entry): Call Resolve_Implicit_Dereference on the prefix.
+	(Resolve_Indexed_Component): Call Implicitly_Designated_Type to
+	get the designated type for an implicit dereference and
+	Resolve_Implicit_Dereference on the prefix at the end.
+	(Resolve_Selected_Component): Likewise.
+	(Resolve_Slice): Likewise.  Do not apply access checks here.
+	* sem_util.ads (Implicitly_Designated_Type): Declare.
+	* sem_util.adb (Copy_And_Maybe_Dereference): Simplify.
+	(Implicitly_Designated_Type): New function.
+	(Object_Access_Level): Fix typo.
+	* sem_warn.adb (Check_Unset_Reference): Test Comes_From_Source
+	on the original node.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_disp.adb: Minor reformatting.
+	* exp_aggr.adb (Is_Static_Dispatch_Table_Aggregate): Recognize
+	aggregates of the Ada.Tags.Object_Specific_Data type as static.
+	* sem_aggr.adb (Check_Static_Discriminated_Subtype): Deconstruct
+	and do not call it from Build_Constrained_Itype.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_disp.adb (Make_Secondary_DT): Internally generated OSD
+	tables are now constant.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_aggr.adb (Backend_Processing_Possible): Remove useless
+	call.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* opt.ads (Building_Static_Dispatch_Tables): Fix punctuation in
+	comment.
+
+2020-06-11  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/s-stposu.ads (Root_Storage_Pool_With_Subpools,
+	Root_Subpool): Mark with Preelaborable_Initialization.
+
+2020-06-11  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch9.adb (Expand_N_Conditional_Entry_Call): Replace call to
+	New_Copy_List by calls to the new routine
+	New_Copy_Separate_List.
+	* sem_util.ads (New_Copy_Separate_List, New_Copy_Separate_Tree):
+	New routines.
+	* sem_util.adb (New_Copy_Separate_List, New_Copy_Separate_Tree):
+	New routines.
+	(New_Copy_Tree): Extend the machinery that detects syntactic
+	nodes to handle lists of indentifiers with field More_Ids;
+	otherwise such nodes are erroneously handled as semantic nodes.
+	Copy aspect specifications attached to nodes.
+	* sem_ch12.adb (Copy_Generic_Node): Protect reading attribute
+	Etype.
+
+2020-06-11  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Do not set the
+	Has_Predicates flag when the Predicate_Failure aspect is seen.
+	It is legal (but pointless) to use this aspect without a
+	predicate.  If we set the flag, we generate a half-baked
+	Predicate procedure, and if that procedure is nested, it causes
+	unnesting to crash.
+
+2020-06-11  Bob Duff  <duff@adacore.com>
+
+	* exp_put_image.adb (Build_Record_Put_Image_Procedure): Remove
+	special processing of protected types, because those are handled
+	by Build_Protected_Put_Image_Call.
+	(Enable_Put_Image): Use the switch -gnatd_z to control enabling
+	of Put_Image. Disable Put_Image for types in Remote_Types
+	packages.
+	* debug.adb: Document -gnatd_z switch.
+	* exp_imgv.adb, libgnat/a-stteou.ads, opt.ads: Minor cleanups.
+
+2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_warn.adb (Warn_On_Overlapping_Actuals): Add label to the
+	outer loop and use it in the exit statement.
+
+2020-06-11  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* exp_ch3.adb (Build_Assignment): Generate predicate check if
+	subtype mark has predicate.
+
+2020-06-11  Justin Squirek  <squirek@adacore.com>
+
+	* sem_util.adb (Expand_N_Attribute_Reference): Use original
+	nodes where required to avoid looking at the expanded tree.
+
+2020-06-11  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/a-catizo.ads, libgnat/a-nbnbin.ads,
+	libgnat/a-nbnbre.ads, libgnat/a-nubinu.ads,
+	libgnat/s-aoinar.ads, libgnat/s-aomoar.ads,
+	libgnat/s-aotase.ads, libgnat/s-stopoo.ads: Remove aspects that
+	we will not implement.
+
+2020-06-11  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/s-aoinar.adb (Atomic_Fetch_And_Add,
+	Atomic_Fetch_And_Subtract): Add fallback using
+	compare-and-exchange, in case the integer type does not map to a
+	machine type.
+
 2020-06-10  Arnaud Charlet  <charlet@adacore.com>
 
 	* libgnat/s-aomoar.ads, libgnat/s-aomoar.adb: New files.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c644836..876c364 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,20 @@
+2020-06-11  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/93467
+	* constraint.cc (associate_classtype_constraints): If there is a
+	discrepancy between the current template depth and the template
+	depth of the original declaration, then adjust the template
+	parameter depth within the current constraints appropriately.
+	* pt.c (tsubst_friend_class): Substitute into and set the
+	constraints on the injected declaration.
+
+2020-06-11  Iain Sandoe  <iain@sandoe.co.uk>
+
+	* coroutines.cc (instantiate_coro_traits): Pass a reference
+	to lambda closure objects to traits instantiation.
+	(morph_fn_to_coro): Likewise for promise parameter
+	preview and allocator lookup.
+
 2020-06-10  Iain Sandoe  <iain@sandoe.co.uk>
 
 	PR c++/95440
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f6db903..530333e 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,49 @@
+2020-06-11  Harald Anlauf  <anlauf@gmx.de>
+	    Steven G. Kargl   <kargl@gcc.gnu.org>
+
+	PR fortran/95611
+	* decl.c (access_attr_decl): Use correct symbol in error message.
+
+2020-06-11  Steven G. Kargl  <kargl@gcc.gnu.org>
+	    Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95544
+	* check.c (invalid_null_arg): Rename to gfc_invalid_null_arg.
+	(gfc_check_associated, gfc_check_kind, gfc_check_merge)
+	(gfc_check_shape, gfc_check_size, gfc_check_spread)
+	(gfc_check_transfer): Adjust.
+	(gfc_check_len_lentrim, gfc_check_trim): Check for NULL() argument.
+	* gfortran.h: Declare gfc_invalid_null_arg ().
+	* intrinsic.c (check_arglist): Check for NULL() argument.
+
+2020-06-11  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95503
+	* expr.c (gfc_check_pointer_assign): Skip contiguity check of rhs
+	of pointer assignment if lhs cannot be simply contiguous.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/95331
+	* trans-array.c (gfc_conv_array_ref): For class array dummy
+	arguments use the transformed descriptor in sym->backend_decl
+	instead of the original descriptor.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/52351
+	PR fortran/85868
+	* trans-array.c (gfc_conv_expr_descriptor): Enable the
+	creation of a new descriptor with the correct one based
+	indexing for array sections.  Rework array descriptor
+	indexing offset calculation.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/94022
+	* trans-expr.c (gfc_conv_procedure_call): In the case of
+	assumed-size arrays ensure that the reference is to a full array.
+
 2020-06-07  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/95091
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 83751a1..46e9c7e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2020-06-11  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/93467
+	* g++.dg/cpp2a/concepts-friend6.C: New test.
+	* g++.dg/cpp2a/concepts-friend7.C: New test.
+
+2020-06-11  Harald Anlauf  <anlauf@gmx.de>
+	    Steven G. Kargl   <kargl@gcc.gnu.org>
+
+	PR fortran/95611
+	* gfortran.dg/pr95611.f90: New file.
+
+2020-06-11  Steven G. Kargl  <kargl@gcc.gnu.org>
+	    Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95544
+	* gfortran.dg/pr95544.f90: New file.
+
+2020-06-11  Tamar Christina  <tamar.christina@arm.com>
+
+	* lib/target-supports.exp (check_effective_target_exceptions_enabled):
+	Mark as C++ test input.
+
+2020-06-11  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95503
+	* gfortran.dg/pr95503.f90: New test.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/95331
+	* gfortran.dg/PR95331.f90: New test.
+
+2020-06-11  David Edelsohn  <dje.gcc@gmail.com>
+
+	* g++.dg/abi/pure-virtual1.C: XFAIL AIX.
+
+2020-06-11  David Edelsohn  <dje.gcc@gmail.com>
+
+	* gcc.dg/spellcheck-inttypes.c: Don't include inttypes.h on AIX.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/52351
+	PR fortran/85868
+	* gfortran.dg/coarray_lib_comm_1.f90: Adjust match test for
+	the newly generated descriptor.
+	* gfortran.dg/PR85868A.f90: New test.
+	* gfortran.dg/PR85868B.f90: New test.
+
+2020-06-11  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/94022
+	* gfortran.dg/PR94022.f90: New test.
+
+2020-06-11  Kito Cheng  <kito.cheng@sifive.com>
+
+	* gcc.target/riscv/pr95252.c: New.
+
 2020-06-10  Alexandre Oliva  <oliva@adacore.com>
 
 	PR rtl-optimization/51447