]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Daily bump.
authorGCC Administrator <gccadmin@gcc.gnu.org>
Wed, 14 Jun 2023 00:17:28 +0000 (00:17 +0000)
committerGCC Administrator <gccadmin@gcc.gnu.org>
Wed, 14 Jun 2023 00:17:28 +0000 (00:17 +0000)
contrib/ChangeLog
gcc/ChangeLog
gcc/DATESTAMP
gcc/ada/ChangeLog
gcc/c-family/ChangeLog
gcc/cp/ChangeLog
gcc/fortran/ChangeLog
gcc/m2/ChangeLog
gcc/testsuite/ChangeLog
libgomp/ChangeLog
libiberty/ChangeLog

index f30bb8508d2145d2f73fe1b38d010986e8dee83c..e3193524027d8bff9e69ab3d5245329218371f76 100644 (file)
@@ -1,3 +1,7 @@
+2023-06-13  Andi Kleen  <ak@linux.intel.com>
+
+       * gen_autofdo_event.py: Update for download server changes
+
 2023-06-03  Lehua Ding  <lehua.ding@rivai.ai>
 
        * clang-format (ForEachMacros): Add missing cases
index d318c0e9fb47f9afeefa9e8694d7b6c67e92c402..093361259f847615f2655df5105a545e2b752803 100644 (file)
@@ -1,3 +1,125 @@
+2023-06-13  Jeff Law  <jlaw@ventanamicro.com>
+
+       * gcc.cc (LINK_COMMAND_SPEC): Remove mudflap spec handling.
+
+2023-06-13  Jeff Law  <jlaw@ventanamicro.com>
+
+       * config/sh/divtab.cc: Remove.
+
+2023-06-13  Jakub Jelinek  <jakub@redhat.com>
+
+       * config/i386/i386.cc (standard_sse_constant_opcode): Remove
+       superfluous spaces around \t for vpcmpeqd.
+
+2023-06-13  Roger Sayle  <roger@nextmovesoftware.com>
+
+       * expr.cc (store_constructor) <case VECTOR_TYPE>: Don't bother
+       clearing vectors with only a single element.  Set CLEARED if the
+       vector was initialized to zero.
+
+2023-06-13  Lehua Ding  <lehua.ding@rivai.ai>
+
+       * config/riscv/riscv-v.cc (struct mode_vtype_group): Remove duplicate
+       #include.
+       (ENTRY): Undef.
+       (TUPLE_ENTRY): Undef.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * config/riscv/riscv-v.cc (rvv_builder::single_step_npatterns_p): Add comment.
+       (shuffle_generic_patterns): Ditto.
+       (expand_vec_perm_const_1): Ditto.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): Fix bug.
+       (shuffle_decompress_patterns): Ditto.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-loop-ch.cc (ch_base::copy_headers): Free loop BBs.
+
+2023-06-13  Yanzhang Wang  <yanzhang.wang@intel.com>
+           Kito Cheng  <kito.cheng@sifive.com>
+
+       * config/riscv/riscv-protos.h (riscv_init_cumulative_args): Set
+       warning flag if func is not builtin
+       * config/riscv/riscv.cc
+       (riscv_scalable_vector_type_p): Determine whether the type is scalable vector.
+       (riscv_arg_has_vector): Determine whether the arg is vector type.
+       (riscv_pass_in_vector_p): Check the vector type param is passed by value.
+       (riscv_init_cumulative_args): The same as header.
+       (riscv_get_arg_info): Add the checking.
+       (riscv_function_value): Check the func return and set warning flag
+       * config/riscv/riscv.h (INIT_CUMULATIVE_ARGS): Add a flag to
+       determine whether warning psabi or not.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       * config/arm/arm-opts.h (enum arm_tp_type): Remove TP_CP15.
+       Add TP_TPIDRURW, TP_TPIDRURO, TP_TPIDRPRW values.
+       * config/arm/arm-protos.h (arm_output_load_tpidr): Declare prototype.
+       * config/arm/arm.cc (arm_option_reconfigure_globals): Replace TP_CP15
+       with TP_TPIDRURO.
+       (arm_output_load_tpidr): Define.
+       * config/arm/arm.h (TARGET_HARD_TP): Define in terms of TARGET_SOFT_TP.
+       * config/arm/arm.md (load_tp_hard): Call arm_output_load_tpidr to output
+       assembly.
+       (reload_tp_hard): Likewise.
+       * config/arm/arm.opt (tpidrurw, tpidruro, tpidrprw): New values for
+       arm_tp_type.
+       * doc/invoke.texi (Arm Options, mtp): Document new values.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       PR target/108779
+       * config/aarch64/aarch64-opts.h (enum aarch64_tp_reg): Add
+       AARCH64_TPIDRRO_EL0 value.
+       * config/aarch64/aarch64.cc (aarch64_output_load_tp): Define.
+       * config/aarch64/aarch64.opt (tpidr_el0, tpidr_el1, tpidr_el2,
+       tpidr_el3, tpidrro_el3): New accepted values to -mtp=.
+       * doc/invoke.texi (AArch64 Options): Document new -mtp= options.
+
+2023-06-13  Alexandre Oliva  <oliva@adacore.com>
+
+       * range-op-float.cc (frange_nextafter): Drop inline.
+       (frelop_early_resolve): Add static.
+       (frange_float): Likewise.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/110232
+       * fold-const.cc (native_interpret_vector): Use TYPE_SIZE_UNIT
+       to check whether the buffer covers the whole vector.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): For
+       .MASK_LOAD and friends set the size of the access to unknown.
+
+2023-06-13  Tejas Belagod  <tbelagod@arm.com>
+
+       PR target/96339
+       * config/aarch64/aarch64-sve-builtins-base.cc (svlast_impl::fold): Fold sve
+       calls that have a constant input predicate vector.
+       (svlast_impl::is_lasta): Query to check if intrinsic is svlasta.
+       (svlast_impl::is_lastb): Query to check if intrinsic is svlastb.
+       (svlast_impl::vect_all_same): Check if all vector elements are equal.
+
+2023-06-13  Andi Kleen  <ak@linux.intel.com>
+
+       * config/i386/gcc-auto-profile: Regenerate.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * config/riscv/vector-iterators.md: Fix requirement.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): New function.
+       (shuffle_decompress_patterns): New function.
+       (expand_vec_perm_const_1): Add decompress optimization.
+
 2023-06-12  Jeff Law  <jlaw@ventanamicro.com>
 
        PR rtl-optimization/101188
