]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Daily bump.
authorGCC Administrator <gccadmin@gcc.gnu.org>
Wed, 7 Jul 2021 00:17:12 +0000 (00:17 +0000)
committerGCC Administrator <gccadmin@gcc.gnu.org>
Wed, 7 Jul 2021 00:17:12 +0000 (00:17 +0000)
ChangeLog
fixincludes/ChangeLog
gcc/ChangeLog
gcc/DATESTAMP
gcc/ada/ChangeLog
gcc/c-family/ChangeLog
gcc/c/ChangeLog
gcc/cp/ChangeLog
gcc/fortran/ChangeLog
gcc/testsuite/ChangeLog

index b1a108be82a03b88378afa3e873f5b8157e0ecdf..da4b49f5a59dd2d288b55cc98a4c2785e6f3453f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2021-07-06  Gaius Mulley  <gaius.mulley@southwales.ac.uk>
+
+       * MAINTAINERS: Add myself for write after approval and DCO.
+
 2021-07-05  Iain Sandoe  <iain@sandoe.co.uk>
 
        * Makefile.def: Add dsymutil defs.
index c6960fc5f804206c06759aa878ce9ddc1706874a..8fb9653b9be0b39ac8dc7efb6c59d6cee9c7995c 100644 (file)
@@ -1,3 +1,9 @@
+2021-07-06  Clément Chigot  <clement.chigot@atos.net>
+
+       * inclhack.def (aix_externcpp1): Improve select regexp.
+       * fixincl.x: Regenerate.
+       * tests/base/sys/socket.h: Update.
+
 2021-06-30  Xi Ruoyao  <xry111@mengyan1223.wang>
 
        PR other/91085
