https://gcc.gnu.org/g:34701fe95d3f3b4e9f8056ce32e7f699f8441e7f
commit r16-1198-g34701fe95d3f3b4e9f8056ce32e7f699f8441e7f
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Jun 6 00:18:30 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 181 +++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 371 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cobol/ChangeLog | 13 ++
gcc/cp/ChangeLog | 34 +++++
gcc/testsuite/ChangeLog | 86 +++++++++++
libgcobol/ChangeLog | 21 +++
libstdc++-v3/ChangeLog | 64 +++++++++
8 files changed, 771 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f70a66ec3da2..79416167355c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,184 @@
+2025-06-05 Jeff Law <j...@ventanamicro.com>
+
+ * config/riscv/riscv.cc (riscv_expand_conditional_move): Avoid
+ zicond in some cases involving sign bit tests.
+ * config/riscv/riscv.md: Split a splat of the sign bit feeding a
+ masking off high bits into a pair of right shifts.
+
+2025-06-05 Uros Bizjak <ubiz...@gmail.com>
+
+ PR target/120553
+ * config/i386/i386.md (mov<mode>cc): Use "general_operand"
+ predicate for operands 2 and 3 for all modes.
+
+2025-06-05 Marek Polacek <pola...@redhat.com>
+
+ * doc/invoke.texi: Update a link to c99status.html.
+ * doc/standards.texi: Likewise.
+
+2025-06-05 Andrew Pinski <quic_apin...@quicinc.com>
+
+ * tree-ssa-ccp.cc (insert_clobber_before_stack_restore): Update the
virtual
+ op on the inserted clobber and the stack restore function.
+ (do_ssa_ccp): Don't add TODO_update_ssa to the todo.
+
+2025-06-05 Andrew Pinski <quic_apin...@quicinc.com>
+
+ * config/aarch64/aarch64-sve-builtins.cc: Include value-range.h and
tree-ssanames.h
+ (gimple_folder::convert_and_fold): Use make_ssa_name
+ instead of create_tmp_var for the temporary. Add comment about callback
argument.
+
+2025-06-05 Jakub Jelinek <ja...@redhat.com>
+
+ PR tree-optimization/120231
+ * range-op.cc (range_op_table::range_op_table): Register op_cast
+ also for FLOAT_EXPR and FIX_TRUNC_EXPR.
+ (RO_III): Adjust comment.
+ (range_op_handler::op1_range): Handle RO_IFI rather than RO_IFF.
+ Don't handle RO_FII.
+ (range_operator::op1_range): Remove overload with
+ irange &, tree, const frange &, const frange &, relation_trio
+ and frange &, tree, const irange &, const irange &, relation_trio
+ arguments. Add overload with
+ irange &, tree, const frange &, const irange &, relation_trio
+ arguments.
+ * range-op-mixed.h (operator_cast::op1_range): Remove overload with
+ irange &, tree, const frange &, const frange &, relation_trio
+ and frange &, tree, const irange &, const irange &, relation_trio
+ arguments. Add overload with
+ irange &, tree, const frange &, const irange &, relation_trio and
+ frange &, tree, const irange &, const frange &, relation_trio
+ arguments.
+ * range-op.h (range_operator::op1_cast): Remove overload with
+ irange &, tree, const frange &, const frange &, relation_trio
+ and frange &, tree, const irange &, const irange &, relation_trio
+ arguments. Add overload with
+ irange &, tree, const frange &, const irange &, relation_trio
+ arguments.
+ * range-op-float.cc (operator_cast::fold_range): Implement
+ float to int and int to float casts.
+ (operator_cast::op1_range): Remove overload with
+ irange &, tree, const frange &, const frange &, relation_trio
+ and frange &, tree, const irange &, const irange &, relation_trio
+ arguments. Add overload with
+ irange &, tree, const frange &, const irange &, relation_trio and
+ frange &, tree, const irange &, const frange &, relation_trio
+ arguments and implement reverse op of float to int and int to float
+ cast there.
+
+2025-06-05 Jan Hubicka <hubi...@ucw.cz>
+
+ * auto-profile.cc (afdo_calculate_branch_prob): Fix typo
+ in previous patch.
+
+2025-06-05 Kito Cheng <kito.ch...@sifive.com>
+
+ * common/config/riscv/riscv-common.cc: Remove structured binding
+ from the code.
+
+2025-06-05 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120547
+ * real.cc (real_from_integer): Remove maxbitlen variable, use
+ len instead of that. When shifting right, or in 1 if any of the
+ shifted away bits are non-zero. Formatting fix.
+
+2025-06-05 Jan Hubicka <hubi...@ucw.cz>
+
+ * auto-profile.cc (update_count_by_afdo_count): Fix handling
+ of GUESSED_LOCAL.
+ (afdo_calculate_branch_prob): Preserve static profile for
+ probabilities 0 and 1.
+
+2025-06-05 Pan Li <pan2...@intel.com>
+
+ * config/riscv/autovec-opt.md: Leverage vdup_v and v_vdup
+ binary op for different patterns.
+ * config/riscv/vector-iterators.md: Add vdup_v and v_vdup
+ binary op iterators.
+
+2025-06-05 Jeff Law <j...@ventanamicro.com>
+
+ * config/riscv/zicond.md: Add new splitters to select
+ 1, -1 or -1, 1 based on a sign bit test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: New extension definition.
+ * config/riscv/riscv-ext.opt: New extension mask.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2025-06-05 Eric Botcazou <ebotca...@adacore.com>
+
+ * tree-vect-data-refs.cc (vect_can_force_dr_alignment_p): Return
+ false if the variable has no symtab node.
+
+2025-06-05 Spencer Abson <spencer.ab...@arm.com>
+
+ * tree-eh.cc (operation_could_trap_helper_p): Cover FIX_TRUNC
+ expressions explicitly.
+
+2025-06-05 Tobias Burnus <tbur...@baylibre.com>
+
+ * config.gcc (--with-{arch,tune}): Use .def file to validate gcn
+ processor names.
+ * doc/install.texi (amdgcn*-*-*): Update list of devices supported
+ by --with-arch/--with-tune.
+
+2025-06-05 Hongyu Wang <hongyu.w...@intel.com>
+
+ PR middle-end/112824
+ * tree-sra.cc (sra_get_max_scalarization_size): Use MOVE_MAX
+ instead of UNITS_PER_WORD to define max_scalarization_size.
+
+2025-06-05 Hu, Lin1 <lin1...@intel.com>
+
+ * config/i386/sse.md
+ (avx512f_movddup512<mask_name>): Change sselog1 to ssemov.
+ (avx_movddup256<mask_name>): Ditto.
+ (*vec_dupv2di): Change alternative 4's type attribute from sselog1
+ to ssemov.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * config/riscv/riscv-ext.def: Update declaration.
+
2025-06-04 Kugan Vivekanandarajah <kvivekana...@nvidia.com>
* auto-profile.cc (autofdo_source_profile::read): Dump message
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 520e78d76964..c6de4e349988 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250605
+20250606
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 55c8f7411c0d..7ef50eac608f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,374 @@
+2025-06-05 squirek <squi...@adacore.com>
+
+ * sem_warn.adb
+ (Warn_On_Useless_Assignment): Disable out value "overwritten" warning
+ when we are not warning on unread out parameters (e.g. "-gnatw.o").
+
+2025-06-05 Tonu Naks <n...@adacore.com>
+
+ * libgnat/i-cstrin.adb: null pointer check in Update
+
+2025-06-05 Arnaud Charlet <char...@adacore.com>
+
+ * exp_util.adb, rtsfind.adb, rtsfind.ads, sem_prag.adb: Remove
+ references to RO_GH_Big_Integer and
+ Ada_Numerics_Big_Numbers_Big_Integers_Ghost.
+ * libgnat/a-strfix.adb, libgnat/a-strmap.adb,
+ libgnat/a-strsea.adb, libgnat/a-strsup.adb,
+ libgnat/i-c.ads, libgnat/i-c.adb, libgnat/s-aridou.adb,
+ libgnat/s-aridou.ads, libgnat/s-arit128.adb,
+ libgnat/s-arit128.ads, libgnat/s-arit32.adb,
+ libgnat/s-arit32.ads, libgnat/s-arit64.adb,
+ libgnat/s-arit64.ads, libgnat/s-casuti.adb,
+ libgnat/s-exnint.ads, libgnat/s-exnlli.ads,
+ libgnat/s-exnllli.ads, libgnat/s-expint.ads,
+ libgnat/s-explli.ads, libgnat/s-expllli.ads,
+ libgnat/s-explllu.ads, libgnat/s-expllu.ads,
+ libgnat/s-expmod.adb, libgnat/s-expmod.ads,
+ libgnat/s-exponn.adb, libgnat/s-exponn.ads,
+ libgnat/s-expont.adb, libgnat/s-expont.ads,
+ libgnat/s-exponu.adb, libgnat/s-exponu.ads,
+ libgnat/s-imaged.ads, libgnat/s-imaged.adb,
+ libgnat/s-expuns.ads, libgnat/s-imagef.ads,
+ libgnat/s-imagef.adb, libgnat/s-imagei.adb,
+ libgnat/s-imagei.ads, libgnat/s-imageu.adb,
+ libgnat/s-imageu.ads, libgnat/s-imgboo.adb,
+ libgnat/s-imde128.ads, libgnat/s-imde32.ads,
+ libgnat/s-imde64.ads, libgnat/s-imfi128.ads,
+ libgnat/s-imfi32.ads, libgnat/s-imfi64.ads,
+ libgnat/s-imgboo.ads, libgnat/s-imgint.ads,
+ libgnat/s-imglli.ads, libgnat/s-imgllli.ads,
+ libgnat/s-imglllu.ads, libgnat/s-imgllu.ads,
+ libgnat/s-imguns.ads, libgnat/s-valboo.adb,
+ libgnat/s-valboo.ads, libgnat/s-valint.ads,
+ libgnat/s-vallli.ads, libgnat/s-valllli.ads,
+ libgnat/s-vallllu.ads, libgnat/s-valllu.ads,
+ libgnat/s-valuns.ads, libgnat/s-valuti.adb,
+ libgnat/s-valuti.ads, libgnat/s-valuei.adb,
+ libgnat/s-valuei.ads, libgnat/s-valueu.ads,
+ libgnat/s-valueu.adb, libgnat/s-veboop.adb,
+ libgnat/s-veboop.ads, libgnat/s-widint.ads,
+ libgnat/s-widlli.ads, libgnat/s-widllli.ads,
+ libgnat/s-widlllu.ads, libgnat/s-widllu.ads,
+ libgnat/s-widthi.adb, libgnat/s-widthu.adb,
+ libgnat/s-widthu.ads, libgnat/s-widuns.ads: Remove ghost code
+ and SPARK annotations.
+ * libgnat/a-nbnbig.ads, libgnat/a-nbnbig.adb,
+ libgnat/s-spark.ads, libgnat/s-spcuop.adb,
+ libgnat/s-spcuop.ads, libgnat/s-vaispe.adb,
+ libgnat/s-vaispe.ads, libgnat/s-vauspe.adb,
+ libgnat/s-vauspe.ads, libgnat/s-vs_int.ads,
+ libgnat/s-vs_lli.ads, libgnat/s-vs_llu.ads,
+ libgnat/s-vs_uns.ads, libgnat/s-valspe.adb,
+ libgnat/s-valspe.ads, libgnat/s-vsllli.ads,
+ libgnat/s-vslllu.ads: Removed.
+ * Makefile.rtl: Update list of runtime units.
+ * gcc-interface/Make-lang.in: Remove object files.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * fname-uf.adb: Fix documentation comment.
+ (Get_Default_File_Name): Fix indices of default patterns.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * atree.ads (New_Copy, Relocate_Node): Tweak documentation comments.
+
+2025-06-05 Andres Toom <t...@adacore.com>
+
+ * libgnat/a-nudira.ads: Activate SPARK mode and add missing
+ basic contracts. Mark the unit as always terminating.
+ * libgnat/a-nuflra.ads: Idem.
+
+2025-06-05 Javier Miranda <mira...@adacore.com>
+
+ * exp_ch7.adb (Process_Object_Declaration): Avoid generating
+ duplicate names for master nodes.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * opt.ads: Remove useless variable.
+ * sem_ch9.adb (Analyze_Abort_Statement, Analyze_Accept_Alternative,
+ Analyze_Accept_Statement, Analyze_Asynchronous_Select,
+ Analyze_Conditional_Entry_Call, Analyze_Delay_Alternative,
+ Analyze_Delay_Relative, Analyze_Delay_Until, Analyze_Entry_Body,
+ Analyze_Entry_Body_Formal_Part, Analyze_Entry_Call_Alternative,
+ Analyze_Entry_Declaration, Analyze_Entry_Index_Specification,
+ Analyze_Protected_Body, Analyze_Protected_Definition,
+ Analyze_Protected_Type_Declaration, Analyze_Requeue,
+ Analyze_Selective_Accept, Analyze_Single_Protected_Declaration,
+ Analyze_Single_Task_Declaration, Analyze_Task_Body,
+ Analyze_Task_Definition, Analyze_Task_Type_Declaration,
+ Analyze_Terminate_Alternative, Analyze_Timed_Entry_Call,
+ Analyze_Triggering_Alternative): Remove useless assignments.
+
+2025-06-05 Steve Baird <ba...@adacore.com>
+
+ * sem_util.adb
+ (Side_Effect_Free_Statements): Return False if the statement list
+ includes an explicit (i.e. Comes_From_Source) raise statement.
+
+2025-06-05 Javier Miranda <mira...@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): Add missing check
+ on premature use of incomplete type.
+
+2025-06-05 Aleksandra Pasek <pa...@adacore.com>
+
+ * libgnat/s-arit32.adb: Add Ghost aspect to Lo.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * exp_ch4.adb (Tagged_Membership): Fix for protected types.
+
+2025-06-05 Bob Duff <d...@adacore.com>
+
+ * sem_eval.adb (Fold_Shift): If the Amount parameter is greater
+ than the size in bits, use the size. For example, if we are
+ shifting an Unsigned_8 value, then Amount => 1_000_001 gives the
+ same result as Amount => 8. This change avoids computing the value
+ of 2**1_000_000, which takes too long and uses too much memory.
+ Note that the computation we're talking about is a compile-time
+ computation. Minor cleanup. DRY.
+ * sem_eval.ads (Fold_Str, Fold_Uint, Fold_Ureal): Fold the
+ comments into one comment, because DRY. Remove useless
+ verbiage.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * exp_attr.adb (Interunit_Ref_OK): Tweak categorization of compilation
+ units.
+
+2025-06-05 Aleksandra Pasek <pa...@adacore.com>
+
+ * libgnat/s-aridou.adb: Add missing Ghost aspect to
+ Lemma_Not_In_Range_Big2xx64.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * libgnat/s-trasym__dwarf.adb (Init_Module): Add mitigation.
+
+2025-06-05 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_aggr.adb (Build_Two_Pass_Aggr_Code): New function containing
+ most of the code initially present in Two_Pass_Aggregate_Expansion.
+ (Two_Pass_Aggregate_Expansion): Remove redundant N parameter.
+ Implement built-in-place expansion for (static) object declarations
+ and allocators, using Build_Two_Pass_Aggr_Code for the main work.
+ (Expand_Array_Aggregate): Adjust Two_Pass_Aggregate_Expansion call.
+ Replace Etype (N) by Typ in a couple of places.
+ * exp_ch3.adb (Expand_Freeze_Array_Type): Remove special case for
+ two-pass array aggregates.
+ (Expand_N_Object_Declaration): Do not adjust the object when it is
+ initialized by a two-pass array aggregate.
+ * exp_ch4.adb (Expand_Allocator_Expression): Apply the processing
+ used for container aggregates to two-pass array aggregates.
+ * exp_ch6.adb (Validate_Subprogram_Calls): Skip calls present in
+ initialization expressions of N_Object_Declaration nodes that have
+ No_Initialization set.
+ * sem_ch3.adb (Analyze_Object_Declaration): Detect the cases of an
+ array originally initialized by an aggregate consistently.
+
+2025-06-05 Johannes Kliemann <kliem...@adacore.com>
+
+ * libgnat/s-arit32.adb (Lemma_Not_In_Range_Big2xx32): Add missing
+ Ghost aspect.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * generate_minimal_reproducer.adb (Generate_Minimal_Reproducer): Fix
+ handling of preprocessing dependencies.
+
+2025-06-05 Viljar Indus <in...@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_attributes.rst: Update the
+ documentation for Valid_Value.
+ * sem_attr.adb (Analyze_Attribute): Reject types where
+ the root type originates from Standard.
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-05 Gary Dismukes <dismu...@adacore.com>
+
+ * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Change call to
Make_Assignment
+ for the indexed aggregate object to call Change_Make_OK_Assignment
instead.
+
+2025-06-05 Steve Baird <ba...@adacore.com>
+
+ * sem_prag.adb
+ (Analyze_Constituent): In the specific case case of a defined-too-late
+ abstract state constituent, generate an additional error message.
+
+2025-06-05 Viljar Indus <in...@adacore.com>
+
+ * diagnostics-sarif_emitter.adb (Print_Invocations): fix
+ commandLine and executionSuccessful nodes.
+ Fix typo in the name for startLine.
+ * osint.adb (Modified Get_Current_Dir) Fix generation of
+ the current directory.
+ (Relative_Path): Avoid relative paths starting with a
+ path separator.
+ * osint.ads: Update the documentation for Relative_Path.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * libgnat/i-cstrin.adb (New_String): Fix size of allocation.
+
+2025-06-05 squirek <squi...@adacore.com>
+
+ * sem_ch8.adb (Analyze_Package_Name): Add code to expand use
+ clauses such that they have an implicit with associated with them
+ when extensions are enabled.
+ * sem_ch10.ads (Analyze_With_Clause): New.
+ * sem_ch10.adb (Analyze_With_Clause): Add comes from source check
+ for warning.
+ (Expand_With_Clause): Moved to the spec.
+ * sem_util.adb, sem_util.ads
+ (Is_In_Context_Clause): Moved from sem_prag.
+ * sem_prag.adb (Analyze_Pragma): Update calls to
+ Is_In_Context_Clause.
+ (Is_In_Context_Clause): Moved to sem_util.
+
+2025-06-05 Piotr Trojanek <troja...@adacore.com>
+
+ * doc/gnat_ugn/platform_specific_information.rst
+ (Setting Stack Size from gnatlink): Improve documentation.
+ * gnat-style.texi: Regenerate.
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-05 squirek <squi...@adacore.com>
+
+ * accessibility.adb (Check_Return_Construct_Accessibility):
+ Disable check generation when we are only checking semantics.
+ * opt.ads: Add new flag for -gnatc mode
+ * switch-c.adb (Scan_Front_End_Switches): Set flag for -gnatc mode
+
+2025-06-05 Viljar Indus <in...@adacore.com>
+
+ * sem_ch8.adb (Mark_Use_Type): Additionally mark the types
+ of the parameters and return values as used when analyzing an
+ operator.
+
+2025-06-05 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch9.adb (Build_Dispatching_Requeue): Take 'Tag of the
+ concurrent object instead of doing an unchecked conversion.
+ * exp_pakd.adb (Expand_Packed_Address_Reference): Perform address
+ arithmetic using an operator of System.Storage_Elements.
+
+2025-06-05 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch6.adb (Expand_Actuals): Remove obsolete comment.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Always use a proper
+ object declaration initialized with the function call in the cases
+ where a temporary is needed, with Assignment_OK set on it.
+ * sem_util.adb (Entity_Of): Deal with rewritten function call first.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * libgnat/i-cstrin.adb (Position_Of_Nul): Change specification and
+ adjust body accordingly.
+ (New_Char_Array): Fix size of allocation.
+ (To_Chars_Ptr): Adapt to Position_Of_Nul change.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * generate_minimal_reproducer.adb (Generate_Minimal_Reproducer): Fix
+ oracle generation.
+
+2025-06-05 Ronan Desplanques <desplanq...@adacore.com>
+
+ * generate_minimal_reproducer.adb (Generate_Minimal_Reproducer):
+ Fix when main library item is an instantiation.
+
+2025-06-05 Steve Baird <ba...@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): When accessing the
+ maps declared in package Cached_Attribute_Ops, the key value
+ passed to Get or to Set should never be the entity node for a
+ subtype. Use the entity of the corresponding type declaration
+ instead.
+
+2025-06-05 Viljar Indus <in...@adacore.com>
+
+ * sem_res.adb (Resolve_Declare_Expression): Mark used
+ local variables inside a declare expression as referenced.
+
+2025-06-05 Javier Miranda <mira...@adacore.com>
+
+ * sem.ads: Update reference to renamed subprogram in documentation.
+ * sem_ch3.ads (Preanalyze_Assert_Expression): Renamed.
+ (Preanalyze_Spec_Expression): Renamed.
+ * sem_ch3.adb (Preanalyze_Assert_Expression): Renamed and code cleanup.
+ (Preanalyze_Spec_Expression): Renamed.
+ (Preanalyze_Default_Expression): Renamed.
+ * contracts.adb: Update calls to renamed subprograms.
+ * exp_pakd.adb: Ditto.
+ * exp_util.adb: Ditto.
+ * freeze.adb: Ditto.
+ * sem_ch12.adb: Ditto.
+ * sem_ch13.adb: Ditto.
+ * sem_ch6.adb: Ditto.
+ * sem_prag.adb: Ditto.
+ * sem_res.adb (Preanalyze_And_Resolve): Add to the version without
+ context type the special handling for GNATprove mode provided by
+ the version with context type; required to cleanup the body of
+ Preanalyze_Assert_Expression.
+
+2025-06-05 squirek <squi...@adacore.com>
+
+ * accessibility.adb
+ (Check_Return_Construct_Accessibility): Disable check generation
+ when we are only checking semantics.
+
+2025-06-05 Viljar Indus <in...@adacore.com>
+
+ * diagnostics-json_utils.adb: Add new method To_File_Uri to
+ convert any path to the URI standard.
+ * diagnostics-json_utils.ads: Likewise.
+ * diagnostics-sarif_emitter.adb: Converted Artifact_Change
+ types to use the Source_File_Index instead of the file name
+ to store the source file.
+ Removed the body from Destroy (Elem : in out Artifact_Change)
+ since it no longer contained elements with dynamic memory.
+ Updated the implementation of Equals (L, R : Artifact_Change)
+ to take into account the changes for Artifact_Change.
+ Print_Artifact_Location: Use the Source_File_Index as an
+ input argument. Now prints the uriBaseId attribute and a
+ relative path from the uriBaseId to the file in question as
+ the value of the uri attribute.
+ New method Print_Original_Uri_Base_Ids to print the
+ originalUriBaseIds node.
+ Print_Run no prints the originalUriBaseIds node.
+ Use constants instead of strings for all the SARIF attributes.
+ * osint.adb: Add new method Relative_Path to calculate the
+ relative path from a base directory.
+ Add new method Root to calculate the root of each directory.
+ Add new method Get_Current_Dir to get the current working
+ directory for the execution environment.
+ * osint.ads: Likewise.
+ * clean.adb: Use full names for calls to Get_Current_Dir.
+ * gnatls.adb: Likewise.
+
+2025-06-05 Steve Baird <ba...@adacore.com>
+
+ * sem_res.adb
+ (Set_Mixed_Mode_Operand): If we are about to call Resolve
+ passing in Any_Fixed as the expected type, then instead pass in
+ the fixed point type of the other operand (i.e., B_Typ).
+
+2025-06-05 Gary Dismukes <dismu...@adacore.com>
+
+ * sem_util.adb (Check_Function_Writable_Actuals): Add handling for
+ N_Iterated_Component_Association and N_Iterated_Element_Association.
+ Fix a typo in an RM reference (6.4.1(20/3) => 6.4.1(6.20/3)).
+ (Collect_Expression_Ids): New procedure factoring code for collecting
+ identifiers from expressions of aggregate associations.
+ (Handle_Association_Choices): New procedure factoring code for handling
+ id collection for expressions of aggregate associations with multiple
+ choices. Removed redundant test of Box_Present from original code.
+
2025-05-24 Eric Botcazou <ebotca...@adacore.com>
* gcc-interface/Make-lang.in (ACATSDIR): Use acats-2 directory.
diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index 03243e934d0a..e4d7a1eaa56d 100644
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,16 @@
+2025-06-05 Robert Dubner <rdub...@symas.com>
+
+ PR cobol/119975
+ * genapi.cc (parser_intrinsic_call_0): Use get_time_nanoseconds().
+ * genutil.cc (get_time_64): Rename to get_time_nanoseconds().
+ (get_time_nanoseconds): Likewise.
+ * genutil.h (get_time_64): Likewise.
+ (get_time_nanoseconds): Likewise.
+ * util.cc (class cbl_timespec): Timing routine uses
+ get_time_nanoseconds().
+ (operator-): Likewise.
+ (parse_file): Likewise.
+
2025-06-02 Robert Dubner <rdub...@symas.com>
PR cobol/119975
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f10cf46858f4..0541c5da1651 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,37 @@
+2025-06-05 Patrick Palka <ppa...@redhat.com>
+
+ PR c++/120224
+ * pt.cc (tsubst_function_decl): Return error_mark_node if
+ substituting into the formal parameter list failed.
+ (tsubst_decl) <case PARM_DECL>: Return error_mark_node
+ upon TREE_TYPE substitution failure, when in a SFINAE
+ context. Return error_mark_node upon DECL_CHAIN substitution
+ failure.
+
+2025-06-05 Patrick Palka <ppa...@redhat.com>
+
+ PR c++/118340
+ * constexpr.cc (maybe_constant_value): First try looking up each
+ operand in the cv_cache and reusing the result.
+
+2025-06-05 Iain Sandoe <i...@sandoe.co.uk>
+
+ * coroutines.cc (analyze_fn_parms): Move from free function..
+ (cp_coroutine_transform::analyze_fn_parms):... to method.
+ (cp_coroutine_transform::apply_transforms): Adjust call to
+ analyze_fn_parms.
+ * coroutines.h: Declare analyze_fn_parms.
+
+2025-06-05 Iain Sandoe <i...@sandoe.co.uk>
+
+ * coroutines.cc (expand_one_await_expression): Set the
+ initial_await_resume_called flag here.
+ (build_actor_fn): Populate the frame accessor for the
+ initial_await_resume_called flag.
+ (cp_coroutine_transform::wrap_original_function_body): Do
+ not modify the initial_await expression to include the
+ initial_await_resume_called flag here.
+
2025-06-04 Jason Merrill <ja...@redhat.com>
PR c++/120502
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bd49936b7cbc..8f9ad099529e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,89 @@
+2025-06-05 Jeff Law <j...@ventanamicro.com>
+
+ * gcc.target/riscv/nozicond-3.c: New test.
+
+2025-06-05 Uros Bizjak <ubiz...@gmail.com>
+
+ PR target/120553
+ * gcc.target/i386/pr120553.c: New test.
+
+2025-06-05 Jakub Jelinek <ja...@redhat.com>
+
+ PR tree-optimization/120231
+ * gcc.dg/tree-ssa/pr120231-2.c: New test.
+ * gcc.dg/tree-ssa/pr120231-3.c: New test.
+ * gfortran.dg/inline_matmul_16.f90: Don't expect any _gfortran_matmul
+ strings in optimized dump.
+ * gfortran.dg/inline_matmul_26.f90: New test.
+ * g++.dg/tree-ssa/loop-split-1.C (d): New variable.
+ (main): Use std::log (i + d) instead of std::log (i).
+
+2025-06-05 Andrew Pinski <quic_apin...@quicinc.com>
+
+ PR tree-optimization/89606
+ * gcc.target/aarch64/vld2-1.c: New test.
+
+2025-06-05 Patrick Palka <ppa...@redhat.com>
+
+ PR c++/120224
+ * g++.dg/cpp0x/alias-decl-80.C: New test.
+
+2025-06-05 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120547
+ * gcc.dg/bitint-123.c: New test.
+
+2025-06-05 Jeff Law <j...@ventanamicro.com>
+
+ * gcc.target/riscv/nozicond-1.c: New test.
+ * gcc.target/riscv/nozicond-2.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-ssu64xl.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-sstvecd.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-sstvala.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-sscounterenw.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-ssccptr.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-smrnmi.c: New test.
+
+2025-06-05 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/arch-smcsrind.c: New test.
+
+2025-06-05 Eric Botcazou <ebotca...@adacore.com>
+
+ * gnat.dg/specs/opt7.ads: New test.
+ * gnat.dg/specs/opt7_pkg.ads: New helper.
+ * gnat.dg/specs/opt7_pkg.adb: Likewise.
+
+2025-06-05 Spencer Abson <spencer.ab...@arm.com>
+
+ * gcc.target/aarch64/sve/pr96357.c: Change to avoid producing
+ a conditional FIX_TRUNC_EXPR, whilst still reproducing the bug
+ in PR96357.
+ * gcc.dg/tree-ssa/ifcvt-fix-trunc-1.c: New test.
+ * gcc.dg/tree-ssa/ifcvt-fix-trunc-2.c: Likewise.
+
+2025-06-05 Hongyu Wang <hongyu.w...@intel.com>
+
+ * g++.target/i386/pr112824-2.C: New test.
+
2025-06-04 Kugan Vivekanandarajah <kvivekana...@nvidia.com>
* gcc.dg/tree-prof/clone-merge-1.c: New test.
diff --git a/libgcobol/ChangeLog b/libgcobol/ChangeLog
index 80057c10f7c5..f853c51d0a48 100644
--- a/libgcobol/ChangeLog
+++ b/libgcobol/ChangeLog
@@ -1,3 +1,24 @@
+2025-06-05 Robert Dubner <rdub...@symas.com>
+
+ PR cobol/119975
+ * configure.ac: AC_CHECK_LIB(rt, clock_gettime).
+ * config.h.in: Likewise.
+ * configure: Likewise.
+ * gfileio.cc: Remove in-line cppcheck-suppress.
+ * intrinsic.cc (timespec_to_string): Use guarded clock_gettime().
+ (__gg__current_date): Likewise.
+ (__gg__seconds_past_midnight): Likewise.
+ (__gg__formatted_current_date): Likewise.
+ (__gg__random): Likewise.
+ (__gg__random_next): Likewise.
+ (__gg__when_compiled): Likewise.
+ * libgcobol.cc (cobol_time): Likewise.
+ (get_time_nanoseconds): Likewise.
+ (__gg__clock_gettime): Likewise.
+ (__gg__get_date_hhmmssff): Likewise.
+ * libgcobol.h (__gg__clock_gettime): Likewise.
+ (struct cbl_timespec): Likewise.
+
2025-06-04 Robert Dubner <rdub...@symas.com>
PR cobol/119323
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 85b4adc3e0f5..18d82cb4ecf6 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,67 @@
+2025-06-05 Jonathan Wakely <jwak...@redhat.com>
+
+ PR libstdc++/120548
+ * include/std/format (__formatter_fp::_M_localize): Do not
+ include a leading sign character in the string to be grouped.
+ * testsuite/std/format/functions/format.cc: Check grouping when
+ sign is present in the output.
+
+2025-06-05 Tomasz Kamiński <tkami...@redhat.com>
+
+ PR libstdc++/119152
+ * src/c++23/std.cc.in (std::indirect, pmr::indirect)
+ [__cpp_lib_indirect]
+ (std::polymorphic, pmr::polymorphic) [__cpp_lib_polymorphic]: Export.
+
+2025-06-05 Tomasz Kamiński <tkami...@redhat.com>
+
+ PR libstdc++/120481
+ * include/bits/chrono_io.h (__format::_S_chars): Reorder so it
+ contains "-{}".
+ (__format::_S_colon, __format::_S_slash, __format::_S_space)
+ (__format::_S_plus_minus): Updated starting indicies.
+ (__format::_S_minus_empty_spec): Define.
+ (__formatter_chrono::_M_C_y_Y, __formatter_chrono::_M_R_T):
+ Rework implementation.
+ (__formatter_chrono::_M_d_e, __formatter_chrono::_M_F)
+ (__formatter_chrono::_M_m, __formatter_chrono::_M_u_w)
+ (__formatter_chrono::_M_H_I, __formatter_chrono::_M_p):
+ Handle multi digits values.
+ (__formatter_chrono::_S_digit): Return string view.
+ (__formatter_chrono::_S_str_d1, __formatter_chrono::_S_str_d2)
+ (__formatter_chrono::_S_fill_two_digits): Define.
+ * testsuite/std/time/format/empty_spec.cc: Update test for
+ year_month_day, that uses '%F'.
+ * testsuite/std/time/format/pr120481.cc: New test.
+
+2025-06-05 Nathan Myers <n...@cantrip.org>
+
+ Revert:
+ 2025-06-04 Nathan Myers <n...@cantrip.org>
+
+ PR libstdc++/119741
+ * include/std/sstream: full implementation, really just
+ decls, requires clause and plumbing.
+ * include/bits/version.def, include/bits/version.h:
+ new preprocessor symbol
+ __cpp_lib_sstream_from_string_view.
+ * testsuite/27_io/basic_stringbuf/cons/char/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_istringstream/cons/char/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_ostringstream/cons/char/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_stringstream/cons/char/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_stringbuf/cons/wchar_t/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_istringstream/cons/wchar_t/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_ostringstream/cons/wchar_t/string_view.cc:
+ New tests.
+ * testsuite/27_io/basic_stringstream/cons/wchar_t/string_view.cc:
+ New tests.
+
2025-06-04 Jonathan Wakely <jwak...@redhat.com>
* testsuite/std/time/format/empty_spec.cc: Only test time zones