index 5180e2ea7c693adb1c0f932a2cb9511d10508dca..60b8c2b92b73648946372b23400e2a2c5659d8db 100644 (file)
@@ -1 +1 @@
-20230613
+20230614
index fe1d77d68d7579445bb93f4e93784bb722c3b136..187025017e071bff53a06a798eca2b2613404fbd 100644 (file)
@@ -1,3 +1,329 @@
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Iterated_Component_Association): Simply resolve
+       the expression.
+
+2023-06-13  Bob Duff  <duff@adacore.com>
+
+       * exp_ch4.adb
+       (Expand_N_Quantified_Expression): Detect the secondary-stack
+       case, and find the innermost scope where we should mark/release,
+       and Set_Uses_Sec_Stack on that. Skip intermediate blocks and loops
+       that are part of expansion.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.adb (Is_Repeatedly_Evaluated): Recognize iterated component
+       association as repeatedly evaluated.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.adb (Is_Potentially_Unevaluated): Recognize iterated
+       component association as potentially unevaluated.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_res.adb (Resolve_Call): Replace early call to
+       In_Quantified_Expression with a call to Is_Potentially_Unevaluated that
+       was only done when Full_Analysis is true.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * aspects.ads (Aspect_Id): Add new aspect.
+       (Implementation_Defined_Aspect): New aspect is
+       implementation-defined.
+       (Aspect_Argument): New aspect has an expression argument.
+       (Is_Representation_Aspect): New aspect is not a representation
+       aspect.
+       (Aspect_Names): Link new aspect identifier with a name.
+       (Aspect_Delay): New aspect is never delayed.
+       * contracts.adb (Expand_Subprogram_Contract): Mention new aspect
+       in comment.
+       (Add_Contract_Item): Attach pragma corresponding to the new aspect
+       to contract items.
+       (Analyze_Entry_Or_Subprogram_Contract): Analyze pragma
+       corresponding to the new aspect that appears with subprogram spec.
+       (Analyze_Subprogram_Body_Stub_Contract): Expand pragma
+       corresponding to the new aspect.
+       * contracts.ads
+       (Add_Contract_Item, Analyze_Entry_Or_Subprogram_Contract)
+       (Analyze_Entry_Or_Subprogram_Body_Contract)
+       (Analyze_Subprogram_Body_Stub_Contract): Mention new aspect in
+       comment.
+       * einfo-utils.adb (Get_Pragma): Return pragma attached to
+       contract.
+       * einfo-utils.ads (Get_Pragma): Mention new contract in comment.
+       * exp_prag.adb (Expand_Pragma_Always_Terminates): Placeholder for
+       possibly expanding new aspect.
+       * exp_prag.ads (Expand_Pragma_Always_Terminates): Dedicated
+       routine for expansion of the new aspect.
+       * inline.adb (Remove_Aspects_And_Pragmas): Remove aspect from
+       inlined bodies.
+       * par-prag.adb (Prag): Postpone checking of the pragma until
+       analysis.
+       * sem_ch12.adb: Mention new aspect in explanation of handling
+       contracts on generic units.
+       * sem_ch13.adb (Analyze_Aspect_Specifications): Convert new aspect
+       into a corresponding pragma.
+       (Check_Aspect_At_Freeze_Point): Don't expect new aspect.
+       * sem_prag.adb (Analyze_Always_Terminates_In_Decl_Part): Analyze
+       pragma corresponding to the new aspect.
+       (Analyze_Pragma): Handle pragma corresponding to the new aspect.
+       (Is_Non_Significant_Pragma_Reference): Handle references appearing
+       within new aspect.
+       * sem_prag.ads (Aspect_Specifying_Pragma): New aspect can be
+       emulated with a pragma.
+       (Assertion_Expression_Pragma): New aspect has an assertion
+       expression.
+       (Pragma_Significant_To_Subprograms): New aspect is significant to
+       subprograms.
+       (Analyze_Always_Terminates_In_Decl_Part): Add spec for routine
+       that analyses new aspect.
+       (Find_Related_Declaration_Or_Body): Mention new aspect in comment.
+       * sem_util.adb (Is_Subprogram_Contract_Annotation): New aspect is
+       a subprogram contract annotation.
+       * sem_util.ads (Is_Subprogram_Contract_Annotation): Mention new
+       aspect in comment.
+       * sinfo.ads (Is_Generic_Contract_Pragma): New pragma is a generic
+       contract.
+       (Contract): Explain attaching new pragma to subprogram contract.
+       * snames.ads-tmpl (Name_Always_Terminates): New name for the new
+       contract.
+       (Pragma_Always_Terminates): New pragma identifier.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_elab.adb (Check_Overriding_Primitive): Prevent Corresponding_Body
+       to be called with entity of an abstract subprogram.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch12.adb (Save_References_In_Identifier): In the case where
+       the identifier has been turned into a function call by analysis,
+       call Set_Global_Type on the entity if it is global.
+
+2023-06-13  Marc Poulhiès  <poulhies@adacore.com>
+
+       * sem_aggr.adb (Resolve_Iterated_Component_Association): Call
+       Preanalyze_And_Resolve instead of Resolve_Aggr_Expr except for
+       aggregate.
+       Co-authored-by: Ed Schonberg <schonberg@adacore.com>
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * contracts.adb (Contract_Error): New exception.
+       (Add_Contract_Item): Raise Contract_Error instead of Program_Error.
+       (Add_Generic_Contract_Pragma): Deal with Contract_Error.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_attr.adb (Eval_Attribute): Add more exceptions to the early
+       return for a prefix which is a nonfrozen generic actual type.
+       * sem_ch12.adb (Copy_Generic_Node): Also check private views in the
+       case of an entity name or operator analyzed as a function call.
+       (Set_Global_Type): Make it a child of Save_Global_References.
+       (Save_References_In_Operator): In the case where the operator has
+       been turned into a function call, call Set_Global_Type on the entity
+       if it is global.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): For a
+       subprogram body that has no contracts and does not come from source,
+       make sure that contracts on its corresponding spec are analyzed, if
+       any, before expanding them.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gen_il-fields.ads (Opt_Field_Enum): Add No_Finalize_Actions and
+       remove No_Side_Effect_Removal.
+       * gen_il-gen-gen_nodes.adb (N_Function_Call): Remove semantic flag
+       No_Side_Effect_Removal
+       (N_Assignment_Statement): Add semantic flag No_Finalize_Actions.
+       * sinfo.ads (No_Ctrl_Actions): Adjust comment.
+       (No_Finalize_Actions): New flag on assignment statements.
+       (No_Side_Effect_Removal): Delete.
+       * exp_aggr.adb (Build_Record_Aggr_Code): Remove obsolete comment and
+       Ancestor_Is_Expression variable.  In the case of an extension, do
+       not generate a call to Adjust manually, call Set_No_Finalize_Actions
+       instead.  Do not set the tags, replace call to Make_Unsuppress_Block
+       by Make_Suppress_Block and remove useless assertions.
+       In the general case, call Initialize_Component.
+       (Initialize_Controlled_Component): Delete.
+       (Initialize_Simple_Component): Delete.
+       (Initialize_Component): Do the low-level processing, but do not
+       generate a call to Adjust manually, call Set_No_Finalize_Actions.
+       (Process_Transient_Component): Delete.
+       (Process_Transient_Component_Completion): Likewise.
+       * exp_ch5.adb (Expand_Assign_Array): Deal with No_Finalize_Actions.
+       (Expand_Assign_Array_Loop): Likewise.
+       (Expand_N_Assignment_Statement): Likewise.
+       (Make_Tag_Ctrl_Assignment): Likewise.
+       * exp_util.adb (Remove_Side_Effects): Do not test the
+       No_Side_Effect_Removal flag.
+       * sem_prag.adb (Process_Suppress_Unsuppress): Give the warning in
+       SPARK mode only for pragma Suppress.
+       * tbuild.ads (Make_Suppress_Block): New declaration.
+       (Make_Unsuppress_Block): Adjust comment.
+       * tbuild.adb (Make_Suppress_Block): New procedure.
+       (Make_Unsuppress_Block): Unsuppress instead of suppressing.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch5.adb (Analyze_Assignment): Turn Rhs into a constant and
+       remove calls to the following subprograms.
+       (Transform_BIP_Assignment): Delete.
+       (Should_Transform_BIP_Assignment): Likewise.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.ads (Is_Inherited_Operation_For_Type): Remove spec.
+       * sem_util.adb (Is_Inherited_Operation_For_Type): Remove body.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_aggr.adb (Build_Record_Aggr_Code): Add new variable Ancestor_Q
+       to store the result of Unqualify on Ancestor.  Remove the dead call
+       to Generate_Finalization_Actions in the case of another aggregate as
+       ancestor part.  Remove the redundant setting of Assignment_OK.  Use
+       Init_Typ in lieu of Etype (Ancestor) more consistently.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_aggr.adb (Build_Record_Aggr_Code): In the case of an extension
+       aggregate of a limited type whose ancestor part is an aggregate, do
+       not skip the final code assigning the tag of the extension.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+       * ghost.adb (Check_Ghost_Context): Allow absence of Ghost_Id
+       for attribute. Update error message to mention Ghost_Predicate.
+       (Is_Ghost_Attribute_Reference): New query.
+       * ghost.ads (Is_Ghost_Attribute_Reference): New query.
+       * sem_attr.adb (Resolve_Attribute): Check ghost context for ghost
+       attributes.
+
+2023-06-13  Daniel King  <dmking@adacore.com>
+
+       * libgnat/s-stoele.ads: Add No_Elaboration_Code_All pragma.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_util.ads (Make_Tag_Assignment_From_Type): Declare.
+       * exp_util.adb (Make_Tag_Assignment_From_Type): New function.
+       * exp_aggr.adb (Build_Record_Aggr_Code): Call the above function.
+       (Initialize_Simple_Component): Likewise.
+       * exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Likewise.
+       (Build_Record_Init_Proc.Build_Init_Procedure ): Likewise.
+       (Make_Tag_Assignment): Likewise.  Rename local variable and call
+       Unqualify to go through qualified expressions.
+       * exp_ch4.adb (Expand_Allocator_Expression): Likewise.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+       * libgnat/a-strsup.ads: Change predicate aspect.
+       * sem_ch13.adb (Add_Predicate): Fix for first predicate.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_aggr.adb (Initialize_Component): Perform immediate expansion
+       of the initialization expression if it is a conditional expression
+       and the component type is controlled.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_aggr.adb (Initialize_Component): New procedure factored out
+       from the processing of array and record aggregates.
+       (Initialize_Controlled_Component): Likewise.
+       (Initialize_Simple_Component): Likewise.
+       (Build_Array_Aggr_Code.Gen_Assign): Remove In_Loop parameter.
+       Call Initialize_Component to initialize the component.
+       (Initialize_Array_Component): Delete.
+       (Initialize_Ctrl_Array_Component): Likewise.
+       (Build_Array_Aggr_Code): Adjust calls to Gen_Assign.
+       (Build_Record_Aggr_Code): Call Initialize_Simple_Component or
+       Initialize_Component to initialize the component.
+       (Initialize_Ctrl_Record_Component): Delete.
+       (Initialize_Record_Component): Likewise.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_ch11.adb (Expand_N_Raise_Statement): Expansion of raise statements
+       never happens in GNATprove mode.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_ch11.adb (Find_Local_Handler): Replace guard against other
+       constructs appearing in the list of exception handlers with iteration
+       using First_Non_Pragma/Next_Non_Pragma.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_ch11.ads (Find_Local_Handler): Fix typo in comment.
+       * exp_ch11.adb (Find_Local_Handler): Remove redundant check for the
+       Exception_Handler list being present; use membership test to eliminate
+       local object LCN; fold nested IF statements. Remove useless ELSIF
+       condition.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.adb (Check_Function_Writable_Actuals): Tune style; use
+       subtype name to detect membership test nodes.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_disp.adb (Make_Disp_Asynchronous_Select_Spec): Use a single call
+       to New_List.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_aspects.rst: Document new
+       aspect.
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Whitespace.
+       * aspects.adb (Init_Canonical_Aspect): Set it to Predicate.
+       * aspects.ads: Set global constants for new aspect.
+       * einfo.ads: Describe new flag related to new aspect.
+       * exp_ch6.adb (Can_Fold_Predicate_Call): Do not fold new aspect.
+       * exp_util.adb (Make_Predicate_Check): Add comment.
+       * gen_il-fields.ads: Add new flag.
+       * gen_il-gen-gen_entities.adb: Add new flag.
+       * ghost.adb (Is_OK_Ghost_Context): Ghost predicate is an OK
+       ghost context.
+       (Mark_Ghost_Pragma): Add overloading with ghost mode parameter.
+       * ghost.ads (Mark_Ghost_Pragma): Add overloading with ghpst mode
+       parameter.
+       (Name_To_Ghost_Mode): Make function public.
+       * sem_aggr.adb: Issue error for violation of valid use.
+       * sem_case.adb: Issue error for violation of valid use.
+       * sem_ch13.adb: Adapt for new aspect.
+       * sem_ch3.adb (Analyze_Full_Type_Declaration): Remove dead code
+       which was trying to propagate Has_Predicates flag in the wrong
+       direction (from derived to parent type).
+       (Analyze_Number_Declaration): Issue error for violation of valid
+       use.
+       (Build_Derived_Type): Cleanup inheritance of predicate flags from
+       parent to derived type.
+       (Build_Predicate_Function): Only add a predicate check when it
+       is not ignored as Ghost code.
+       * sem_ch4.adb (Analyze_Membership_Op): Issue an error for use of
+       a subtype with a ghost predicate as name in a membership test.
+       * sem_ch5.adb (Check_Predicate_Use): Issue error for violation of
+       valid use.
+       * sem_eval.adb: Adapt code for Dynamic_Predicate to account for
+       Ghost_Predicate too.
+       * sem_prag.adb (Analyze_Pragma): Make pragma ghost or not.
+       * sem_util.adb (Bad_Predicated_Subtype_Use): Adapt to new aspect.
+       (Inherit_Predicate_Flags): Add inheritance of flag. Add parameter
+       to apply to derived types.
+       * sem_util.ads (Inherit_Predicate_Flags): Change signature.
+       * snames.ads-tmpl: Add new aspect name.
+       * gnat_rm.texi: Regenerate.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_ch3.adb (Make_Controlling_Function_Wrappers): Remove early
+       decoration.
+
 2023-05-30  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.cc (get_storage_model_access): Also strip any
