https://gcc.gnu.org/g:3700bd68d1b01f0fe6d15f8a40b7fdca0904d5aa
commit r15-496-g3700bd68d1b01f0fe6d15f8a40b7fdca0904d5aa Author: GCC Administrator <gccadmin@gcc.gnu.org> Date: Wed May 15 00:17:37 2024 +0000 Daily bump. Diff: --- ChangeLog | 4 + contrib/ChangeLog | 4 + gcc/ChangeLog | 85 ++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 404 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 11 ++ gcc/testsuite/ChangeLog | 58 +++++++ libstdc++-v3/ChangeLog | 20 +++ 8 files changed, 587 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 626b3b34d75b..cfe02776038e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2024-05-14 Filip Kastl <fka...@suse.cz> + + * MAINTAINERS: Use tabs between name and email. + 2024-05-13 Xiao Zeng <zengx...@eswincomputing.com> * MAINTAINERS: Add myself. diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 2c8b7d643daa..90b3f3657ff9 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2024-05-14 Filip Kastl <fka...@suse.cz> + + * check-MAINTAINERS.py: Add warning about not using tabs. + 2024-05-09 Jakub Jelinek <ja...@redhat.com> * gcc-changelog/git_update_version.py: Replace diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3aa0ff003fda..022465aadb1e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,88 @@ +2024-05-14 Dimitar Dimitrov <dimi...@dinux.eu> + + PR rtl-optimization/115013 + * config/pru/pru.cc (pru_class_likely_spilled_p): Implement + to mark classes containing one SImode register as likely + spilled. + (TARGET_CLASS_LIKELY_SPILLED_P): Define. + +2024-05-14 Vineet Gupta <vine...@rivosinc.com> + + * config/riscv/riscv.h: New macros to check for sum of two S12 + range. + * config/riscv/constraints.md: New constraint. + * config/riscv/predicates.md: New Predicate. + * config/riscv/riscv.md: New splitter. + * config/riscv/riscv.cc (riscv_reg_frame_related): New helper. + * config/riscv/riscv-protos.h: New helper prototype. + +2024-05-14 Richard Biener <rguent...@suse.de> + + PR tree-optimization/99954 + * tree-data-ref.cc (dr_may_alias_p): For bases that are + not completely analyzed fall back to TBAA and points-to. + * tree-loop-distribution.cc + (loop_distribution::classify_builtin_ldst): When there + is no dependence again classify as memcpy. + * tree-ssa-alias.cc (ptr_deref_may_alias_decl_p): Verify + the pointer is an SSA name. + +2024-05-14 Christoph Müllner <christoph.muell...@vrull.eu> + + * config/riscv/riscv-protos.h (riscv_expand_block_clear): New prototype. + * config/riscv/riscv-string.cc (riscv_expand_block_clear_zicboz_zic64b): + New function to expand a block-clear with cbo.zero. + (riscv_expand_block_clear): New RISC-V block-clear expansion function. + * config/riscv/riscv.md (setmem<mode>): New setmem expansion. + +2024-05-14 Christoph Müllner <christoph.muell...@vrull.eu> + + * expr.cc (clear_by_pieces): Remove static from clear_by_pieces. + * expr.h (clear_by_pieces): Add prototype for clear_by_pieces. + +2024-05-14 Tom de Vries <tdevr...@suse.de> + + PR debug/115066 + * dwarf2out.cc (output_macinfo_op): Fix DW_MACRO_define_strx/strp + choice for v4 .debug_macro.dwo. Add asserts to check that choice. + +2024-05-14 Jan Hubicka <j...@suse.cz> + + PR ipa/113291 + * ipa-inline.cc (enum can_inline_edge_by_limits_flags): New enum. + (can_inline_edge_by_limits_p): Take flags instead of multiple bools; add flag + for forcing inlinie limits. + (can_early_inline_edge_p): Update. + (want_inline_self_recursive_call_p): Update; use FORCE_LIMITS mode. + (check_callers): Update. + (update_caller_keys): Update. + (update_callee_keys): Update. + (recursive_inlining): Update. + (add_new_edges_to_heap): Update. + (speculation_useful_p): Update. + (inline_small_functions): Clear DECL_DISREGARD_INLINE_LIMITS on self recursion. + (flatten_function): Update. + (inline_to_all_callers_1): Update. + +2024-05-14 Haochen Gui <guih...@gcc.gnu.org> + + * config/rs6000/rs6000.cc (TARGET_OVERLAP_OP_BY_PIECES_P): Define. + +2024-05-14 Jeff Law <j...@ventanamicro.com> + + Revert: + 2024-05-13 Sergei Lewis <sle...@rivosinc.com> + + * config/riscv/riscv.md (movmem<mode>): Use riscv_vector::expand_block_move, + if and only if we know the entire operation can be performed using one vector + load followed by one vector store + +2024-05-14 Pan Li <pan2...@intel.com> + + * config/riscv/riscv-vector-builtins.cc + (validate_instance_type_required_extensions): Remove the + operator from the trailing and put it to new line. + 2024-05-13 Jeff Law <j...@ventanamicro.com> * config/riscv/bitmanip.md: Add new splitter for AND with diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 9c258c501dbf..f67275af10fb 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240514 +20240515 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index da19ddddf6cd..2095166460ec 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,407 @@ +2024-05-14 Piotr Trojanek <troja...@adacore.com> + + * aspects.ads (Aspect_Id, Boolean_Aspect): Change categorization + of Boolean-valued SPARK aspects. + * sem_ch13.adb (Analyze_Aspect_Specification): Adapt CASE + statements to new classification of Boolean-valued SPARK + aspects. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * sem_ch13.adb (Validate_Unchecked_Conversions): Add node + parameters to Error_Msg calls. + +2024-05-14 Marc Poulhiès <poulh...@adacore.com> + + * sem_util.adb: Typo fix in comment. + * exp_aggr.adb: Likewise. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch7.adb (Finalization Management): Add a short description of + the implementation of finalization chains. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch4.adb (Expand_Allocator_Expression): Move the first call to + Build_Allocate_Deallocate_Proc up to before the accessibility check. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * errout.adb (Validate_Specific_Warnings): Adapt to record + definition change. + * erroutc.adb (Set_Specific_Warning_On, Set_Specific_Warning_Off, + Warning_Specifically_Suppressed): Likewise. + * erroutc.ads: Change record definition. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch3.adb (Build_Default_Initialization): Do not generate the + protection for finalization collections. + (Build_Heap_Or_Pool_Allocator): Set the No_Initialization flag on + the declaration of the temporary. + * exp_ch4.adb (Build_Aggregate_In_Place): Do not build an allocation + procedure here. + (Expand_Allocator_Expression): Build an allocation procedure, if it + is required, only just before rewriting the allocator. + (Expand_N_Allocator): Do not build an allocation procedure if the + No_Initialization flag is set on the allocator, except for those + generated for special return objects. In other cases, build an + allocation procedure, if it is required, only before rewriting + the allocator. + * exp_ch7.ads (Make_Address_For_Finalize): New function declaration. + * exp_ch7.adb (Finalization Management): Update description for + dynamically allocated objects. + (Make_Address_For_Finalize): Remove declaration. + (Find_Last_Init): Change to function and move to... + (Process_Object_Declaration): Adjust to above change. + * exp_util.ads (Build_Allocate_Deallocate_Proc): Add Mark parameter + with Empty default and document it. + (Find_Last_Init): New function declaration. + * exp_util.adb (Build_Allocate_Deallocate_Proc): Add Mark parameter + with Empty default and pass it in recursive call. Deal with type + conversions created for interface types. Adjust call sequence to + Allocate_Any_Controlled by changing Collection to In/Out parameter + and removing Finalize_Address parameter. For a controlled object, + generate a conditional call to Attach_Object_To_Collection for an + allocation and to Detach_Object_From_Collection for a deallocation. + (Find_Last_Init): ...here. Compute the initialization type for an + allocator whose designating type is class wide specifically and also + handle concurrent types. + * rtsfind.ads (RE_Id): Add RE_Attach_Object_To_Collection and + RE_Detach_Object_From_Collection. + (RE_Unit_Table): Add entries for RE_Attach_Object_To_Collection and + RE_Detach_Object_From_Collection. + * libgnat/s-finpri.ads (Finalization_Started): Delete. + (Attach_Node_To_Collection): Likewise. + (Detach_Node_From_Collection): Move to... + (Attach_Object_To_Collection): New procedure declaration. + (Detach_Object_From_Collection): Likewise. + (Finalization_Collection): Remove Atomic for Finalization_Started. + Add pragma Inline for Initialize. + * libgnat/s-finpri.adb: Add clause for Ada.Unchecked_Conversion. + (To_Collection_Node_Ptr): New instance of Ada.Unchecked_Conversion. + (Detach_Node_From_Collection): ...here. + (Attach_Object_To_Collection): New procedure. + (Detach_Object_From_Collection): Likewise. + (Finalization_Started): Delete. + (Finalize): Replace allocation with attachment in comments. + * libgnat/s-stposu.ads (Allocate_Any_Controlled): Rename parameter + Context_Subpool into Named_Subpool, parameter Context_Collection + into Collection and change it to In/Out, and remove Fin_Address. + * libgnat/s-stposu.adb: Remove clause for Ada.Unchecked_Conversion + and Finalization_Primitives. + (To_Collection_Node_Ptr): Delete. + (Allocate_Any_Controlled): Rename parameter Context_Subpool into + Named_Subpool, parameter Context_Collection into Collection and + change it to In/Out, and remove Fin_Address. Do not lock/unlock + and do not attach the object, instead only displace its address. + (Deallocate_Any_Controlled): Do not lock/unlock and do not detach + the object. + (Header_Size_With_Padding): Use qualified name for Header_Size. + +2024-05-14 Steve Baird <ba...@adacore.com> + + * exp_attr.adb (Build_And_Insert_Type_Attr_Subp): If a subprogram + associated with a (library-level) type declared in another unit is + to be inserted somewhere in a list, then insert it at the head of + the list. + * sem_ch5.adb (Analyze_Assignment): Normally a limited-type + assignment is illegal. Relax this rule if Comes_From_Source is + False and the type is not immutably limited. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * errout.ads (Error_Msg): Add node parameter. + * errout.adb (Error_Msg): Add parameter and pass it to + the underlying call. + * sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass + pragma node when emitting errors. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * styleg.ads (Check_Xtra_Parens_Precedence): Moved ... + * style.ads (Check_Xtra_Parens_Precedence): ... here. Also + replace corresponding renaming. + * styleg.adb (Check_Xtra_Parens_Precedence): Moved ... + * style.adb (Check_Xtra_Parens_Precedence): here. Also use + Errout.Error_Msg and pass it a node parameter. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_aggr.ads (Convert_Aggr_In_Allocator): Rename Alloc into N, + replace Decl with Temp and adjust description. + (Convert_Aggr_In_Object_Decl): Alphabetize. + (Is_Delayed_Aggregate): Likewise. + * exp_aggr.adb (Convert_Aggr_In_Allocator): Rename Alloc into N + and replace Decl with Temp. Allocate a list only when neeeded. + (Convert_Array_Aggr_In_Allocator): Replace N with Decl and insert + new code before it. + * exp_ch4.adb (Build_Aggregate_In_Place): New procedure nested in + Expand_Allocator_Expression. + (Expand_Allocator_Expression): Call it to build aggregates in place. + Remove second parameter in calls to Build_Allocate_Deallocate_Proc. + (Expand_N_Allocator): Likewise. + * exp_ch13.adb (Expand_N_Free_Statement): Likewise. + * exp_util.ads (Build_Allocate_Deallocate_Proc): Remove Is_Allocate + parameter. + * exp_util.adb (Build_Allocate_Deallocate_Proc): Remove Is_Allocate + parameter and replace it with local variable of same name. Delete + useless pattern matching. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * usage.adb (Usage): Fix enabled-by-default indicators. + +2024-05-14 Philippe Gil <g...@adacore.com> + + * libgnat/s-win32.ads (LocalFileTimeToFileTime): Swap parameters. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * restrict.adb (Violation_Of_No_Dependence): Tweak error + reporting calls. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * sem_prag.adb (Analyze_Pragma): Adapt call to new signature. + * erroutc.ads (Set_Specific_Warning_Off): change signature + and update documentation. + (Validate_Specific_Warnings): Move ... + * errout.adb: ... here and change signature. Also move body + of Validate_Specific_Warnings from erroutc.adb. + (Finalize): Adapt call. + * errout.ads (Set_Specific_Warning_Off): Adapt signature of + renaming. + * erroutc.adb (Set_Specific_Warning_Off): Adapt signature and + body. + (Validate_Specific_Warnings): Move to the body of Errout. + (Warning_Specifically_Suppressed): Adapt body. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_aggr.adb (Build_Array_Aggr_Code): Pass N in the call to + Build_Initialization_Call. + (Build_Record_Aggr_Code): Likewise. + (Convert_Aggr_In_Object_Decl): Likewise. + (Initialize_Discriminants): Likewise. + * exp_ch3.ads (Build_Initialization_Call): Replace Loc witn N. + * exp_ch3.adb (Build_Array_Init_Proc): Pass N in the call to + Build_Initialization_Call. + (Build_Default_Initialization): Likewise. + (Expand_N_Object_Declaration): Likewise. + (Build_Initialization_Call): Replace Loc witn N parameter and add + Loc local variable. Build a default subtype for an allocator of + a discriminated type with defaulted discriminants. + (Build_Record_Init_Proc): Pass the declaration of components in the + call to Build_Initialization_Call. + * exp_ch6.adb (Make_CPP_Constructor_Call_In_Allocator): Pass the + allocator in the call to Build_Initialization_Call. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix typo. + +2024-05-14 Gary Dismukes <dismu...@adacore.com> + + * exp_util.adb (Find_Hook_Context): Exclude N_*Aggregate Nkinds + of Parent (Par) from the early return in the second loop of the + In_Cond_Expr case, to prevent returning an aggregate from this + function rather than the enclosing declaration or statement. + +2024-05-14 Steve Baird <ba...@adacore.com> + + * exp_attr.adb: Replace 6 "not Present" tests with equivalent calls to "No". + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch3.adb (Expand_N_Object_Declaration): Examine the Expression + field after the call to Default_Initialize_Object in order to set + Is_Known_Null, as well as Is_Known_Non_Null, on an access object. + +2024-05-14 Steve Baird <ba...@adacore.com> + + * exp_attr.adb: Change name of package Cached_Streaming_Ops to + reflect the fact that it is now also used for Put_Image + procedures. Similarly change other "Streaming_Op" names therein. + Add Validate_Cached_Candidate procedure to detect case where a + subprogram found in the cache cannot be reused. Add new generic + procedure Build_And_Insert_Type_Attr_Subp; the "Build" part is + handled by just calling a formal procedure; the bulk of this + (generic) procedure's code has to with deciding where in the tree + to insert the newly-constructed subprogram. Replace each later + "Build" call (and the following Insert_Action or + Compile_Stream_Body_In_Scope call) with a declare block that + instantiates and then calls this generic procedure. Delete the + now-unused procedure Compile_Stream_Body_In_Scope. A constructed + subprogram is entered in the appropriate cache if the + corresponding type is untagged; this replaces more complex tests. + A new function Interunit_Ref_OK is added to determine whether an + attribute reference occuring in one unit can safely refer to a + cached subprogram declared in another unit. + * exp_ch3.adb (Build_Predefined_Primitive_Bodies): A formal + parameter was deleted, so delete the corresponding actual in a + call. + * exp_put_image.adb (Build_Array_Put_Image_Procedure): Because the + procedure being built may be referenced more than once, the + generated procedure takes its source position info from the type + declaration instead of the (first) attribute reference. + (Build_Record_Put_Image_Procedure): Likewise. + * exp_put_image.ads (Build_Array_Put_Image_Procedure): Eliminate + now-unused Nod parameter. + (Build_Record_Put_Image_Procedure): Eliminate now-unused Loc parameter. + * sem_ch3.adb (Constrain_Discriminated_Type): For declaring a + subtype with a discriminant constraint, ignore privacy if + Comes_From_Source is false (as is already done if Is_Instance is + true). + * sem_res.adb (Resolve): When passed two type entities that have + the same underlying base type, Sem_Type.Covers may return False in + some cases because of privacy. [This can happen even if + Is_Private_Type returns False both for Etype (N) and for Typ; + Covers calls Base_Type, which can take a non-private argument and + yield a private result.] If Comes_From_Source (N) is False + (e.g., for a compiler-generated Put_Image or streaming subprogram), then + avoid that scenario by not calling Covers. Covers already has tests for + doing this sort of thing (see the calls therein to Full_View_Covers), + but the Comes_From_Source test is too coarse to apply there. So instead + we handle the problem here at the call site. + (Original_Implementation_Base_Type): A new function. Same as + Implementation_Base_Type except if the Original_Node attribute of + a non-derived type declaration indicates that it once was a derived + type declaration. Needed for looking through privacy. + (Valid Conversion): Ignore privacy when converting between different views + of the same type if Comes_From_Source is False for the conversion. + (Valid_Tagged_Conversion): An ancestor-to-descendant conversion is not an + illegal downward conversion if there is no type extension involved + (because the derivation was from an untagged view of the parent type). + +2024-05-14 Steve Baird <ba...@adacore.com> + + * sem_ch5.adb (Analyze_Case_Statement): Emit a message and return + early in the case where general case statements are allowed but + the selector expression is of a private type. This is done to + avoid a bugbox. + +2024-05-14 Justin Squirek <squi...@adacore.com> + + * sem_util.adb (Set_Referenced_Modified): Use Original_Node to + avoid recursive calls on expanded / internal objects such that + source nodes get appropriately marked as referenced. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Stop ignoring + warning suppression settings. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_util.adb (Build_Allocate_Deallocate_Proc): Pass the alignment + parameter in the inner call for a secondary stack allocation too. + +2024-05-14 Javier Miranda <mira...@adacore.com> + + * sem_ch10.adb (Install_Inherited_Policy_Pragmas): New subprogram. + (Remove_Inherited_Policy_Pragmas): New subprogram. + (Analyze_Compilation_Unit): Call the new subprograms to + install and remove inherited assertion policy pragmas. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch4.adb (Expand_N_If_Expression): Set No_Initialization on the + declaration of the temporary in the by-reference case. + * exp_util.adb (Initialized_By_Access): Delete. + (Is_Allocated): Likewise. + (Initialized_By_Reference): New predicate. + (Is_Finalizable_Transient): If the transient object is of an access + type, do not return true unless it is initialized by a reference. + +2024-05-14 Steve Baird <ba...@adacore.com> + + * exp_attr.adb: Move computation of Accum_Typ entirely into the + function Build_Stat. + +2024-05-14 Steve Baird <ba...@adacore.com> + + * sem_ch12.ads: Declare new Instance_Context package, which + declares a private type Context with operations Save_And_Reset and + Restore. + * sem_ch12.adb: Provide body for new Instance_Context package. + * rtsfind.adb (Load_RTU): Wrap an Instance_Context Save/Restore + call pair around the call to Semantics. + * table.ads: Add initial value for Last_Val (because + Save_And_Reset expects Last_Val to be initialized). + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_aggr.adb (Build_Record_Aggr_Code): Replace reference to + Build_Task_Allocate_Block_With_Init_Stmts in comment with reference + to Build_Task_Allocate_Block. + (Convert_Aggr_In_Allocator): Likewise for the call in the code. + * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Likewise. + * exp_ch3.ads: Alphabetize clauses. + (Build_Default_Initialization): New function declaration. + (Build_Default_Simple_Initialization): Likewise. + (Build_Initialization_Call): Add Target_Ref parameter with default. + * exp_ch3.adb (Build_Default_Initialization): New function extracted + from... + (Build_Default_Simple_Initialization): Likewise. + (Build_Initialization_Call): Add Target_Ref parameter with default. + (Expand_N_Object_Declaration): ...here. + (Default_Initialize_Object): Call Build_Default_Initialization and + Build_Default_Simple_Initialization. + * exp_ch4.adb (Expand_Allocator_Expression): Minor comment tweaks. + (Expand_N_Allocator): Call Build_Default_Initialization and + Build_Default_Simple_Initialization to implement the default + initialization of the allocated object. + * exp_ch9.ads (Build_Task_Allocate_Block): Delete. + (Build_Task_Allocate_Block_With_Init_Stmts): Rename into... + (Build_Task_Allocate_Block): ...this. + * exp_ch9.adb: Remove clauses for Exp_Tss. + (Build_Task_Allocate_Block): Delete. + (Build_Task_Allocate_Block_With_Init_Stmts): Rename into... + (Build_Task_Allocate_Block): ...this. + * exp_util.adb (Build_Allocate_Deallocate_Proc): Remove unnecessary + initialization expression, adjust commentary and replace early exit + with assertion. + * sem_ch4.adb (Analyze_Allocator): In the null-exclusion case, call + Apply_Compile_Time_Constraint_Error to insert the raise. + +2024-05-14 Ronan Desplanques <desplanq...@adacore.com> + + * styleg.ads (Check_Boolean_Operator): Moved ... + * style.ads (Check_Boolean_Operator): ... here. + * styleg.adb (Check_Boolean_Operator): Moved ... + * style.adb (Check_Boolean_Operator): ... here. Also add node + parameter to call to Errout.Error_Msg. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * sprint.adb (Sprint_Node_Actual) <N_Raise_Statement>: Be prepared + for an empty Name. + <N_Raise_When_Statement>: Likewise. + +2024-05-14 Yannick Moy <m...@adacore.com> + + * contracts.adb: Fix references to SPARK RM rules. + * freeze.adb: Same. + * ghost.adb: Fix references to SPARK RM rules. + (Check_Ghost_Context): Update checking of references to + ghost entities in assertion expressions. + * sem_ch6.adb: Fix references to SPARK RM rules. + * sem_prag.adb: Same. + +2024-05-14 Yannick Moy <m...@adacore.com> + + * ghost.adb (Mark_And_Set_Ghost_Instantiation): Fix the current + Ghost policy for the instantiation. + +2024-05-14 Eric Botcazou <ebotca...@adacore.com> + + * exp_ch3.adb (Default_Initialize_Object): Return immediately when + either Has_Init_Expression or No_Initialization is set on the node. + Tidy up the rest of the code accordingly. + (Simple_Initialization_OK): Do not test Has_Init_Expression here. + 2024-05-13 Eric Botcazou <ebotca...@adacore.com> * accessibility.adb: Remove clauses for Exp_Ch3. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ae7b60c51174..620cca4b812c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,14 @@ +2024-05-14 Simon Martin <simon-l.mar...@laposte.net> + + PR c++/105760 + * pt.cc (build_deduction_guide): Check for error_mark_node + result from tsubst_arg_types. + +2024-05-14 Jason Merrill <ja...@redhat.com> + + * decl.cc (wrap_cleanups_r): Clarify comment. + * init.cc (build_vec_init): Update comment. + 2024-05-13 Patrick Palka <ppa...@redhat.com> * constraint.cc (norm_info::norm_info): Take a bool instead of diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b1a2b72f3267..0a35342e7dcd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,61 @@ +2024-05-14 Simon Martin <simon-l.mar...@laposte.net> + + PR c++/105760 + * g++.dg/parse/error66.C: New test. + +2024-05-14 Vineet Gupta <vine...@rivosinc.com> + + * gcc.target/riscv/sum-of-two-s12-const-1.c: New test: checks + for new patterns output. + * gcc.target/riscv/sum-of-two-s12-const-2.c: Ditto. + * gcc.target/riscv/sum-of-two-s12-const-3.c: New test: should not + ICE. + +2024-05-14 Richard Biener <rguent...@suse.de> + + PR tree-optimization/99954 + * gcc.dg/tree-ssa/ldist-40.c: New testcase. + +2024-05-14 Christoph Müllner <christoph.muell...@vrull.eu> + + * gcc.target/riscv/cmo-zicboz-zic64-1.c: New file. + +2024-05-14 Christoph Müllner <christoph.muell...@vrull.eu> + + * gcc.target/riscv/cmo-zicbom-1.c: Add \t to test pattern. + * gcc.target/riscv/cmo-zicbom-2.c: Likewise. + * gcc.target/riscv/cmo-zicbop-1.c: Likewise. + * gcc.target/riscv/cmo-zicbop-2.c: Likewise. + * gcc.target/riscv/cmo-zicboz-1.c: Likewise. + * gcc.target/riscv/cmo-zicboz-2.c: Likewise. + +2024-05-14 Tom de Vries <tdevr...@suse.de> + + * gcc.dg/pr115066.c: Don't match comment marker. + +2024-05-14 Rainer Orth <r...@cebitec.uni-bielefeld.de> + + PR analyzer/107750 + * gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c: + Include <string.h>. + +2024-05-14 Tom de Vries <tdevr...@suse.de> + + PR debug/115066 + * gcc.dg/pr115066.c: New test. + +2024-05-14 Haochen Gui <guih...@gcc.gnu.org> + + * gcc.target/powerpc/block-cmp-9.c: New. + +2024-05-14 Jeff Law <j...@ventanamicro.com> + + Revert: + 2024-05-14 Sergei Lewis <sle...@rivosinc.com> + + PR target/112109 + * gcc.target/riscv/rvv/base/movmem-1.c: New test + 2024-05-13 Jeff Law <j...@ventanamicro.com> * gcc.target/riscv/zba_zbs_and-1.c: New test. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 418adceb66b4..37c2d41ab68b 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,23 @@ +2024-05-14 Jonathan Wakely <jwak...@redhat.com> + + PR libstdc++/115015 + * src/c++23/print.cc (__open_terminal(streambuf*)) [!__cpp_rtti]: + Do not use dynamic_cast. + +2024-05-14 Jonathan Wakely <jwak...@redhat.com> + + * doc/xml/manual/strings.xml: Clarify that GCC 4.5 added + std::string::shrink_to_fit. + * doc/html/manual/strings.html: Regenerate. + +2024-05-14 Jonathan Wakely <jwak...@redhat.com> + + PR libstdc++/115063 + * include/std/stacktrace (basic_stacktrace::max_size): Fix typo + in reference to _M_alloc member. + * testsuite/19_diagnostics/stacktrace/stacktrace.cc: Check + max_size() compiles. + 2024-05-13 Matthias Kretz <m.kr...@gsi.de> PR libstdc++/114958