index 4e6b8744ae518cb88bf793f1438f6f2a72e1810a..1d07abd7bdf894684e7eaf6192d7612ac619531b 100644 (file)
@@ -1,3 +1,143 @@
+2021-07-06  Indu Bhagat  <indu.bhagat@oracle.com>
+
+       PR debug/101283
+       * dwarf2ctf.c (ctf_get_AT_data_member_location): Multiply by 8 to get
+       number of bits.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * gimple-pretty-print.c (percent_G_format): Remove.
+       * tree-diagnostic.c (default_tree_printer): Remove calls.
+       * tree-pretty-print.c (percent_K_format): Remove.
+       * tree-pretty-print.h (percent_K_format): Remove.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * config/aarch64/aarch64-builtins.c (aarch64_simd_expand_builtin):
+       Remove %K and use error_at.
+       (aarch64_expand_fcmla_builtin): Same.
+       (aarch64_expand_builtin_tme): Same.
+       (aarch64_expand_builtin_memtag): Same.
+       * config/arm/arm-builtins.c (arm_expand_acle_builtin): Same.
+       (arm_expand_builtin): Same.
+       * config/arm/arm.c (bounds_check): Same.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * builtins.c (warn_string_no_nul): Remove %G.
+       (maybe_warn_for_bound): Same.
+       (warn_for_access): Same.
+       (check_access): Same.
+       (check_strncat_sizes): Same.
+       (expand_builtin_strncat): Same.
+       (expand_builtin_strncmp): Same.
+       (expand_builtin): Same.
+       (expand_builtin_object_size): Same.
+       (warn_dealloc_offset): Same.
+       (maybe_emit_free_warning): Same.
+       * calls.c (maybe_warn_alloc_args_overflow): Same.
+       (maybe_warn_nonstring_arg): Same.
+       (maybe_warn_rdwr_sizes): Same.
+       * expr.c (expand_expr_real_1): Remove %K.
+       * gimple-fold.c (gimple_fold_builtin_strncpy): Remove %G.
+       (gimple_fold_builtin_strncat): Same.
+       * gimple-ssa-sprintf.c (format_directive): Same.
+       (handle_printf_call): Same.
+       * gimple-ssa-warn-alloca.c (pass_walloca::execute): Same.
+       * gimple-ssa-warn-restrict.c (maybe_diag_overlap): Same.
+       (maybe_diag_access_bounds): Same.  Call gimple_location.
+       (check_bounds_or_overlap): Same.
+       * trans-mem.c (ipa_tm_scan_irr_block): Remove %K.  Simplify.
+       * tree-ssa-ccp.c (pass_post_ipa_warn::execute): Remove %G.
+       * tree-ssa-strlen.c (maybe_warn_overflow): Same.
+       (maybe_diag_stxncpy_trunc): Same.
+       (handle_builtin_stxncpy_strncat): Same.
+       (maybe_warn_pointless_strcmp): Same.
+       * tree-ssa-uninit.c (maybe_warn_operand): Same.
+
+2021-07-06  Uroš Bizjak  <ubizjak@gmail.com>
+
+       PR target/97194
+       * config/i386/predicates.md (vec_setm_operand): Enable
+       register_operand for TARGET_SSE4_1.
+       * config/i386/mmx.md (vec_setv2hi): Use vec_setm_operand
+       as operand 2 predicate.  Call ix86_expand_vector_set_var
+       for non-constant index operand.
+       (vec_setv4qi): Use vec_setm_mmx_operand as operand 2 predicate.
+       Call ix86_expand_vector_set_var for non-constant index operand.
+
+2021-07-06  Jeff Law  <jeffreyalaw@gmail.com>
+
+       * config/h8300/jumpcall.md (*branch): When possible, generate
+       the comparison in CCZN mode.
+       * config/h8300/predicates.md (simple_memory_operand): Reject all
+       auto-increment addressing modes.
+
+2021-07-06  Iain Sandoe  <iain@sandoe.co.uk>
+
+       PR bootstrap/100246
+       * config/i386/i386.h (struct stringop_algs): Define a CTOR for
+       this type.
+
+2021-07-06  Richard Biener  <rguenther@suse.de>
+
+       * doc/md.texi (vec_fmaddsub<mode>4): Document.
+       (vec_fmsubadd<mode>4): Likewise.
+       * optabs.def (vec_fmaddsub$a4): Add.
+       (vec_fmsubadd$a4): Likewise.
+       * internal-fn.def (IFN_VEC_FMADDSUB): Add.
+       (IFN_VEC_FMSUBADD): Likewise.
+       * tree-vect-slp-patterns.c (addsub_pattern::recognize):
+       Refactor to handle IFN_VEC_FMADDSUB and IFN_VEC_FMSUBADD.
+       (addsub_pattern::build): Likewise.
+       * tree-vect-slp.c (vect_optimize_slp): CFN_VEC_FMADDSUB
+       and CFN_VEC_FMSUBADD are not transparent for permutes.
+       * config/i386/sse.md (vec_fmaddsub<mode>4): New expander.
+       (vec_fmsubadd<mode>4): Likewise.
+
+2021-07-06  Richard Biener  <rguenther@suse.de>
+
+       * doc/invoke.texi (fmove-loop-stores): Document.
+       * common.opt (fmove-loop-stores): New option.
+       * opts.c (default_options_table): Enable -fmove-loop-stores
+       at -O1 but not -Og.
+       * tree-ssa-loop-im.c (pass_lim::execute): Pass
+       flag_move_loop_stores instead of true to
+       loop_invariant_motion_in_fun.
+
+2021-07-06  Iain Sandoe  <iain@sandoe.co.uk>
+
+       * doc/install.texi: Document --with-dsymutil.
+
+2021-07-06  Andrew Pinski  <apinski@marvell.com>
+
+       PR tree-optimization/101256
+       * dbgcnt.def (phiopt_edge_range): New counter.
+       * tree-ssa-phiopt.c (replace_phi_edge_with_variable):
+       Check to make sure the new name is defined in the same
+       bb as the conditional before duplicating range info.
+       Also add debug counter.
+
+2021-07-06  Kewen Lin  <linkw@linux.ibm.com>
+
+       PR rtl-optimization/100328
+       * config/i386/i386-options.c (ix86_option_override_internal):
+       Set param_ira_consider_dup_in_all_alts to 0.
+
+2021-07-06  Kewen Lin  <linkw@linux.ibm.com>
+
+       PR rtl-optimization/100328
+       * doc/invoke.texi (ira-consider-dup-in-all-alts): Document new
+       parameter.
+       * ira.c (ira_get_dup_out_num): Adjust as parameter
+       param_ira_consider_dup_in_all_alts.
+       * params.opt (ira-consider-dup-in-all-alts): New.
+       * ira-conflicts.c (process_regs_for_copy): Add one parameter
+       single_input_op_has_cstr_p.
+       (get_freq_for_shuffle_copy): New function.
+       (add_insn_allocno_copies): Adjust as single_input_op_has_cstr_p.
+       * ira-int.h (ira_get_dup_out_num): Add one bool parameter.
+
 2021-07-05  Jeff Law  <jeffreyalaw@gmail.com>
 
        * config/h8300/shiftrotate.md (shift-by-variable patterns): Update to