index 6ba50eb347ec4393e3f3eb4831804c66ab709b12..10c4a599b21339b1027e10ddfc6675a7b914910d 100644 (file)
@@ -1,3 +1,10 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/84890
+       * known-headers.cc
+       (suggest_missing_header::~suggest_missing_header): Reword note to
+       avoid negative tone of "forgetting".
+
 2023-06-07  Jason Merrill  <jason@redhat.com>
 
        PR c++/58487
index 8027cfa1100b65c0d25db541e38a35a5cb9fa28f..863e31d6cd843e9b653f2f2186efd90e66301958 100644 (file)
@@ -1,3 +1,13 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/84890
+       * name-lookup.cc (missing_std_header::~missing_std_header): Reword
+       note to avoid negative tone of "forgetting".
+
+2023-06-13  Jason Merrill  <jason@redhat.com>
+
+       * tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
+
 2023-06-12  Tobias Burnus  <tobias@codesourcery.com>
 
        * parser.cc (cp_parser_omp_clause_map): Reword error message for
index 859bd72b22be4966f6f14772ce537be58ad4ed70..7c6474ed86da342971bb5d02b5f87988be48f718 100644 (file)
@@ -1,3 +1,11 @@
+2023-06-13  Harald Anlauf  <anlauf@gmx.de>
+           Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/86277
+       * trans-array.cc (gfc_trans_allocate_array_storage): When passing a
+       zero-sized array with fixed (= non-dynamic) size, allocate temporary
+       by the caller, not by the callee.
+
 2023-06-10  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
        * f95-lang.cc (gfc_init_builtin_functions): Add fmax() and
