[gcc r17-762] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Tue May 26 00:16:57 GMT 2026
https://gcc.gnu.org/g:9ab56d9ab46c2b1739b9fd35d6aff8e24c2913f9
commit r17-762-g9ab56d9ab46c2b1739b9fd35d6aff8e24c2913f9
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue May 26 00:16:30 2026 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 42 +++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 417 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c/ChangeLog | 4 +
gcc/testsuite/ChangeLog | 42 +++++
libgfortran/ChangeLog | 9 ++
libstdc++-v3/ChangeLog | 46 ++++++
7 files changed, 561 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9212c0a30258..2a817f2f87f6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,45 @@
+2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/125453
+ * match.pd (`(smaller)a ==/!= (smaller) b`): Reject
+ non integral types.
+
+2026-05-25 Georg-Johann Lay <avr@gjlay.de>
+
+ PR target/125409
+ * config/avr/avr-fixed.md (FIXED_A, FIXED_B): Add PSI to iterators.
+
+2026-05-25 Georg-Johann Lay <avr@gjlay.de>
+
+ PR target/121343
+ * config/avr/avr.md (load_<mode>_libgcc): Rewrite to use
+ a hard-reg constraint for operand 0.
+ (gen_load<mode>_libgcc): Remove expander.
+ (mov<mode>): No more special handling needed for sources that
+ satisfy avr_load_libgcc_p.
+
+2026-05-25 Tobias Burnus <tburnus@baylibre.com>
+
+ PR c/125377
+ * omp-general.cc (omp_check_for_duplicate_variant): Fix used
+ tree for 'inform' part of the error message.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * doc/invoke.texi (fstack-usage): Document new second field.
+ * toplev.cc (output_stack_usage_1): Revert latest changes and add
+ the mangled name as the second field.
+
+2026-05-25 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * bitmap.cc (bitmap_last_set_bit): Fix handling of index 0.
+
+2026-05-25 liuhongt <hongtao.liu@intel.com>
+
+ PR middle-end/124630
+ * match.pd (popcount (x ^ (x - 1))): Fold to ctz (x) + 1 when
+ x is nonzero and CTZ is directly supported.
+
2026-05-24 Raven Hallsby <karl@hallsby.com>
PR tree-optimization/125104
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 612b4a74bc9a..8d594f290dce 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20260525
+20260526
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ad18fe41259b..3f2a6b6f6019 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,420 @@
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.adb (Prefix_Is_Formal_Parameter): Rename into...
+ (Prefix_Is_Formal_Parameter_Of_EQ): ...this. Return True only if
+ the formal parameter is that of an equality function built for an
+ unchecked union type.
+ (Has_Inferable_Discriminants): Adjust to above renaming.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_put_image.ads (Image_Should_Call_Put_Image): Rename into...
+ (Image_Must_Call_Put_Image): ...this.
+ * exp_put_image.adb (Image_Should_Call_Put_Image): Rename into...
+ (Image_Must_Call_Put_Image): ...this.
+ * exp_imgv.adb (Expand_Image_Attribute): Adjust to above renaming.
+ (Expand_Wide_Image_Attribute): Likewise.
+ (Expand_Wide_Wide_Image_Attribute): Likewise.
+ * sem_attr.adb (Eval_Attribute): Likewise.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_attr.adb: Add with and use clauses for Exp_Put_Image.
+ (Eval_Attribute.Fold_Compile_Time_Known_Enumeration_Image): New
+ procedure factored out from....
+ (Eval_Attribute): ...here. Attempt to fold 'Img and 'Image for all
+ compile-time known values of enumeration, but not character, types,
+ provided that Put_Image need not be called, by invoking the nested
+ Fold_Compile_Time_Known_Enumeration_Image procedure on the value.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * sem_util.adb: Fix RM references.
+ * sem_util.ads: Likewise.
+ * sem_warn.adb: Likewise.
+
+2026-05-25 Martin Clochard <clochard@adacore.com>
+
+ * sem_util.adb (As_Boolean): utility to fill decoration in expressions
+ (Determining_Condition): set Etype for generated Boolean connectors
+ (Conditional_Evaluation_Condition): set Etype for generated connectors
+
+2026-05-25 Gary Dismukes <dismukes@adacore.com>
+
+ * par-ch12.adb (P_Formal_Subprogram_Declaration): Pass True for
+ the Is_Core_Extension parameter on call to Error_Msg_GNAT_Extension.
+
+2026-05-25 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Record aspect CPU and
+ Priority applied to subprogram as a representation item.
+
+2026-05-25 Claire Dross <dross@adacore.com>
+
+ * sem_prag.adb (Analyze_Exit_Contract): The Exception_Raised exit kind
+ is not compatible with No_Raise.
+ (Analyze_Pragma): The Exceptional_Cases pragma is not compatible with
+ No_Raise.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gen_il-gen-gen_entities.adb (E_Subprogram_Type): Add the missing
+ Scope_Depth_Value field.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/93702
+ * exp_ch3.adb (Make_Controlling_Function_Wrappers): Revert latest
+ change.
+ * sem_ch12.adb (Analyze_One_Association): Remove redundant line.
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Freeze the profile
+ again for bodies that are not generated from expression functions.
+
+2026-05-25 Javier Miranda <miranda@adacore.com>
+
+ * sem_disp.adb (Check_Controlling_Formals): Formals of a type
+ specifying aspect First_Controlling_Parameter are not candidate
+ controlling parameters when they are not the first formal of
+ the dispatching primitive.
+
+2026-05-25 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment_Statement): Handle internally
+ generated initialization invoking a C++ constructor.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/93702
+ * contracts.adb (Analyze_Entry_Or_Subprogram_Contract): Call
+ Freeze_Expr_Types_Before instead of Freeze_Expr_Types.
+ (Process_Preconditions_For): Likewise.
+ * exp_ch3.adb (Make_Controlling_Function_Wrappers): Do not set
+ Was_Expression_Function flag on the generated bodies.
+ * exp_ch6.adb (Expand_Call_Helper): Call Original_Node on the
+ result of the call to Expression_Of_Expression_Function.
+ * freeze.ads (Freeze_Expr_Types): Delete.
+ (Freeze_Expr_Types_Before): New procedure declaration.
+ * freeze.adb (Check_Expression_Function): Delete.
+ (Freeze_And_Append): Add Do_Freeze_Profile formal parameter and
+ pass it to Freeze_Entity. Remove call to Check_Expression_Function.
+ (Freeze_Entity): Set Test_E consistently and freeze the expression
+ of expression functions that are primitives of a tagged type.
+ (Freeze_Profile): Adjust calls to Should_Freeze_Type.
+ (In_Expanded_Body): Also return true for DIC procedures.
+ (Freeze_Expression): Remove call to Check_Expression_Function.
+ Freeze the expression of expression functions.
+ (Freeze_Expr_Types): Add Result and Before formal parameters.
+ Make a copy and preanalyze/resolve it only if Typ is present.
+ (Freeze_Expr_Types.Explain_Error): New procedure.
+ (Freeze_Expr_Types.Find_Incomplete_Constant): Likewise.
+ (Freeze_Expr_Types.Check_And_Freeze_Type): Return immediately if
+ the type is already frozen. Report errors on N instead of Node.
+ If Before is False, append the freeze nodes to Result.
+ (Freeze_Expr_Types.Freeze_Type_Refs): Call Find_Incomplete_Constant.
+ (Freeze_Expr_Types_Before): New procedure.
+ (Should_Freeze_Type): Remove formal parameter E and
+ specific kludge for stand-alone expression functions.
+ * ghost.ads (Mark_And_Set_Ghost_Body_Of_Expression_Function): New
+ procedure declaration.
+ * ghost.adb (Mark_And_Set_Ghost_Body_Of_Expression_Function): New
+ procedure body.
+ * rtsfind.adb (RTE): Preserve and reset the In_Inlined_Body flag.
+ (RTE_Record_Component): Likewise.
+ * sem_attr.adb (Resolve_Attribute) <Attribute_Access>: Just call
+ Freeze_Expression to freeze the expression of prefixes that are
+ expression functions and remove obsolete implementation.
+ * sem_ch3.adb (Analyze_Declarations): Adjust commentary.
+ (Check_Completion): Also skip stand-alone expressions functions.
+ * sem_ch4.adb (Analyze_Case_Expression): Always analyze the choices.
+ * sem_ch6.adb: Add with and use clauses for Sem_Ch7.
+ (Analyze_Expression_Function): Call Freeze_Expr_Types_Before instead
+ of Freeze_Expr_Types for expression functions that are completions.
+ For stand-alone expression functions, set In_Private_Part on the
+ entity if it is in the private part, propagate the results of the
+ resolution of the specification of the the declaration to that of
+ the body and insert the body at the next freezing point.
+ (Analyze_Subprogram_Body_Helper): Remove the machinery for masking
+ and unmasking unfrozen types. For a stand-alone expression function,
+ call Mark_And_Set_Ghost_Body_Of_Expression_Function, remove obsolete
+ code dealing with the freezing of the spec, set In_Inlined_Body to
+ True, make the full view of the private types of its scope visible
+ if this is not the current scope and it is in the private part, and
+ avoid making the spec immediately visible.
+ (Analyze_Subprogram_Specification): Fix typo.
+ (New_Overloaded_Entity): Set Has_Completion on a [generic] package
+ that conflicts with the entity to prevent a cascaded error.
+ * sem_ch7.ads (Is_Private_Base_Type): New function declaration moved
+ here from...
+ * sem_ch7.adb (Is_Private_Base_Type): ...here. Remove.
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Call Freeze_Expression
+ to freeze the expression of expression functions, but only if the
+ renaming comes from source.
+ * sem_ch12.adb (Analyze_One_Association): Likewise, and remove the
+ manual freezing for calls to them.
+ * sem_res.adb (Resolve): Remove obsolete commentary.
+ (Resolve_Call): Always freeze the expression of names that are
+ expression functions.
+ * sem_util.adb (Check_Fully_Declared): Add commentary and do not
+ check types with private component declared outside of the current
+ scope when it is a generic unit.
+ (Expression_Of_Expression_Function): Return Expression directly.
+ (Is_Inlinable_Expression_Function): Call Original_Node on the
+ result of the call to Expression_Of_Expression_Function.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Retrieve again the
+ expression of the expression function manually.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_res.adb (Resolve_Entity_Name): Add the name of the constant
+ to the error message for premature freezing of deferred constants.
+
+2026-05-25 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch12.adb (Build_Subprogram_Wrapper): Remove the subprogram
+ renaming created for the formal-to-actual association from the
+ list of renamings (only when such a subprogram renaming is present).
+ Also, change the name from plural to singular, since the procedure
+ only creates one wrapper, update the spec comment to reflect that,
+ and clarify the state and use of the Renamings parameter.
+
+2026-05-25 Viljar Indus <indus@adacore.com>
+
+ * sem_prag.adb (Analyze_Abstract_State): Improve handling of
+ True/False for Abstract_State with Ghost.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * exp_ch3.adb (Build_Implicit_Parameterless_Constructor): Add Initialize
+ aspect with default others to trigger Initialize aspect analysis.
+ * exp_ch6.adb (Prepend_Constructor_Procedure_Prologue): Fix
+ initialization order.
+ (Init_From_Initialize_Expression): Retrieve initialization expression or
+ the default one base on the Initialize aspect.
+ (Init_From_Default_Or_Constructor):. Retrieve initialization expression
+ based on the default one in the record initialization list or the init
+ procedure.
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Add check for
+ missing components that require initialization, and add an
+ expression_with_action node to place ABE during resolution of
+ aggregates with function calls.
+ (Check_Constructor_Choices): Helper to check that the aggregate choices
+ do not refer to ancestors.
+ (Diagnose_Misplaced_Aspects): Improve diagnostics when it is a clear
+ misspelling of Initialize aspect.
+ * sem_ch6.adb (Analyze_Direct_Attribute_Definition): If missing, add a
+ compiler generated Initialize aspect with default others to trigger
+ Initialize analysis.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * contracts.adb (Has_Public_Visibility_Of_Subprogram): Use Subp_Id
+ throughout and Is_Expression_Function to spot expression functions.
+ * ghost.adb (Is_OK_Declaration): Likewise.
+ * sem_ch12.adb (Analyze_One_Association): Likewise.
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.
+ (Analyze_Subprogram_Specification): Fix typo.
+ (Find_Corresponding_Spec): Call Is_Expression_Function.
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Retrieve the expression
+ by means of Expression_Of_Expression_Function.
+ * sem_res.adb (Resolve_Allocator): Call Is_Expression_Function.
+ (Rewrite_Renamed_Operator): Likewise.
+ * sem_util.adb (Expression_Of_Expression_Function): Streamline the
+ the implementation.
+ (Is_Expression_Function): Likewise.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Expand_Ctrl_Function_Call): Bail out for the name
+ of an object renaming declaration at library level, if the call
+ does not return on the secondary stack.
+ * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Rewrite the
+ renaming as a regular object declaration if it is declared at
+ library level and the name is a controlled function call whose
+ result is not returned on the secondary stack.
+ * exp_util.adb (Rewrite_Object_Declaration_As_Renaming): Minor fix.
+
+2026-05-25 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration): Record subtypes
+ inherit the CPP_Class attribute; required for instantiations.
+
+2026-05-25 Gary Dismukes <dismukes@adacore.com>
+
+ * contracts.adb (Analyze_Contracts): Add cases for formal subprogram
+ Nkinds so that Analyze_Entry_Or_Subprogram_Contract will be called
+ for them.
+ * sem_attr.adb (Analyze_Attribute_Old_Result): Account for the cases
+ of formal subprogram Nkinds, allowing Old attributes for those.
+ * sem_ch12.adb (Build_Subprogram_Wrappers): Add a formal for passing
+ the unanalyzed generic formal, and use it for copying any aspect
+ specifications of the generic formal rather than copying the analyzed
+ generic formal's aspects.
+ (Analyze_One_Association): Pass Assoc.Un_Formal as an additional
+ actual in the call to Build_Subprogram_Wrappers.
+
+2026-05-25 Steve Baird <baird@adacore.com>
+
+ * accessibility.adb (Needs_Accessibility_Level_Temp_Or_Check): Conform
+ to spec changes. Return True for the RHS of an assignment statement.
+ * accessibility.ads: Change name of Is_Anonymous_Access_Actual
+ to Needs_Accessibility_Level_Temp_Or_Check; the function now returns
+ True in cases other than those described by the old name.
+ Also change name of the formal parameter from N to Conditional_Expr.
+ * exp_ch4.adb (Expand_N_If_Expression): Update call to a function
+ whose name changed.
+
+2026-05-25 Javier Miranda <miranda@adacore.com>
+
+ * sem_util.adb (Is_Fully_Initialized_Variant): Moved inside
+ subprogram Is_Fully_Initialized_Type.
+ (Is_Fully_Initialized_Constrained_Array): New subprogram that
+ factorizes code of Is_[Fully|Partially]_Initialized_Type.
+ (Is_Fully_Initialized_Record_Type): New subprogram; add missing
+ support for incomplete types.
+ (Is_Partially_Initialized_Record_Type): New subprogram; add missing
+ support for incomplete types.
+ (Is_Partially_Initialized_Type): Add new formal for predicate checks.
+ * sem_util.ads (Is_Partially_Initialized_Type): Add new formal for
+ predicate checks.
+ * sem_warn.adb (Type_OK_For_No_Value_Assigned): Use named parameters
+ in call to Is_Partially_Initialized_Type.
+ * sem_ch3.adb (Analyze_Object_Declaration): Add new actual for
+ predicate checks.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Introduce new local
+ boolean constant From_Expression_Function, use it throughout, and
+ replace an equivalent test by it. Do not deal with name conflicts
+ here when it is true. Do not verify the consistency of overriding
+ indicators for stand-alone expression functions.
+ * sem_util.ads (Is_Expression_Function_Or_Completion): Fix improper
+ wording in description.
+ * sem_util.adb (Is_Expression_Function_Or_Completion): Streamline
+ the implementation.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_util.adb (Remove_Init_Call.Find_Init_Call_In_List): Check that
+ the first actual denotes the expected variable modulo qualification
+ and conversion.
+
+2026-05-25 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): Report an error if the
+ return statement of a function with foreign convention has a call
+ to a C++ constructor.
+ * exp_ch3.adb (Expand_N_Object_Declaration): Handle initialization
+ expression calling a C++ constructor in an extended return statement
+ of a subprogram with Ada convention.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Pull out the generic
+ case from the if-statement and put it first.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Remove suppression of checks
+ during analysis of expanded dispatching calls.
+
+2026-05-25 Ronan Desplanques <desplanques@adacore.com>
+
+ * doc/gnat_rm/gnat_language_extensions.rst: Add that finally is a
+ non-reserved keyword.
+ * par-ch5.adb (P_Sequence_Of_Statements): handle "finally" syntax
+ extension.
+ * snames.ads-tmpl: Remove the concept of GNAT extension reserved
+ word.
+ * snames.adb-tmpl (Is_Keyword_Name): Likewise.
+ * scans.adb (Initialize_Ada_Keywords): Likewise.
+ * par-util.adb (Check_Future_Keyword): Likewise.
+ * gnat_rm.texi: Regenerate.
+
+2026-05-25 Bob Duff <duff@adacore.com>
+
+ * exp_ch9.adb (Expand_N_Protected_Body):
+ Remove "raise Program_Error" and consolidate other
+ cases.
+
+2026-05-25 Sebastian Poeplau <poeplau@adacore.com>
+
+ * libgnarl/libgnarl.gpr: Add dependency on libgnat.gpr.
+ Set Library_Name and Library_Version depending on Library_Kind.
+ * libgnat/libgnat.gpr: Likewise.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * aspects.ads (Aspects): Make Super aspect optional to allow for
+ explicit call to parent parameterless constructor.
+ * exp_ch3.adb (Build_Implicit_Parameterless_Constructor): Build implicit
+ parameterless constructor when no other constructors are defined but the
+ type has an ancestor with constructors.
+ * exp_ch6.adb
+ (Init_Expression_If_Any): Pe4rmit implicit calls to parameterless
+ constructors in initialization expressions if available.
+ (Make_Parent_Constructor_Call): Super without parameters calls the
+ parent parameterless constructor.
+ * sem_ch13.adb (Analyze_Aspect_Specification): Allow Super aspect
+ without expression.
+ * sem_ch3.adb (Analyze_Object_Declaration): Delay check for missing
+ parameterless constructor until the the implicit constructor is built.
+
+2026-05-25 Steve Baird <baird@adacore.com>
+
+ * aspects.ads: Add three new Taint_Xxx aspects to the Aspect_Id
+ enumeration type and define a corresponding subtype,
+ Ignored_Aspects.
+ * exp_prag.adb (Expand_N_Pragma): Don't rewrite a taint-related
+ pragma as a null statement. We want to leave the (unanalyzed)
+ pragma in the tree.
+ * sem_ch13.adb (Analyze_One_Aspect): Leave taint-related aspect
+ specifications
+ (and their arguments, if any) unanalyzed.
+ (Check_Aspect_At_Freeze_Point): Update a case statement to treat
+ the new aspects as an error case.
+ * sem_util.adb (Should_Ignore_Pragma_Sem): Return True for an
+ ignored pragma.
+ * snames.ads-tmpl: Define names for the three new aspects.
+
+2026-05-25 Bob Duff <duff@adacore.com>
+
+ * scans.adb (Save_Scan_State): Use an aggregate.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * exp_ch6.adb (Build_Helper_Call): Refactor code to handle both static and
+ dynamic precondition calls in the same way.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * exp_ch3.adb (Build_Record_Init_Proc): Move Build_Assignment to
+ Build_Component_Assignment in Exp_Util for a more general use.
+ * exp_ch6.adb (Prepend_Constructor_Procedure_Prologue): refactor using
+ Build_Component_Assignment.
+ * exp_util.adb (Build_Component_Assignment): Logic to build component
+ assignments for initialization procedures and constructor prologues.
+ * exp_util.ads (Build_Component_Assignment): Likewise.
+ * sem_ch5.adb (Analyze_Assignment): Revert back changes from previous
+ attempt to fix assignments of limited types in constructor prologues,
+ the use of Build_Component_Assignment makes those changes unnecessary.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): Minor comment fixes.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sinput.ads: Small tweak to head comment.
+
+2026-05-25 Denis Mazzucato <mazzucato@adacore.com>
+
+ * sem_ch3.adb (Build_Derived_Type): Propagate by-constructor indication
+ only for derived tagged types, not for composition.
+
2026-05-19 Jakub Jelinek <jakub@redhat.com>
PR other/125348
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 92f64dd0e915..251657eedcba 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,7 @@
+2026-05-25 Sam James <sam@gentoo.org>
+
+ * c-parser.cc: Delete errant optimize pragma.
+
2026-05-23 Daniel Barboza <daniel.barboza@oss.qualcomm.com>
* c-typeck.cc (build_conditional_expr): Likewise.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 80e301cbeea3..937808551ce6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,45 @@
+2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/125453
+ * gcc.dg/torture/pr125453-1.c: New test.
+
+2026-05-25 H.J. Lu <hjl.tools@gmail.com>
+
+ * gcc.target/i386/stack-usage-realign.c: Adjusted.
+
+2026-05-25 Georg-Johann Lay <avr@gjlay.de>
+
+ PR target/125409
+ * gcc.target/avr/torture/pr125409.h: New file.
+ * gcc.target/avr/torture/pr125409-fx24-ssk.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-ssr.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-suk.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-sur.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-usk.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-usr.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-uuk.c: New test.
+ * gcc.target/avr/torture/pr125409-fx24-uur.c: New test.
+
+2026-05-25 Tobias Burnus <tburnus@baylibre.com>
+
+ PR c/125377
+ * c-c++-common/gomp/begin-declare-variant-1.c: New test.
+
+2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc.dg/stack-usage-1.c: Adjust.
+
+2026-05-25 H.J. Lu <hjl.tools@gmail.com>
+
+ * gcc.target/i386/stack-usage-realign.c: Add the user visibility
+ name to scan-stack-usage.
+
+2026-05-25 liuhongt <hongtao.liu@intel.com>
+
+ PR middle-end/124630
+ * gcc.dg/pr124630.c: New test.
+ * gcc.target/i386/pr124630.c: New test.
+
2026-05-24 Raven Hallsby <karl@hallsby.com>
PR tree-optimization/125104
diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog
index 8facb8ef6e65..0b8ba591e71d 100644
--- a/libgfortran/ChangeLog
+++ b/libgfortran/ChangeLog
@@ -1,3 +1,12 @@
+2026-05-25 Jerry DeLisle <jvdelisle@gcc.gnu.org>
+
+ PR fortran/93727
+ * io/write_float.def (get_float_hex_string): Fix kind=8 frac_part
+ from unsigned long to GFC_UINTEGER_8 to correct truncated hex
+ output and IEEE_INVALID_FLAG on ILP32 targets. Update kind=10
+ and kind=16 to use GFC_UINTEGER_8 for consistency.
+ Assisted by: Claude Sonnet 4.6
+
2026-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
Harald Anlauf <anlauf@gcc.gnu.org>
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 66ba3b8e5604..4524c3589572 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,49 @@
+2026-05-25 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * testsuite/20_util/is_constructible/value-2.cc:
+ Adjust expected value for C++26 (__cpp_trivial_union >= 202502L).
+ * testsuite/20_util/is_destructible/value.cc: Likewise.
+ * testsuite/20_util/is_nothrow_destructible/value.cc: Likewise.
+
+2026-05-25 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/version.def (valarray): Define.
+ * include/bits/version.h: Regenerate.
+ * include/std/valarray: (__cpp_lib_valarray): Define.
+ (valarray::begin, valarray::end, valarray::iterator)
+ (valarray::const_iterator) [__glibcxx_valarray >= 202511L]: Define.
+ (std::begin(valarray<_Tp>&), std::begin(const valarray<_Tp>&))
+ (std::end(valarray<_Tp>&), std::end(const valarray<_Tp>&)): Define
+ only if __glibcxx_valarray < 202511L (i.e. not defined).
+ * include/bits/range_access.h (std::valarray)
+ (std::begin(valarray<_Tp>&), std::begin(const valarray<_Tp>&))
+ (std::end(valarray<_Tp>&), std::end(const valarray<_Tp>&)): Forward
+ declare only if __glibcxx_valarray < 202511L (i.e. not defined).
+ * testsuite/26_numerics/valarray/range_access3.cc: New test.
+
+2026-05-25 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/version.def (initializer_list): Define with value
+ 202511 for C++26.
+ * include/bits/version.h: Regenerate.
+ * libsupc++/initializer_list (initializer_list::data)
+ (initializer_list::empty) [__glibcxx_initializer_list >= 202511L]:
+ Define.
+ (std::begin(initializer_list<_Tp>), std::end(initializer_list<_Tp>)):
+ Define only if __glibcxx_initializer_list < 202511L (i.e. not defined).
+ * include/bits/range_access.h (std::empty(initializer_list<_Tp>))
+ (std::data(initializer_list<_Tp>)): Define only if
+ __glibcxx_initializer_list < 202511L (i.e. not defined).
+ * testsuite/18_support/initializer_list/range_access.cc: Move test for
+ brace-init list to range_access_neg.c. Included <iterator> in C++26 or
+ later mode.
+ * testsuite/18_support/initializer_list/data_empty_mem.cc: New test.
+ * testsuite/18_support/initializer_list/range_access14.cc: New test.
+ * testsuite/18_support/initializer_list/range_access14_neg.cc: New test.
+ * testsuite/18_support/initializer_list/range_access17.cc: New test.
+ * testsuite/18_support/initializer_list/range_access17_neg.cc: New test.
+ * testsuite/18_support/initializer_list/range_access_neg.cc: New test.
+
2026-05-22 Jonathan Wakely <jwakely@redhat.com>
* testsuite/23_containers/vector/modifiers/emplace/self_emplace.cc:
More information about the Libstdc++-cvs
mailing list