[gcc r15-496] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Wed May 15 00:18:03 GMT 2024
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 <fkastl@suse.cz>
+
+ * MAINTAINERS: Use tabs between name and email.
+
2024-05-13 Xiao Zeng <zengxiao@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 <fkastl@suse.cz>
+
+ * check-MAINTAINERS.py: Add warning about not using tabs.
+
2024-05-09 Jakub Jelinek <jakub@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 <dimitar@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 <vineetg@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 <rguenther@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.muellner@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.muellner@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 <tdevries@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 <jh@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 <guihaoc@gcc.gnu.org>
+
+ * config/rs6000/rs6000.cc (TARGET_OVERLAP_OP_BY_PIECES_P): Define.
+
+2024-05-14 Jeff Law <jlaw@ventanamicro.com>
+
+ Revert:
+ 2024-05-13 Sergei Lewis <slewis@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.li@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 <jlaw@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 <trojanek@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 <desplanques@adacore.com>
+
+ * sem_ch13.adb (Validate_Unchecked_Conversions): Add node
+ parameters to Error_Msg calls.
+
+2024-05-14 Marc Poulhiès <poulhies@adacore.com>
+
+ * sem_util.adb: Typo fix in comment.
+ * exp_aggr.adb: Likewise.
+
+2024-05-14 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Finalization Management): Add a short description of
+ the implementation of finalization chains.
+
+2024-05-14 Eric Botcazou <ebotcazou@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 <desplanques@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 <ebotcazou@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 <baird@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 <desplanques@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 <desplanques@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 <ebotcazou@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 <desplanques@adacore.com>
+
+ * usage.adb (Usage): Fix enabled-by-default indicators.
+
+2024-05-14 Philippe Gil <gil@adacore.com>
+
+ * libgnat/s-win32.ads (LocalFileTimeToFileTime): Swap parameters.
+
+2024-05-14 Ronan Desplanques <desplanques@adacore.com>
+
+ * restrict.adb (Violation_Of_No_Dependence): Tweak error
+ reporting calls.
+
+2024-05-14 Ronan Desplanques <desplanques@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 <ebotcazou@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 <desplanques@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix typo.
+
+2024-05-14 Gary Dismukes <dismukes@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 <baird@adacore.com>
+
+ * exp_attr.adb: Replace 6 "not Present" tests with equivalent calls to "No".
+
+2024-05-14 Eric Botcazou <ebotcazou@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 <baird@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 <baird@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 <squirek@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 <desplanques@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Stop ignoring
+ warning suppression settings.
+
+2024-05-14 Eric Botcazou <ebotcazou@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 <miranda@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 <ebotcazou@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 <baird@adacore.com>
+
+ * exp_attr.adb: Move computation of Accum_Typ entirely into the
+ function Build_Stat.
+
+2024-05-14 Steve Baird <baird@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 <ebotcazou@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 <desplanques@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 <ebotcazou@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 <moy@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 <moy@adacore.com>
+
+ * ghost.adb (Mark_And_Set_Ghost_Instantiation): Fix the current
+ Ghost policy for the instantiation.
+
+2024-05-14 Eric Botcazou <ebotcazou@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 <ebotcazou@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.martin@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 <jason@redhat.com>
+
+ * decl.cc (wrap_cleanups_r): Clarify comment.
+ * init.cc (build_vec_init): Update comment.
+
2024-05-13 Patrick Palka <ppalka@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.martin@laposte.net>
+
+ PR c++/105760
+ * g++.dg/parse/error66.C: New test.
+
+2024-05-14 Vineet Gupta <vineetg@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 <rguenther@suse.de>
+
+ PR tree-optimization/99954
+ * gcc.dg/tree-ssa/ldist-40.c: New testcase.
+
+2024-05-14 Christoph Müllner <christoph.muellner@vrull.eu>
+
+ * gcc.target/riscv/cmo-zicboz-zic64-1.c: New file.
+
+2024-05-14 Christoph Müllner <christoph.muellner@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 <tdevries@suse.de>
+
+ * gcc.dg/pr115066.c: Don't match comment marker.
+
+2024-05-14 Rainer Orth <ro@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 <tdevries@suse.de>
+
+ PR debug/115066
+ * gcc.dg/pr115066.c: New test.
+
+2024-05-14 Haochen Gui <guihaoc@gcc.gnu.org>
+
+ * gcc.target/powerpc/block-cmp-9.c: New.
+
+2024-05-14 Jeff Law <jlaw@ventanamicro.com>
+
+ Revert:
+ 2024-05-14 Sergei Lewis <slewis@rivosinc.com>
+
+ PR target/112109
+ * gcc.target/riscv/rvv/base/movmem-1.c: New test
+
2024-05-13 Jeff Law <jlaw@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 <jwakely@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 <jwakely@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 <jwakely@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.kretz@gsi.de>
PR libstdc++/114958
More information about the Libstdc++-cvs
mailing list