index 8d16e1e5f03cda9f7a5085dd50288100e972da10..85ab4e6bcfdeaaa4dbfb37d767affcd9bd07a0b5 100644 (file)
@@ -1,3 +1,21 @@
+2023-06-13  Gaius Mulley  <gaiusmod2@gmail.com>
+
+       * Make-lang.in (check-format-error): New rule.
+       * gm2-compiler/M2MetaError.mod (op): Add calls InternalError if
+       digits are detected.
+       * gm2-compiler/M2Quads.mod (BuildForToByDo): Bugfix to format
+       specifier.
+       (BuildLengthFunction): Bugfix to format specifiers.
+       (BuildOddFunction): Bugfix to format specifiers.
+       (BuildAbsFunction): Bugfix to format specifiers.
+       (BuildCapFunction): Bugfix to format specifiers.
+       (BuildChrFunction): Bugfix to format specifiers.
+       (BuildOrdFunction): Bugfix to format specifiers.
+       (BuildMakeAdrFunction): Bugfix to format specifiers.
+       (BuildSizeFunction): Bugfix to format specifiers.
+       (BuildBitSizeFunction): Bugfix to format specifiers.
+       * tools-src/checkmeta.py: New file.
+
 2023-06-12  Gaius Mulley  <gaiusmod2@gmail.com>
 
        PR modula2/110189