index 740061aaec49e086bccd1df6112c55d337475b28..b90532138a9a30f988342e6c409fcb633b8f24db 100644 (file)
@@ -1 +1 @@
-20210706
+20210707
index d1116c907dca8fa1a7b953c27d96e1a893e0dd69..7d17f9ea8402a768edb457df3dd6a7abd7d920ba 100644 (file)
@@ -1,3 +1,360 @@
+2021-07-06  Bob Duff  <duff@adacore.com>
+
+       * atree.ads (Current_Error_Node): Initialize to Empty.
+
+2021-07-06  Steve Baird  <baird@adacore.com>
+
+       * exp_put_image.adb: Eliminate references to
+       Debug_Flag_Underscore_Z.  Change the meaning of the function
+       Enable_Put_Image. Previously, a result of False for a tagged
+       type would mean that the type does not get a Put_Image (PI)
+       routine at all. Now, it means that the type gets a PI routine
+       with very abbreviated functionality (just a call to
+       Unknown_Put_Image). This resolves problems in mixing code
+       compiled with and without the -gnat2022 switch.
+       * exp_ch3.adb: Enable_Put_Image no longer participates in
+       determining whether a tagged type gets a Put_Image procedure.  A
+       tagged type does not get a Put_Image procedure if the type
+       Root_Buffer_Type is unavailable. This is needed to support cross
+       targets where tagged types are supported but the type
+       Root_Buffer_Type is not available.
+       * exp_dist.adb: Add workarounds for some problems that arise
+       when using the (obsolete?) Garlic implementation of the
+       distributed systems annex with Ada 2022 constructs.
+       * libgnat/a-sttebu.ads: Workaround a bootstrapping problem.
+       Older compilers do not support raise expressions, so revise the
+       the Pre'Class condition to meet this requirement without
+       changing the condition's behavior at run time.
+
+2021-07-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * repinfo-input.adb (JSON_Entity_Kind, Read_Variant_Part): Fix
+       typo in comment.
+
+2021-07-06  Steve Baird  <baird@adacore.com>
+
+       * sem_ch5.adb (Analyze_Assignment): Add new nested function,
+       Omit_Range_Check_For_Streaming, and make call to
+       Apply_Scalar_Range_Check conditional on the result of this new
+       function.
+       * exp_attr.adb (Compile_Stream_Body_In_Scope): Eliminate Check
+       parameter, update callers.  The new
+       Omit_Range_Check_For_Streaming parameter takes the place of the
+       old use of calling Insert_Action with Suppress => All_Checks,
+       which was insufficiently precise (it did not allow suppressing
+       checks for one component but not for another).
+       (Expand_N_Attribute_Reference): Eliminate another "Suppress =>
+       All_Checks" from an Insert_Action call, this one in generating
+       the expansion of a T'Read attribute reference for a composite
+       type T.
+
+2021-07-06  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for
+       empty loops caused by constraints.
+
+2021-07-06  Nicolas Roche  <roche@adacore.com>
+
+       * rtinit.c (skip_quoted_string): Handle malformed command line
+       with no closing double quote.
+       (skip_argument): Handle case in which a null character is
+       encountered by skip_quote_string.
+
+2021-07-06  Piotr Trojanek  <trojanek@adacore.com>
+
+       * uname.adb (Add_Node_Name): Replace local constant whose
+       initial expression was evaluated even when unnecessary with just
+       that expression that is evaluated at most once and only when
+       needed.
+
+2021-07-06  Piotr Trojanek  <trojanek@adacore.com>
+
+       * lib.adb (Remove_Unit): Replace defensive code with an
+       assertion.
+       * par-load.adb (Load): Address a question mark in the comment.
+
+2021-07-06  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.adb (Enclosing_Comp_Unit_Node): When the loop exits
+       the Current_Node is either an N_Compilation_Unit node or Empty,
+       so simply return it without redundant checks.
+
+2021-07-06  Piotr Trojanek  <trojanek@adacore.com>
+
+       * lib-load.adb (Load_Unit): Remove excessive whitespace.
+       * lib.adb (Is_Internal_Unit, Is_Predefined_Unit): Likewise.
+       * par-ch10.adb (P_Compilation_Unit): Simplify with membership
+       test.
+       * par-load.adb (Load): Likewise.
+       * uname.adb (Get_Unit_Name): Likewise.
+
+2021-07-06  Piotr Trojanek  <trojanek@adacore.com>
+
+       * lib-writ.adb (Ensure_System_Dependency): Simplify by reusing a
+       constant name.
+
+2021-07-06  Steve Baird  <baird@adacore.com>
+
+       * exp_ch5.adb
+       (Expand_N_Case_Statement.Expand_General_Case_Statement.Pattern_Match):
+       When generating an equality test for a statically known discrete
+       value, only generate the numeric value if the discrete type is
+       not an enumeration type.  If it is an enumeration type, then
+       call Get_Enum_Lit_From_Pos instead.
+
+2021-07-06  Justin Squirek  <squirek@adacore.com>
+
+       * par-ch6.adb (Get_Return_Kind): Removed.
+       (Is_Extended): Created to identify simple and "when" return
+       statements from extended return statements.
+       (P_Return_Statement): Merged simple and "when" return statement
+       processing.
+
+2021-07-06  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch4.adb (Try_One_Prefix_Interpretation): Augment test of
+       "not Extensions_Allowed" with test for absence of Obj_Type's
+       primitive operations Elist, as an additional condition for early
+       return from this procedure.
+
+2021-07-06  Gary Dismukes  <dismukes@adacore.com>
+
+       * exp_ch4.adb (Process_Transient_In_Expression): In one comment,
+       fix two typos and reorder wording of one sentence, plus minor
+       reformatting.
+
+2021-07-06  Justin Squirek  <squirek@adacore.com>
+
+       * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove
+       legacy expansion of element iterators, and use expansion form
+       used by unconstrained element types in the general case.
+
+2021-07-06  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch4.adb (Process_Transient_In_Expression): Ensure that
+       Fin_Context, used to insert finalization code for the
+       expression, is a list member: the value returned by
+       Find_Hook_Context may be an expression node when the transient
+       is part of a larger expression and it has a non-boolean type.
+
+2021-07-06  Yannick Moy  <moy@adacore.com>
+
+       * sem_case.adb: Fix error message.
+
+2021-07-06  Bob Duff  <duff@adacore.com>
+
+       * tbuild.adb (Convert_To): Add assert, along with a comment.
+       (Make_DT_Access): Remove this function, which is not used.  It
+       was incorrect anyway (the call to New_Occurrence_Of should not
+       be there).
+       (Unchecked_Convert_To): Add assert.  The previous version's test
+       for unchecked conversion to the same type was redundant and
+       could never be true, because the previous 'if' already checked
+       for ANY expression of the same type. Remove that, and replace
+       with a test for unchecked conversion to a related type.
+       Otherwise, we somethings get things like
+       "finalize(some_type!(some_type!(x)))" in the generated code,
+       where x is already of type some_type, but we're converting it to
+       the private type and then to the full type or vice versa (so the
+       types aren't equal, so the previous 'if' doesn't catch it).
+       Avoid updating the Parent. This is not necessary; the Parent
+       will be updated if/when the node is attached to the tree.
+       * tbuild.ads: Fix comments. No need to say "this is safe" when
+       we just explained that a few lines earlier.  Remove
+       Make_DT_Access.
+       * sinfo.ads: Add comments.
+       * exp_ch7.adb (Make_Finalize_Address_Stmts): Minor comment fix.
+       * gen_il-gen.adb, gen_il-gen.ads, gen_il-gen-gen_nodes.adb,
+       gen_il-internals.ads: Implement a feature where you can put:
+       Nmake_Assert => "expr" where expr is a boolean expression in a
+       call to Create_Concrete_Node_Type. It is added in a pragma
+       Assert in the Nmake.Make_... function for that type.
+
+2021-07-06  Gary Dismukes  <dismukes@adacore.com>
+
+       * checks.adb: Remove calls of Set_Do_Tag_Check (N, False).
+       * einfo.ads: Remove hanging unneeded ??? comment ("this real description
+       was clobbered").
+       * exp_util.ads (Insert_Actions_After): Remove ??? from spec comment.
+       * gen_il-fields.ads (Opt_Field_Enum): Remove literals
+       Do_Accessibility_Check and Do_Tag_Check.
+       * gen_il-gen-gen_nodes.adb: Remove all calls to Sm for
+       Do_Accessibility_Check and Do_Tag_Check.
+       * sem_type.ads (Is_Subtype_Of): Remove obsolete ???
+       comment (function is not limited to scalar subtypes).
+       * sem_util.ads (Is_Local_Variable_Reference): Revise comment to
+       mention out-mode parameters as well, and remove ???.
+       (Propagate_Concurrent_Flags): Minor reformatting.
+       (Propagate_Invariant_Attributes): Typo fix.
+       (Propagate_Predicate_Attributes): Indicate what is propagated
+       and remove ??? comment.
+       * sem_util.adb (Cannot_Raise_Constraint_Error): Remove unneeded
+       test of Do_Tag_Check.
+       (Is_Local_Variable_Reference): Extend function to testing for
+       formals of mode out as well.
+       * sinfo.ads: Remove ??? comment about flag
+       Convert_To_Return_False indicating that the flag is obsolete (in
+       fact it's used). Remove references to Do_Accessibility_Check and
+       Do_Tag_Check (and the two associated ??? comments), as these
+       flags are unneeded.
+       * sinfo-cn.adb (Change_Conversion_To_Unchecked): Remove call of
+       Set_Do_Tag_Check (N, False).
+       * targparm.ads (Support_Atomic_Primitives_On_Target): Remove ???
+       comment, plus minor reformatting.
+
+2021-07-06  Justin Squirek  <squirek@adacore.com>
+
+       * par-ch6.adb (Get_Return_Kind): Properly handle the case of a
+       "return when" statement in the procedure case.
+
+2021-07-06  Bob Duff  <duff@adacore.com>
+
+       * sem.ads (Node_To_Be_Wrapped): Minor comment fix.
+       * exp_ch7.adb (Establish_Transient_Scope): Misc cleanups and
+       comment improvements.
+       (Set_Node_To_Be_Wrapped): Remove -- not worth putting this code
+       in a separate procedure, called only once.
+       * sem_util.adb (Requires_Transient_Scope): Assert that our
+       parameter has the right Kind. It probably shouldn't be E_Void,
+       but that is passed in in some cases.
+       (Ensure_Minimum_Decoration): Move the call later, so we know Typ
+       is Present, and remove "if Present (Typ)" from this procedure.
+       * exp_aggr.adb (Convert_To_Assignments): Use membership test,
+       and avoid the "if False" idiom.
+       (Expand_Array_Aggregate): Remove a ??? comment.
+       * sem_ch8.adb (Push_Scope): Take advantage of the full coverage
+       rules for aggregates.
+       * sem_res.adb (Resolve_Declare_Expression): Remove test for
+       Is_Type -- that's all it can be.  Use named notation in call to
+       Establish_Transient_Scope.
+       * libgnat/a-cdlili.adb (Adjust): Remove redundant code.
+       (Clear): Remove "pragma Warnings (Off);", which wasn't actually
+       suppressing any warnings.
+
+2021-07-06  Bob Duff  <duff@adacore.com>
+
+       * gen_il-gen-gen_nodes.adb: Change the parent of
+       N_Exception_Declaration to be N_Declaration.  Minor comment fix.
+
+2021-07-06  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch4.adb (Expand_N_Type_Conversion): If the conversion is
+       the name of an assignment operation do not apply predicate check
+       to it prior to the assignment.
+
+2021-07-06  Bob Duff  <duff@adacore.com>
+
+       * libgnat/a-conhel.adb: Assert that tampering counts remain
+       between 0 and 2**31-1.  This makes debugging of
+       finalization-related bugs easier.
+
+2021-07-06  Doug Rupp  <rupp@adacore.com>
+
+       * Makefile.rtl (LIBGNAT_TARGET_PAIRS): Use s-osprim__posix.adb
+       vice s-osprim__vxworks.adb for all vxworks7r2 targets.
+
+2021-07-06  Richard Kenner  <kenner@adacore.com>
+
+       * gen_il-types.ads (Void_Or_Type_Kind,
+       Exception_Or_Object_Kind): Declare.
+       * gen_il-gen-gen_entities.adb: Likewise.
+
+2021-07-06  Gary Dismukes  <dismukes@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Add a
+       description of the feature of prefixed-view calls for untagged
+       types to the section on pragma Extensions_Allowed.
+       * gnat_rm.texi: Regenerate.
+       * einfo.ads: Update specification for
+       Direct_Primitive_Operations to reflect its use for untagged
+       types when Extensions_Allowed is True.
+       * gen_il-gen-gen_entities.adb: Allow Direct_Primitive_Operations
+       as a field of untagged classes of types by removing the "Pre"
+       test of "Is_Tagged_Type (N)", and making that field generally
+       available for all types and subtypes by defining it for
+       Type_Kind and removing its specification for individual classes
+       of types.
+       * sem_ch3.adb (Analyze_Full_Type_Declaration): Initialize the
+       Direct_Primitive_Operations list when not already set for the
+       new (sub)type and its base type (except when Ekind of the type
+       is E_Void, which can happen due to errors in cases where
+       Derived_Type_Declaration is called and perhaps in other
+       situations).
+       (Analyze_Subtype_Declaration): Inherit
+       Direct_Primitive_Operations list from the base type, for record
+       and private cases.
+       (Build_Derived_Record_Type): Initialize the
+       Direct_Primitive_Operations list for derived record and private
+       types.
+       (Build_Derived_Type): Initialize the Direct_Primitive_Operations
+       list for derived types (and also for their associated base types
+       when needed).
+       (Process_Full_View): For full types that are untagged record and
+       private types, copy the primitive operations of the partial view
+       to the primitives list of the full view.
+       * sem_ch4.adb (Analyze_Selected_Component): Allow prefixed
+       notation for subprogram calls in the case of untagged
+       types (when Extensions_Allowed is True). In the case where
+       Is_Private_Type (Prefix_Type) is True, call Try_Object_Operation
+       when a discriminant selector wasn't found. Also call
+       Try_Object_Operation in other type kind cases (when
+       Extensions_Allowed is True).
+       (Try_Object_Operation.Try_One_Prefixed_Interpretation): Prevent
+       early return in the untagged case (when Extensions_Allowed is
+       True). Condition main call to Try_Primitive_Operation on the
+       type having primitives, and after that, if Prim_Result is False,
+       test for case where the prefix type is a named access type with
+       primitive operations and in that case call
+       Try_Primitive_Operation after temporarily resetting Obj_Type to
+       denote the access type (and restore it to the designated type
+       after the call)
+       (Try_Object_Operation.Valid_First_Argument_Of): Do matching type
+       comparison by testing Base_Type (Obj_Type) against
+       Base_Type (Typ), rather than against just Typ, to properly
+       handle cases where the object prefix has a constrained
+       subtype.  (Fixes a bug discovered while working on this
+       feature.)
+       * sem_ch6.adb
+       (New_Overloaded_Entity.Check_For_Primitive_Subprogram): Add a
+       primitive of an untagged type to the type's list of primitive
+       operations, for both explicit and implicit (derived, so
+       Comes_From_Source is False) subprogram declarations. In the case
+       where the new primitive overrides an inherited subprogram,
+       locate the primitives Elist that references the overridden
+       subprogram, and replace that element of the list with the new
+       subprogram (done by calling the new procedure
+       Add_Or_Replace_Untagged_Primitive on the result type and each
+       formal atype).
+       (Check_For_Primitive_Subprogram.Add_Or_Replace_Untagged_Primitive):
+       New nested procedure to either add or replace an untagged
+       primitive subprogram in a given type's list of primitive
+       operations (replacement happens in case where the new subprogram
+       overrides a primitive of the type).
+       * sem_ch7.adb (New_Private_Type): When Extensions_Allowed is
+       True, initialize the Direct_Primitive_Operations list of a
+       private type to New_Elmt_List in the case of untagged types.
+       * sem_ch8.adb (Find_Selected_Component): In the case where the
+       prefix is an entity name, relax condition that tests
+       Has_Components so that Analyze_Selected_Component will also be
+       called when Extensions_Allowed is True and the prefix type is
+       any type.
+
+2021-07-06  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not perform
+       conformance check when the subprogram body has been created for
+       an expression function that is not a completion of a previous
+       specification, because the profile of the constructed body is
+       copied from the expression function itself.
+
+2021-07-06  Steve Baird  <baird@adacore.com>
+
+       * doc/gnat_rm/implementation_of_specific_ada_features.rst: Add a
+       warning indicating that the details of the default (i.e.,
+       selected by the compiler) implementation of T'Put_Image for a
+       nonscalar type T are subject to change.
+       * gnat_rm.texi: Regenerate.
+
 2021-07-05  Pierre-Marie de Rodat  <derodat@adacore.com>
 
        * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.
index cd01f5c117fbfe8503030205b556e4833084c7ca..0f1b45d964560d5b2c64b2e88538f5c559bf1e5c 100644 (file)
@@ -1,3 +1,9 @@
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * c-format.c (gcc_tdiag_char_table): Remove support for %G and %K.
+        (gcc_cdiag_char_table): Same.
+        (gcc_cxxdiag_char_table): Same.
+
 2021-07-02  Jakub Jelinek  <jakub@redhat.com>
 
        * c-common.h (enum c_omp_directive_kind): New enum.
index 27d6e891d24e9da36c75af7033f4955cee551ce0..ef6f4adf5a79e91c96aaa22938fb9cf0d65aaf17 100644 (file)
@@ -1,3 +1,7 @@
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * c-objc-common.c (c_tree_printer): Remove support for %G and %K.
+
 2021-07-02  Jakub Jelinek  <jakub@redhat.com>
 
        PR c/101297
index 90a2d2a501f1c8cd498eb7fd409ae333a581d920..31deb047da1468513b0ff84b072b4bec8f06d3bd 100644 (file)
@@ -1,3 +1,7 @@
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * error.c (cp_printer):  Remove support for %G and %K.
+
 2021-07-02  Jakub Jelinek  <jakub@redhat.com>
 
        * parser.h (struct cp_lexer): Add in_omp_attribute_pragma member.
index f9c97b023c95911ca78383e44502a1d92ae0c119..3cf3e7d1263b425398f2975b9c1177fd73e27cbe 100644 (file)
@@ -1,3 +1,10 @@
+2021-07-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/100227
+       * frontend-passes.c (traverse_io_block): Adjust test for
+       when a variable is eligible for the transformation to
+       array slice.
+
 2021-06-28  Martin Sebor  <msebor@redhat.com>
 
        * trans-array.c (trans_array_constructor): Replace direct uses
index 87cd3ed7ad68d945a6fd9d23c71841fbe7ee5a50..7e2e6b393cd9a5d31951833e5d7ce0e0fa37d2a8 100644 (file)
@@ -1,3 +1,124 @@
+2021-07-06  Indu Bhagat  <indu.bhagat@oracle.com>
+
+       PR debug/101283
+       * gcc.dg/debug/btf/btf-bitfields-3.c: Remove the check on btm_type.
+
+2021-07-06  Indu Bhagat  <indu.bhagat@oracle.com>
+
+       PR debug/101283
+       * gcc.dg/debug/ctf/ctf-attr-mode-1.c: Remove the check for ctv_typeidx.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       PR c++/55881
+       * g++.dg/warn/uninit-pr55881.C: New test.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       PR tree-optimization/86650
+       * gcc.dg/Warray-bounds-76.c: New test.
+
+2021-07-06  Indu Bhagat  <indu.bhagat@oracle.com>
+
+       PR debug/101283
+       * gcc.dg/debug/ctf/ctf-struct-array-2.c: Adjust the value in the testcase.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * gcc.dg/format/gcc_diag-10.c: Update expected warnings.
+       * gcc.dg/plugin/diagnostic_plugin_test_inlining.c: Remove %G.
+
+2021-07-06  Martin Sebor  <msebor@redhat.com>
+
+       * gcc.dg/Wobjsize-1.c: Prune expected output.
+       * gcc.dg/Warray-bounds-71.c: New test.
+       * gcc.dg/Warray-bounds-71.h: New test header.
+       * gcc.dg/Warray-bounds-72.c: New test.
+       * gcc.dg/Warray-bounds-73.c: New test.
+       * gcc.dg/Warray-bounds-74.c: New test.
+       * gcc.dg/Warray-bounds-75.c: New test.
+       * gcc.dg/Wfree-nonheap-object-4.c: Adjust expected output.
+       * gcc.dg/Wfree-nonheap-object-5.c: New test.
+       * gcc.dg/Wfree-nonheap-object-6.c: New test.
+       * gcc.dg/pragma-diag-10.c: New test.
+       * gcc.dg/pragma-diag-9.c: New test.
+       * gcc.dg/uninit-suppress_3.c: New test.
+       * gcc.dg/pr79214.c: Xfail tests.
+       * gcc.dg/tree-ssa/builtin-sprintf-warn-27.c: New test.
+       * gcc.dg/format/c90-printf-1.c: Adjust expected output.
+
+2021-07-06  Uroš Bizjak  <ubizjak@gmail.com>
+
+       PR target/97194
+       * gcc.target/i386/sse4_1-vec-set-1a.c: New test.
+       * gcc.target/i386/sse4_1-vec-set-2a.c: Ditto.
+
+2021-07-06  Richard Biener  <rguenther@suse.de>
+
+       * gcc.target/i386/vect-fmaddsubXXXpd.c: New testcase.
+       * gcc.target/i386/vect-fmaddsubXXXps.c: Likewise.
+       * gcc.target/i386/vect-fmsubaddXXXpd.c: Likewise.
+       * gcc.target/i386/vect-fmsubaddXXXps.c: Likewise.
+
+2021-07-06  Andrew Pinski  <apinski@marvell.com>
+
+       PR tree-optimization/101256
+       * g++.dg/torture/pr101256.C: New test.
+
+2021-07-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/100227
+       * gfortran.dg/implied_do_io_7.f90: New test.
+
+2021-07-06  Kewen Lin  <linkw@linux.ibm.com>
+
+       PR rtl-optimization/100328
+       * gcc.target/aarch64/sve/acle/asm/div_f16.c: Remove one xfail.
+       * gcc.target/aarch64/sve/acle/asm/div_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/div_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/divr_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/divr_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/divr_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mad_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mad_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mad_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mla_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mla_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mla_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mls_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mls_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mls_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/msb_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/msb_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/msb_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mulx_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mulx_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/mulx_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmad_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmad_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmad_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmla_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmla_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmla_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmls_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmls_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmls_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmsb_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmsb_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/nmsb_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/sub_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/sub_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/sub_f64.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/subr_f16.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/subr_f32.c: Likewise.
+       * gcc.target/aarch64/sve/acle/asm/subr_f64.c: Likewise.
+
+2021-07-06  Indu Bhagat  <indu.bhagat@oracle.com>
+
+       PR debug/101283
+       * gcc.dg/debug/btf/btf-cvr-quals-1.c: Use -gdwarf-4 on Darwin targets.
+       * gcc.dg/debug/ctf/ctf-cvr-quals-1.c: Likewise.
+
 2021-07-05  Andrew Pinski  <apinski@marvell.com>
 
        PR tree-optimization/101039