[gcc/devel/c++-modules] Daily bump.

[Nathan Sidwell <nathan@gcc.gnu.org>]

https://gcc.gnu.org/g:865362954f7523e8b09f54393d174fc6b0067dd8

commit 865362954f7523e8b09f54393d174fc6b0067dd8
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Jul 11 00:16:31 2020 +0000

    Daily bump.

Diff:
---
 contrib/ChangeLog       |   4 +
 gcc/ChangeLog           | 173 ++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 279 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/cp/ChangeLog        |  21 ++++
 gcc/fortran/ChangeLog   |  18 ++++
 gcc/testsuite/ChangeLog |  95 +++++++++++++++++
 libgomp/ChangeLog       |  50 +++++++++
 libiberty/ChangeLog     |   8 ++
 9 files changed, 649 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index a9eb4d78006..53578ac4ac5 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,7 @@
+2020-07-10  Mike Nolta  <mike@nolta.net>
+
+	* download_prerequisites: Don't pass wget options to curl.
+
 2020-07-07  Alexandre Oliva  <oliva@adacore.com>
 	    Martin Liska  <mliska@suse.cz>
 
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 056de895c9a..220126e2589 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,176 @@
+2020-07-10  David Edelsohn  <dje.gcc@gmail.com>
+
+	* config/rs6000/rs6000.c (rs6000_xcoff_select_section): Only
+	create named section for VAR_DECL or FUNCTION_DECL.
+
+2020-07-10  Joseph Myers  <joseph@codesourcery.com>
+
+	* glimits.h [__STDC_VERSION__ > 201710L] (BOOL_MAX, BOOL_WIDTH):
+	New macros.
+
+2020-07-10  Alexander Popov  <alex.popov@linux.com>
+
+	* shrink-wrap.c (try_shrink_wrapping): Improve debug output.
+
+2020-07-10  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR middle-end/96151
+	* expr.c (expand_expr_real_2): When reducing bit fields,
+	clear the target if it has a different mode from the expression.
+	(reduce_to_bit_field_precision): Don't do that here.  Instead
+	assert that the target already has the correct mode.
+
+2020-07-10  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR target/92789
+	PR target/95726
+	* config/arm/arm.c (arm_attribute_table): Add
+	"Advanced SIMD type".
+	(arm_comp_type_attributes): Check that the "Advanced SIMD type"
+	attributes are equal.
+	* config/arm/arm-builtins.c: Include stringpool.h and
+	attribs.h.
+	(arm_mangle_builtin_vector_type): Use the mangling recorded
+	in the "Advanced SIMD type" attribute.
+	(arm_init_simd_builtin_types): Add an "Advanced SIMD type"
+	attribute to each Advanced SIMD type, using the mangled type
+	as the attribute's single argument.
+
+2020-07-10  Carl Love  <cel@us.ibm.com>
+
+	* config/rs6000/vsx.md  (VSX_MM): New define_mode_iterator.
+	(VSX_MM4): New define_mode_iterator.
+	(vec_mtvsrbmi): New define_insn.
+	(vec_mtvsr_<mode>): New define_insn.
+	(vec_cntmb_<mode>): New define_insn.
+	(vec_extract_<mode>): New define_insn.
+	(vec_expand_<mode>): New define_insn.
+	(define_c_enum unspec): Add entries UNSPEC_MTVSBM, UNSPEC_VCNTMB,
+	UNSPEC_VEXTRACT, UNSPEC_VEXPAND.
+	* config/rs6000/altivec.h ( vec_genbm, vec_genhm, vec_genwm,
+	vec_gendm, vec_genqm, vec_cntm, vec_expandm, vec_extractm): Add
+	defines.
+	* config/rs6000/rs6000-builtin.def: Add defines BU_P10_2, BU_P10_1.
+	(BU_P10_1): Add definitions for mtvsrbm, mtvsrhm, mtvsrwm,
+	mtvsrdm, mtvsrqm, vexpandmb, vexpandmh, vexpandmw, vexpandmd,
+	vexpandmq, vextractmb, vextractmh, vextractmw, vextractmd, vextractmq.
+	(BU_P10_2): Add definitions for cntmbb, cntmbh, cntmbw, cntmbd.
+	(BU_P10_OVERLOAD_1): Add definitions for mtvsrbm, mtvsrhm,
+	mtvsrwm, mtvsrdm, mtvsrqm, vexpandm, vextractm.
+	(BU_P10_OVERLOAD_2): Add defition for cntm.
+	* config/rs6000/rs6000-call.c (rs6000_expand_binop_builtin): Add
+	checks for CODE_FOR_vec_cntmbb_v16qi, CODE_FOR_vec_cntmb_v8hi,
+	CODE_FOR_vec_cntmb_v4si, CODE_FOR_vec_cntmb_v2di.
+	(altivec_overloaded_builtins): Add overloaded argument entries for
+	P10_BUILTIN_VEC_MTVSRBM, P10_BUILTIN_VEC_MTVSRHM,
+	P10_BUILTIN_VEC_MTVSRWM, P10_BUILTIN_VEC_MTVSRDM,
+	P10_BUILTIN_VEC_MTVSRQM, P10_BUILTIN_VEC_VCNTMBB,
+	P10_BUILTIN_VCNTMBB, P10_BUILTIN_VCNTMBH,
+	P10_BUILTIN_VCNTMBW, P10_BUILTIN_VCNTMBD,
+	P10_BUILTIN_VEXPANDMB, P10_BUILTIN_VEXPANDMH,
+	P10_BUILTIN_VEXPANDMW, P10_BUILTIN_VEXPANDMD,
+	P10_BUILTIN_VEXPANDMQ, P10_BUILTIN_VEXTRACTMB,
+	P10_BUILTIN_VEXTRACTMH, P10_BUILTIN_VEXTRACTMW,
+	P10_BUILTIN_VEXTRACTMD, P10_BUILTIN_VEXTRACTMQ.
+	(builtin_function_type): Add case entries for P10_BUILTIN_MTVSRBM,
+	P10_BUILTIN_MTVSRHM, P10_BUILTIN_MTVSRWM, P10_BUILTIN_MTVSRDM,
+	P10_BUILTIN_MTVSRQM, P10_BUILTIN_VCNTMBB, P10_BUILTIN_VCNTMBH,
+	P10_BUILTIN_VCNTMBW, P10_BUILTIN_VCNTMBD,
+	P10_BUILTIN_VEXPANDMB, P10_BUILTIN_VEXPANDMH,
+	P10_BUILTIN_VEXPANDMW, P10_BUILTIN_VEXPANDMD,
+	P10_BUILTIN_VEXPANDMQ.
+	* config/rs6000/rs6000-builtin.def (altivec_overloaded_builtins): Add
+	entries	for MTVSRBM, MTVSRHM, MTVSRWM, MTVSRDM, MTVSRQM, VCNTM,
+	VEXPANDM, VEXTRACTM.
+
+2020-07-10  Bill Seurer, 507-253-3502, seurer@us.ibm.com  <(no_default)>
+
+	PR target/95581
+	* config/rs6000/rs6000-call.c: Add new type v16qi_ftype_pcvoid.
+	(altivec_init_builtins) Change __builtin_altivec_mask_for_load to use
+	v16qi_ftype_pcvoid with correct number of parameters.
+
+2020-07-10  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR target/96144
+	* config/i386/i386-expand.c (ix86_emit_swsqrtsf): Check
+	TARGET_AVX512VL when enabling FMA.
+
+2020-07-10  Andrea Corallo  <andrea.corallo@arm.com>
+	    Mihail-Calin Ionescu  <mihail.ionescu@arm.com>
+	    Iain Apreotesei  <iain.apreotesei@arm.com>
+
+	* config/arm/arm-protos.h (arm_target_insn_ok_for_lob): New
+	prototype.
+	* config/arm/arm.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
+	(arm_invalid_within_doloop): Implement invalid_within_doloop hook.
+	(arm_target_insn_ok_for_lob): New function.
+	* config/arm/arm.h (TARGET_HAVE_LOB): Define macro.
+	* config/arm/thumb2.md (*doloop_end_internal, doloop_begin)
+	(dls_insn): Add new patterns.
+	(doloop_end): Modify to select LR when LOB is available.
+	* config/arm/unspecs.md: Add new unspec.
+	* doc/sourcebuild.texi (arm_v8_1_lob_ok)
+	(arm_thumb2_ok_no_arm_v8_1_lob): Document new target supports
+	options.
+
+2020-07-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/96133
+	* gimple-fold.c (fold_array_ctor_reference): Do not
+	recurse to folding a CTOR that does not fully cover the
+	asked for object.
+
+2020-07-10  Cui,Lili  <lili.cui@intel.com>
+
+	* common/config/i386/cpuinfo.h
+	(get_intel_cpu): Handle sapphirerapids.
+	* common/config/i386/i386-common.c
+	(processor_names): Add sapphirerapids and alderlake.
+	(processor_alias_table): Add sapphirerapids and alderlake.
+	* common/config/i386/i386-cpuinfo.h
+	(processor_subtypes): Add INTEL_COREI7_ALDERLAKE and
+	INTEL_COREI7_ALDERLAKE.
+	* config.gcc: Add -march=sapphirerapids and alderlake.
+	* config/i386/driver-i386.c
+	(host_detect_local_cpu) Handle sapphirerapids and alderlake.
+	* config/i386/i386-c.c
+	(ix86_target_macros_internal): Handle sapphirerapids and alderlake.
+	* config/i386/i386-options.c
+	(m_SAPPHIRERAPIDS) : Define.
+	(m_ALDERLAKE): Ditto.
+	(m_CORE_AVX512) : Add m_SAPPHIRERAPIDS.
+	(processor_cost_table): Add sapphirerapids and alderlake.
+	(ix86_option_override_internal) Handle PTA_WAITPKG, PTA_ENQCMD,
+	PTA_CLDEMOTE, PTA_SERIALIZE, PTA_TSXLDTRK.
+	* config/i386/i386.h
+	(ix86_size_cost) : Define SAPPHIRERAPIDS and ALDERLAKE.
+	(processor_type) : Add PROCESSOR_SAPPHIRERAPIDS and
+	PROCESSOR_ALDERLAKE.
+	(PTA_ENQCMD): New.
+	(PTA_CLDEMOTE): Ditto.
+	(PTA_SERIALIZE): Ditto.
+	(PTA_TSXLDTRK): New.
+	(PTA_SAPPHIRERAPIDS): Ditto.
+	(PTA_ALDERLAKE): Ditto.
+	(processor_type) : Add PROCESSOR_SAPPHIRERAPIDS and
+	PROCESSOR_ALDERLAKE.
+	* doc/extend.texi: Add sapphirerapids and alderlake.
+	* doc/invoke.texi: Add sapphirerapids and alderlake.
+
+2020-07-10  Martin Liska  <mliska@suse.cz>
+
+	* dumpfile.c [profile-report]: Add new profile dump.
+	* dumpfile.h (enum tree_dump_index): Ad TDI_profile_report.
+	* passes.c (pass_manager::dump_profile_report): Change stderr
+	to dump_file.
+
+2020-07-10  Kewen Lin  <linkw@linux.ibm.com>
+
+	* tree-vect-loop.c (vect_transform_loop): Use LOOP_VINFO_NITERS which
+	is adjusted by considering peeled prologue for non
+	vect_use_loop_mask_for_alignment_p cases.
+
 2020-07-09  Peter Bergner  <bergner@linux.ibm.com>
 
 	PR target/96125
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ffe0f79eae4..ff113b92e7d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200710
+20200711
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 913d84c9cb2..6e4b0e3e279 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,282 @@
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch8.adb (Find_Direct_Name): Fix code to match the comment.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Analyze_Attribute_Definition_Clause) <Address>:
+	Issue an unconditional warning for an overlay that changes the
+	scalar storage order.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch8.adb (Is_Actual_Parameter): Fix processing when parent
+	is a procedure call statement; extend comment.
+
+2020-07-10  Bob Duff  <duff@adacore.com>
+
+	* sem_res.adb (Resolve_Expression_With_Actions): Check the rules
+	of AI12-0368, and mark the declare expression as static or known
+	at compile time as appropriate.
+	* sem_ch4.adb: Minor reformatting.
+	* libgnat/a-stoufo.ads, libgnat/a-stoufo.adb: Allow up to 9
+	replacement parameters. I'm planning to use this in the test
+	case for this ticket.
+
+2020-07-10  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_ch3.adb (Build_Access_Subprogram_Wrapper_Body): Create a
+	proper signature when the access type denotes a parameterless
+	subprogram.
+	* exp_ch6.adb (Expand_Call): Handle properly a  parameterless
+	indirect call when the corresponding access type has contracts.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb
+	(Convert_To_Positional): Add Dims local variable
+	and pass it in calls to Is_Flat and Flatten.
+	(Check_Static_Components): Pass Dims in call to
+	Is_Static_Element.
+	(Nonflattenable_Next_Aggr): New predicate.
+	(Flatten): Add Dims parameter and Expr local variable.  Call
+	Nonflattenable_Next_Aggr in a couple of places.  In the case
+	when an Others choice is present, check that the element is
+	either static or a nested aggregate that can be flattened,
+	before disregarding the replication limit for elaboration
+	purposes.  Check that a nested array is flattenable in the case
+	of a multidimensional array in any position.  Remove redundant
+	check in the Others case and pass Dims in call to
+	Is_Static_Element.  Use Expr variable.
+	(Is_Flat): Change type of Dims parameter from Int to Nat.
+	(Is_Static_Element): Add Dims parameter.  Replace tests on
+	literals with call to Compile_Time_Known_Value.  If everything
+	else failed and the dimension is 1, preanalyze the expression
+	before calling again Compile_Time_Known_Value on it.  Return
+	true for null.
+	(Late_Expansion): Do not expand further if the assignment to the
+	target can be done directly by the back end.
+
+2020-07-10  Arnaud Charlet  <charlet@adacore.com>
+
+	* osint-c.adb (Set_File_Name): Preserve casing of file.
+	* osint.adb (File_Names_Equal): New.
+	(Executable_Name): Use File_Equal instead of
+	Canonical_Case_File_Name.
+
+2020-07-10  Pascal Obry  <obry@adacore.com>
+
+	* libgnat/g-socket.adb (Wait_On_Socket): Fix memory leaks and
+	file descriptor leaks.  A memory leak was created each time the
+	routine was called without a selector (Selector = Null). Also,
+	in case of exception in the routine a memory leak and descriptor
+	leak was created as the created file selector was not closed.
+
+2020-07-10  Pascal Obry  <obry@adacore.com>
+
+	* libgnat/g-socket.adb: Minor style fixes.
+
+2020-07-10  Javier Miranda  <miranda@adacore.com>
+
+	* sem_util.adb
+	(Immediate_Context_Implies_Is_Potentially_Unevaluated): New
+	subprogram.
+	(Is_Potentially_Unevaluated): Do not stop climbing the tree on
+	the first candidate subexpression; required to handle nested
+	expressions.
+
+2020-07-10  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_aggr.adb, exp_spark.adb, sem_ch13.ads, sem_ch13.adb,
+	snames.ads-tmpl: Minor reformatting and typo fixes.
+
+2020-07-10  Yannick Moy  <moy@adacore.com>
+
+	* sem_util.adb (Has_Enabled_Property): Add handling of
+	non-variable objects.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Check_Completion): Refactor chained
+	if-then-elsif-...  statement to be more like a case
+	statement (note: we can't simply use case statement because of
+	Is_Intrinsic_Subprogram in the first condition).
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* einfo.ads (E_Protected_Object): Enumeration literal removed.
+	* lib-xref.ads (Xref_Entity_Letters): Remove reference to
+	removed literal.
+	* sem_ch3.adb (Check_Completion): Likewise.
+	* sem_util.adb (Has_Enabled_Property): Likewise.
+
+2020-07-10  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_aggr.adb (Max_Aggregate_Size): Use small limit for
+	aggregate inside subprograms.
+	* sprint.adb (Sprint_Node_Actual [N_Object_Declaration]): Do not
+	print the initialization expression if the No_Initialization
+	flag is set.
+	* sem_util.ads, sem_util.adb (Predicate_Enabled): New.
+	* exp_ch4.adb (Expand_N_Type_Conversion): Code cleanup and apply
+	predicate check consistently.
+	* exp_ch6.adb (Expand_Actuals.By_Ref_Predicate_Check): Ditto.
+	* sem_ch3.adb (Analyze_Object_Declaration): Ditto.
+	* exp_ch3.adb (Build_Assignment): Revert handling of predicate
+	check for allocators with qualified expressions, now handled in
+	Freeze_Expression directly.
+	* sem_aggr.adb: Fix typos.
+	* checks.adb: Code refactoring: use Predicate_Enabled.
+	(Apply_Predicate_Check): Code cleanup.
+	* freeze.adb (Freeze_Expression): Freeze the subtype mark before
+	a qualified expression on an allocator.
+	* exp_util.ads, exp_util.adb (Within_Internal_Subprogram):
+	Renamed Predicate_Check_In_Scope to clarify usage, refine
+	handling of predicates within init procs which should be enabled
+	when the node comes from source.
+	* sem_ch13.adb (Freeze_Entity_Checks): Update call to
+	Predicate_Check_In_Scope.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Array_Comparison): Reformat.
+	(Expand_Concatenate): Use standard size values directly and use
+	Standard_Long_Long_Unsigned instead of RE_Long_Long_Unsigned.
+	(Expand_Modular_Op): Use Standard_Long_Long_Integer in case the
+	modulus is larger than Integer.
+	(Expand_N_Op_Expon): Use standard size value directly.
+	(Narrow_Large_Operation): Use Uint instead of Nat for sizes and
+	use a local variable for the size of the type.
+	(Get_Size_For_Range): Return Uint instead of Nat.
+	(Is_OK_For_Range): Take Uint instead of Nat.
+
+2020-07-10  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch6.adb (Make_Build_In_Place_Iface_Call_In_Allocator):
+	Build the internal anonymous access type using as a reference
+	the designated type imposed by the context (instead of using the
+	return type of the called function).
+
+2020-07-10  Yannick Moy  <moy@adacore.com>
+
+	* sem_res.adb (Resolve_Actuals): Protect call to
+	Is_Valued_Procedure.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Process_Discriminants): Revert recent change to
+	location of Set_Ekind; detect effectively volatile discriminants
+	by their type only.
+
+2020-07-10  Joffrey Huguet  <huguet@adacore.com>
+
+	* libgnat/a-nbnbin.ads, libgnat/a-nbnbre.ads: Add global
+	contract (Global => null) to all functions.
+
+2020-07-10  Ed Schonberg  <schonberg@adacore.com>
+
+	* aspects.ads: Add Aspect_Aggregate.
+	* exp_aggr.adb (Expand_Container_Aggregate): Expand positional
+	container aggregates into separate initialization and insertion
+	operations.
+	* sem_aggr.ads (Resolve_Container_Aggregate): New subprogram.
+	* sem_aggr.adb (Resolve_Container_Aggregate): Parse aspect
+	aggregate, establish element types and key types if present, and
+	resolve aggregate components.
+	* sem_ch13.ads (Parse_Aspect_Aggregate): Public subprogram used
+	in validation, resolution and expansion of container aggregates
+	* sem_ch13.adb
+	(Parse_Aspect_Aggregate): Retrieve names of primitives specified
+	in aspect specification.
+	(Validate_Aspect_Aggregate): Check legality of specified
+	operations given in aspect specification, before nane
+	resolution.
+	(Resolve_Aspect_Aggregate): At freeze point resolve operations
+	and verify that given operations have the required profile.
+	* sem_res.adb (Resolve): Call Resolve_Aspect_Aggregate if aspect
+	is present for type.
+	* snames.ads-tmpl: Add names used in aspect Aggregate: Empty,
+	Add_Named, Add_Unnamed, New_Indexed, Assign_Indexed.
+
+2020-07-10  Arnaud Charlet  <charlet@adacore.com>
+
+	* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-shabig.o.
+	* libgnat/s-shabig.ads: New file to share definitions.
+	* libgnat/s-genbig.ads, libgnat/s-genbig.adb: Reorganized to
+	make it more generic and flexible in terms of memory allocation
+	and data structure returned.
+	(To_String): Moved to System.Generic_Bignums to allow sharing
+	this code.
+	(Big_And, Big_Or, Big_Shift_Left, Big_Shift_Right): New.
+	* libgnat/s-bignum.adb, libgnat/s-bignum.ads: Adapt to new
+	System.Generic_Bignums spec.
+	* libgnat/a-nbnbin.adb: Likewise.
+	(To_String): Moved to System.Generic_Bignums to allow sharing
+	this code.
+	* libgnat/a-nbnbre.adb (Normalize): Fix handling of Num = 0
+	leading to an exception.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Expr_Types): Replace call to Find_Aspect
+	with call to Find_Value_Of_Aspect and adjust accordingly.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.adb (Write_Field24_Name): Handle E_Loop_Parameter.
+	* freeze.adb (Freeze_Expr_Types): Freeze the iterator type used as
+	Default_Iterator of the name of an N_Iterator_Specification node.
+
+2020-07-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* checks.adb (Determine_Range): Deal with Min and Max attributes.
+	* exp_ch6.adb (Expand_Call_Helper): When generating code to pass
+	the accessibility level to the caller in the case of an actual
+	which is an if-expression, also remove the nodes created after
+	the declaration of the dummy temporary.
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Use Natural as
+	the type of the minimum accessibility level object.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Process_Discriminants): Set Ekind of the
+	processed discriminant entity before passing to
+	Is_Effectively_Volatile, which was crashing on a failed
+	assertion.
+	* sem_prag.adb (Analyze_External_Property_In_Decl_Part): Prevent
+	call to No_Caching_Enabled with entities other than variables,
+	which was crashing on a failed assertion.
+	(Analyze_Pragma): Style cleanups.
+	* sem_util.adb (Is_Effectively_Volatile): Enforce comment with
+	an assertion; prevent call to No_Caching_Enabled with entities
+	other than variables.
+	(Is_Effectively_Volatile_Object): Only call
+	Is_Effectively_Volatile on objects, not on types.
+	(No_Caching_Enabled): Enforce comment with an assertion.
+
+2020-07-10  Yannick Moy  <moy@adacore.com>
+
+	* debug.adb: Update comments to free usage of -gnatdF.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Refactored from
+	Expand_SPARK_N_Attribute_Reference; rewrite into N_Aggregate or
+	N_Delta_Aggregate depending on what is being rewritten.
+	(Expand_SPARK_N_Delta_Aggregate): New routine to expand
+	delta_aggregate.
+	(Expand_SPARK_N_Attribute_Reference): Call the refactored
+	routine.
+
+2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Fix
+	expansion of attribute Update.
+
+2020-07-10  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem.adb (Walk_Library_Items): Fix handling of Ghost units.
+
 2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* tracebak.c [generic implementation]: Add pragma GCC diagnostic
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4d2ac959daa..bf7199463ea 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,24 @@
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	* tree.c (structural_type_p): Allow unions.
+	* mangle.c (write_expression): Express unions with a designator.
+
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	* pt.c (convert_nontype_argument): Handle REAL_TYPE.
+	(invalid_nontype_parm_type_p): Allow all structural types.
+	* tree.c (structural_type_p): Use SCALAR_TYPE_P.
+
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	PR c++/96105
+	PR c++/96052
+	PR c++/95976
+	* class.c (check_field_decls): An array of empty classes is not an
+	empty data member.
+	(layout_empty_base_or_field): Handle explicit alignment.
+	Fix union handling.
+
 2020-07-09  Julian Brown  <julian@codesourcery.com>
 	    Thomas Schwinge  <thomas@codesourcery.com>
 
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 80a76fe81e3..546d535b98c 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,21 @@
+2020-07-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95980
+	* class.c (gfc_add_component_ref, gfc_build_class_symbol):
+	Add checks for NULL pointer dereference.
+	* primary.c (gfc_variable_attr): Likewise.
+	* resolve.c (resolve_variable, resolve_assoc_var)
+	(resolve_fl_var_and_proc, resolve_fl_variable_derived)
+	(resolve_symbol): Likewise.
+
+2020-07-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/96086
+	* match.c (gfc_match_select_rank): Catch NULL pointer
+	dereference.
+	* resolve.c (resolve_assoc_var): Catch NULL pointer dereference
+	that may occur after an illegal declaration.
+
 2020-07-09  Julian Brown  <julian@codesourcery.com>
 
 	* trans-openmp.c (gfc_trans_omp_clauses): Use 'inner' not 'decl' for
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 17191ee3b06..b8885a7f720 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,98 @@
+2020-07-10  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c11-bool-limits-1.c, gcc.dg/c2x-bool-limits-1.c: New
+	tests.
+
+2020-07-10  Rajalakshmi Srinivasaraghavan  <rajis@linux.vnet.ibm.com>
+	    Aaron Sawdey  <acsawdey@linux.ibm.com>
+
+	* gcc.target/powerpc/p10-identify.c: New file.
+	* gcc.target/powerpc/p10-arch31.c: New file.
+	* gcc.target/powerpc/mma-single-test.c: New file.
+	* gcc.target/powerpc/mma-double-test.c: New file.
+
+2020-07-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/95980
+	* gfortran.dg/pr95980_2.f90: New file.
+
+2020-07-10  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/96086
+	* gfortran.dg/pr96086.f90: New file.
+
+2020-07-10  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR target/92789
+	PR target/95726
+	* g++.target/arm/pr95726.C: New test.
+
+2020-07-10  Carl Love  <cel@us.ibm.com>
+
+	* gcc.target/powerpc/vsx_mask-count-runnable.c: New test case.
+	* gcc.target/powerpc/vsx_mask-expand-runnable.c: New test case.
+	* gcc.target/powerpc/vsx_mask-extract-runnable.c: New test case.
+	* gcc.target/powerpc/vsx_mask-move-runnable.c: New test case.
+
+2020-07-10  Martin Liska  <mliska@suse.cz>
+
+	PR gcov-profile/96148
+	* lib/scanwpaipa.exp: Fix wpa dump file suffix the same way
+	as other in the file.
+
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp2a/nontype-class-union1.C: New test.
+
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp0x/pr81246.C: No error in C++20.
+	* g++.dg/cpp0x/variadic74.C: No error in C++20.
+	* g++.dg/cpp1z/nontype-auto3.C: No error in C++20.
+	* g++.dg/template/crash106.C: No error in C++20.
+	* g++.dg/template/crash119.C: No error in C++20.
+	* g++.dg/template/nontype12.C: No error in C++20.
+	* g++.dg/template/void3.C: Don't require follow-on message.
+	* g++.dg/template/void7.C: Don't require follow-on message.
+	* g++.dg/template/void9.C: Don't require follow-on message.
+	* g++.dg/cpp2a/nontype-class-equiv1.C: New file.
+
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	PR c++/96105
+	PR c++/96052
+	PR c++/95976
+	* g++.dg/cpp2a/no_unique_address4.C: New test.
+	* g++.dg/cpp2a/no_unique_address5.C: New test.
+	* g++.dg/cpp2a/no_unique_address6.C: New test.
+
+2020-07-10  Andrea Corallo  <andrea.corallo@arm.com>
+	    Mihail-Calin Ionescu  <mihail.ionescu@arm.com>
+	    Iain Apreotesei  <iain.apreotesei@arm.com>
+
+	* gcc.target/arm/lob.h: New header.
+	* gcc.target/arm/lob1.c: New testcase.
+	* gcc.target/arm/lob2.c: Likewise.
+	* gcc.target/arm/lob3.c: Likewise.
+	* gcc.target/arm/lob4.c: Likewise.
+	* gcc.target/arm/lob5.c: Likewise.
+	* gcc.target/arm/lob6.c: Likewise.
+	* gcc.target/arm/unsigned-extend-2.c: Do not run when generating
+	low loop overhead.
+	* gcc.target/arm/ivopts.c: Fix check for low loop overhead.
+	* lib/target-supports.exp (check_effective_target_arm_v8_1_lob)
+	(check_effective_target_arm_thumb2_ok_no_arm_v8_1_lob): New procs.
+
+2020-07-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/96133
+	* gcc.dg/torture/pr96133.c: New testcase.
+
+2020-07-10  Cui,Lili  <lili.cui@intel.com>
+
+	* gcc.target/i386/funcspec-56.inc: Handle new march.
+	* g++.target/i386/mv16.C: Handle new march
+
 2020-07-09  Julian Brown  <julian@codesourcery.com>
 	    Thomas Schwinge  <thomas@codesourcery.com>
 
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f8d58139fbc..63b95f2f13f 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,53 @@
+2020-07-10  Julian Brown  <julian@codesourcery.com>
+	    Thomas Schwinge  <thomas@codesourcery.com>
+
+	* libgomp.h (struct splay_tree_key_s): Change virtual_refcount to
+	dynamic_refcount.
+	(struct gomp_device_descr): Remove GOMP_MAP_VARS_OPENACC_ENTER_DATA.
+	* oacc-mem.c (acc_map_data): Substitute virtual_refcount for
+	dynamic_refcount.
+	(acc_unmap_data): Update comment.
+	(goacc_map_var_existing, goacc_enter_datum): Adjust for
+	dynamic_refcount semantics.
+	(goacc_exit_datum_1, goacc_exit_datum): Re-add some error checking.
+	Adjust for dynamic_refcount semantics.
+	(goacc_enter_data_internal): Implement "present" case of dynamic
+	memory-map handling here.  Update "non-present" case for
+	dynamic_refcount semantics.
+	(goacc_exit_data_internal): Use goacc_exit_datum_1.
+	* target.c (gomp_map_vars_internal): Remove
+	GOMP_MAP_VARS_OPENACC_ENTER_DATA handling.  Update for dynamic_refcount
+	handling.
+	(gomp_unmap_vars_internal): Remove virtual_refcount handling.
+	(gomp_load_image_to_device): Substitute dynamic_refcount for
+	virtual_refcount.
+	* testsuite/libgomp.oacc-c-c++-common/pr92843-1.c: Remove XFAILs.
+	* testsuite/libgomp.oacc-c-c++-common/refcounting-1.c: New test.
+	* testsuite/libgomp.oacc-c-c++-common/refcounting-2.c: New test.
+	* testsuite/libgomp.oacc-c-c++-common/struct-3-1-1.c: New test.
+	* testsuite/libgomp.oacc-fortran/deep-copy-6.f90: Remove XFAILs and
+	trace output.
+	* testsuite/libgomp.oacc-fortran/deep-copy-6-no_finalize.F90: Remove
+	trace output.
+	* testsuite/libgomp.oacc-fortran/dynamic-incr-structural-1.f90: New
+	test.
+	* testsuite/libgomp.oacc-c-c++-common/structured-dynamic-lifetimes-4.c:
+	Remove stale comment.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-1-1.f90: Remove XFAILs.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-1-2.F90: Likewise.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-1.f90: Likewise.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-2.f90: Likewise.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-3-1.f90: Likewise.
+	* testsuite/libgomp.oacc-fortran/mdc-refcount-1-4-1.f90: Adjust XFAIL.
+
+2020-07-10  Julian Brown  <julian@codesourcery.com>
+	    Thomas Schwinge  <thomas@codesourcery.com>
+
+	* oacc-mem.c (goacc_map_var_existing): New function.
+	(goacc_enter_datum): Use above function.
+	(goacc_exit_datum_1): New function.
+	(goacc_exit_datum): Use above function.
+
 2020-07-09  Julian Brown  <julian@codesourcery.com>
 	    Thomas Schwinge  <thomas@codesourcery.com>
 
diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog
index 6595c57375b..040458a3601 100644
--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,11 @@
+2020-07-10  Jason Merrill  <jason@redhat.com>
+
+	* cp-demangle.c (cplus_demangle_operators): Add di, dx, dX.
+	(d_expression_1): Handle di and dX.
+	(is_designated_init, d_maybe_print_designated_init): New.
+	(d_print_comp_inner): Use d_maybe_print_designated_init.
+	* testsuite/demangle-expected: Add designator tests.
+
 2020-06-26  Nick Clifton  <nickc@redhat.com>
 
 	* bsearch.c (bsearch): Remove use of register keyword.