Daily bump.
authorGCC Administrator <gccadmin@gcc.gnu.org>
Sat, 11 Jul 2020 00:16:31 +0000 (00:16 +0000)
committerGCC Administrator <gccadmin@gcc.gnu.org>
Sat, 11 Jul 2020 00:16:31 +0000 (00:16 +0000)
contrib/ChangeLog
gcc/ChangeLog
gcc/DATESTAMP
gcc/ada/ChangeLog
gcc/cp/ChangeLog
gcc/fortran/ChangeLog
gcc/testsuite/ChangeLog
libgomp/ChangeLog
libiberty/ChangeLog

index a9eb4d780060d9b00e9bd7be4e5c077bf3440eee..53578ac4ac5fd023661615d577fe13a59daf2b00 100644 (file)
@@ -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>
 
index 056de895c9a2ce3e883fb8e165127aaac8269697..220126e2589817c9de3d545f39d036c7d22ec43b 100644 (file)
@@ -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
index ffe0f79eae466bfb67b9a24527511bd59c722095..ff113b92e7d3988fad0f33582d838c65813b3028 100644 (file)
@@ -1 +1 @@
-20200710
+20200711
index 913d84c9cb2e9ab7f6788d6f5174d6da97e9c688..6e4b0e3e27929273ce9a7de85cdfcab47afe8e77 100644 (file)
@@ -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
index 4d2ac959daa6a6e1bbe2825350332a636b667e20..bf7199463eaf6ba9acc29cb4481ece986858a25e 100644 (file)
@@ -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>
 
index 80a76fe81e361203597f184e1d69a8458173701c..546d535b98c765c31f08487e1b4d460853be948c 100644 (file)
@@ -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
index 17191ee3b069395ff07259cf6770974ba991bcb2..b8885a7f7203fa129eed1f858f3d8f1c1d9bbe15 100644 (file)
@@ -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>
 
index f8d58139fbcb7501972ad2d22bc154d3c728f676..63b95f2f13fbd418aa2aa26b19580e621c889631 100644 (file)
@@ -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>
 
index 6595c57375bb87c136ca0ded7b1b824679f91f0c..040458a3601b18471acae7d4cd7caf857befcbde 100644 (file)
@@ -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.