index 6a53230648d65faf79299fa8dbd6163a495e50f2..5a7ed4d43f598e5239bfda9d98beda844c1ef81a 100644 (file)
@@ -1,3 +1,149 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/84890
+       * g++.dg/cpp2a/srcloc3.C: Update expected message.
+       * g++.dg/lookup/missing-std-include-2.C: Likewise.
+       * g++.dg/lookup/missing-std-include-3.C: Likewise.
+       * g++.dg/lookup/missing-std-include-6.C: Likewise.
+       * g++.dg/lookup/missing-std-include.C: Likewise.
+       * g++.dg/spellcheck-inttypes.C: Likewise.
+       * g++.dg/spellcheck-stdint.C: Likewise.
+       * g++.dg/spellcheck-stdlib.C: Likewise.
+       * gcc.dg/spellcheck-inttypes.c: Likewise.
+       * gcc.dg/spellcheck-stdbool.c: Likewise.
+       * gcc.dg/spellcheck-stdint.c: Likewise.
+       * gcc.dg/spellcheck-stdlib.c: Likewise.
+
+2023-06-13  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+       * gfortran.dg/data_array_7.f90: New test.
+
+2023-06-13  Harald Anlauf  <anlauf@gmx.de>
+           Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/86277
+       * gfortran.dg/zero_sized_14.f90: New test.
+       * gfortran.dg/zero_sized_15.f90: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * gcc.target/riscv/rvv/autovec/partial/slp-10.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp-11.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp-13.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp-14.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp-15.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-10.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-11.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-13.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-14.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-15.c: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * gcc.target/riscv/rvv/autovec/partial/slp-12.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-12.c: New test.
+
+2023-06-13  Jason Merrill  <jason@redhat.com>
+
+       * g++.dg/tree-ssa/initlist-opt6.C: New test.
+
+2023-06-13  Yanzhang Wang  <yanzhang.wang@intel.com>
+           Kito Cheng  <kito.cheng@sifive.com>
+
+       * g++.target/riscv/rvv/base/pr109244.C: Add the -Wno-psabi.
+       * g++.target/riscv/rvv/base/pr109535.C: Same
+       * gcc.target/riscv/rvv/base/binop_vx_constraint-120.c: Same
+       * gcc.target/riscv/rvv/base/integer_compare_insn_shortcut.c: Same
+       * gcc.target/riscv/rvv/base/mask_insn_shortcut.c: Same
+       * gcc.target/riscv/rvv/base/misc_vreinterpret_vbool_vint.c: Same
+       * gcc.target/riscv/rvv/base/pr110109-2.c: Same
+       * gcc.target/riscv/rvv/base/scalar_move-9.c: Same
+       * gcc.target/riscv/rvv/base/spill-10.c: Same
+       * gcc.target/riscv/rvv/base/spill-11.c: Same
+       * gcc.target/riscv/rvv/base/spill-9.c: Same
+       * gcc.target/riscv/rvv/base/vlmul_ext-1.c: Same
+       * gcc.target/riscv/rvv/base/zero_base_load_store_optimization.c: Same
+       * gcc.target/riscv/rvv/base/zvfh-intrinsic.c: Same
+       * gcc.target/riscv/rvv/base/zvfh-over-zvfhmin.c: Same
+       * gcc.target/riscv/rvv/base/zvfhmin-intrinsic.c: Same
+       * gcc.target/riscv/rvv/vsetvl/vsetvl-1.c: Same
+       * gcc.target/riscv/vector-abi-1.c: New test.
+       * gcc.target/riscv/vector-abi-2.c: New test.
+       * gcc.target/riscv/vector-abi-3.c: New test.
+       * gcc.target/riscv/vector-abi-4.c: New test.
+       * gcc.target/riscv/vector-abi-5.c: New test.
+       * gcc.target/riscv/vector-abi-6.c: New test.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       * gcc.target/arm/mtp.c: New test.
+       * gcc.target/arm/mtp_1.c: New test.
+       * gcc.target/arm/mtp_2.c: New test.
+       * gcc.target/arm/mtp_3.c: New test.
+       * gcc.target/arm/mtp_4.c: New test.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       PR target/108779
+       * gcc.target/aarch64/mtp_5.c: New test.
+       * gcc.target/aarch64/mtp_6.c: New test.
+       * gcc.target/aarch64/mtp_7.c: New test.
+       * gcc.target/aarch64/mtp_8.c: New test.
+       * gcc.target/aarch64/mtp_9.c: New test.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/110232
+       * gcc.target/i386/pr110232.c: New testcase.
+
+2023-06-13  Ajit Kumar Agarwal  <aagarwa1@linux.ibm.com>
+
+       PR testsuite/109880
+       * gcc.target/powerpc/fold-vec-extract-int.p8.c: Update test.
+
+2023-06-13  Kewen Lin  <linkw@linux.ibm.com>
+
+       PR testsuite/110230
+       PR target/109932
+       * gcc.target/powerpc/pr109932-1.c: Adjust with int128 effective target.
+       * gcc.target/powerpc/pr109932-2.c: Ditto.
+
+2023-06-13  Pan Li  <pan2.li@intel.com>
+
+       * gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c:
+       Adjust dg-do to comiple for asm checking.
+
+2023-06-13  Tejas Belagod  <tbelagod@arm.com>
+
+       PR target/96339
+       * gcc.target/aarch64/sve/acle/general-c/svlast.c: New.
+       * gcc.target/aarch64/sve/acle/general-c/svlast128_run.c: New.
+       * gcc.target/aarch64/sve/acle/general-c/svlast256_run.c: New.
+       * gcc.target/aarch64/sve/pcs/return_4.c (caller_bf16): Fix asm
+       to expect optimized code for function body.
+       * gcc.target/aarch64/sve/pcs/return_4_128.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_4_256.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_4_512.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_4_1024.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_4_2048.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5_128.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5_256.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5_512.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5_1024.c (caller_bf16): Likewise.
+       * gcc.target/aarch64/sve/pcs/return_5_2048.c (caller_bf16): Likewise.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+       * gcc.target/riscv/rvv/autovec/partial/slp-8.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp-9.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-8.c: New test.
+       * gcc.target/riscv/rvv/autovec/partial/slp_run-9.c: New test.
+
 2023-06-12  Gaius Mulley  <gaiusmod2@gmail.com>
 
        PR modula2/110189
index 2e73b0a12e5430b58997777fc02220f70fe516da..d414241ecc006f864f36dcc702612c08ff1997c6 100644 (file)
@@ -1,3 +1,9 @@
+2023-06-13  Tobias Burnus  <tobias@codesourcery.com>
+
+       PR libgomp/109837
+       * testsuite/libgomp.c-c++-common/requires-unified-addr-1.c: New test.
+       * testsuite/libgomp.fortran/requires-unified-addr-1.f90: New test.
+
 2023-06-12  Tobias Burnus  <tobias@codesourcery.com>
 
        * target.c (gomp_to_device_kind_p, gomp_map_vars_internal): Replace
index 3d661691c62667f3b0fa2c747634bde97a07e0ed..7f46e9f967d8c7955fdb7a63007f703254dda8f4 100644 (file)
@@ -1,3 +1,9 @@
+2023-06-13  Nathan Sidwell  <nathan@acm.org>
+
+       * cp-demangle.c (d_print_conversion): Remove incorrect
+       template instantiation handling.
+       * testsuite/demangle-expected: Add testcases.
+
 2023-06-07  Costas Argyris  <costas.argyris@gmail.com>
 
        * argv.c (writeargv): Constant propagate "0" for "status",