aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contrib/ChangeLog4
-rw-r--r--gcc/ChangeLog173
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog279
-rw-r--r--gcc/cp/ChangeLog21
-rw-r--r--gcc/fortran/ChangeLog18
-rw-r--r--gcc/testsuite/ChangeLog95
-rw-r--r--libgomp/ChangeLog50
-rw-r--r--libiberty/ChangeLog8
9 files changed, 649 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index a9eb4d7..53578ac 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 056de89..220126e 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 ffe0f79..ff113b9 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200710
+20200711
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 913d84c..6e4b0e3 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 4d2ac95..bf71994 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 80a76fe..546d535 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 17191ee..b8885a7 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 f8d5813..63b95f2 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 6595c57..040458a 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.