https://gcc.gnu.org/g:d7a6b1cffb1b55bb7c9a3ea982a16d57dfa773f4
commit r16-1907-gd7a6b1cffb1b55bb7c9a3ea982a16d57dfa773f4
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed Jul 2 00:19:39 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 62 ++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 402 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 22 +++
gcc/c/ChangeLog | 14 ++
gcc/cobol/ChangeLog | 8 +
gcc/cp/ChangeLog | 10 ++
gcc/fortran/ChangeLog | 22 +++
gcc/m2/ChangeLog | 6 +
gcc/testsuite/ChangeLog | 125 +++++++++++++++
libphobos/ChangeLog | 5 +
libstdc++-v3/ChangeLog | 21 +++
12 files changed, 698 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 78239f08f1b6..9004d1cb81a4 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,65 @@
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * tree-object-size.cc (access_with_size_object_size): Update comments
+ for pointers with .ACCESS_WITH_SIZE.
+ (collect_object_sizes_for): Propagate size info through GIMPLE_ASSIGN
+ for pointers with .ACCESS_WITH_SIZE.
+
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * doc/extend.texi: Extend counted_by attribute to pointer fields in
+ structures. Add one more requirement to pointers with counted_by
+ attribute.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/120471
+ * tree.h (address_invariant_p): New function.
+ * tree.cc (address_invariant_p): New function.
+ (tree_invariant_p_1): Use it for ADDR_EXPR handling. Formatting
+ tweak.
+
+2025-07-01 Remi Machet <rmac...@nvidia.com>
+
+ * config/aarch64/aarch64-simd.md (*shrn_to_subhn_<mode>): Add pattern
+ converting mvn+shrn into mvni+subhn.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * passes.def (pass_musttail): Move before pass_sanopt.
+ * tree-tailcall.cc (empty_eh_cleanup): Handle GIMPLE_RESX
+ which doesn't throw externally through recursion on single
+ eh edge (if any and cnt still allows that).
+ (find_tail_calls): Add ESUCC, IGNORED_EDGES and MUST_SEE_BBS
+ arguments. Handle GIMPLE_CONDs for non-simplified cleanups with
+ finally_tmp temporaries both on backward and forward walks, adjust
+ recursive call.
+ (tree_optimize_tail_calls_1): Adjust find_tail_calls callers.
+
+2025-07-01 Ezra Sitorus <ezra.sito...@arm.com>
+
+ * config/aarch64/aarch64-sys-regs.def: Copy from Binutils.
+
+2025-07-01 H.J. Lu <hjl.to...@gmail.com>
+
+ PR debug/120902
+ * print-tree.cc (debug with const tree_node *): Call debug_tree
+ instead of debug.
+
+2025-07-01 Yuao Ma <c...@outlook.com>
+
+ * fold-const-call.cc (fold_const_call_ss): Constant fold for
+ single arg pi-based trigonometric builtins.
+ (fold_const_call_sss): Constant fold for double arg pi-based
+ trigonometric builtins.
+ * fold-const.cc (negate_mathfn_p): asinpi/atanpi is odd func.
+ (tree_call_nonnegative_warnv_p): acospi always non-neg,
+ asinpi/atanpi non-neg iff arg non-neg.
+ * tree-call-cdce.cc (can_test_argument_range): Add acospi/asinpi.
+ (edom_only_function): Add acospi/asinpi/cospi/sinpi.
+ (get_no_error_domain): Add acospi/asinpi.
+
2025-06-30 Jeff Law <j...@ventanamicro.com>
PR rtl-optimization/120242
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ac92899c8884..46e9463b4271 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250701
+20250702
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 88b27a8df5e3..8aaa006e352c 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,405 @@
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/120705
+ * exp_ch6.adb (Needs_BIP_Collection): Always return False if the
+ type has relaxed finalization.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * libgnat/s-valuef.adb (Integer_to_Fixed): Restore rounding of the
+ first scaled divide operation.
+
+2025-07-01 Piotr Trojanek <troja...@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Do minimal decoration of the spec and body
+ of an ignored ghost compilation unit.
+
+2025-07-01 Piotr Trojanek <troja...@adacore.com>
+
+ * ali.ads (Unit_Record): Fix grammar in comment.
+ * bindgen.adb (Num_Elab_Calls, Num_Primary_Stacks): Remove counters
+ that were only incremented and never actually used.
+
+2025-07-01 Tonu Naks <n...@adacore.com>
+
+ * libgnat/s-valuer.adb (Scan_Decimal_Digits,
+ Scan_Integral_Digits): fix condition for rejecting
+ underscore.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * libgnat/s-valued.adb (Integer_To_Decimal): Deal specifically with
+ Val = 2**(Int'Size - 1) if Minus is not set. Exit the loops when V
+ saturates to 0 in the case of (huge) negative exponents. Use Base
+ instead of B consistently in unsigned computations.
+ * libgnat/s-valuef.adb (Integer_To_Fixed): Use Base instead of B
+ consistently in unsigned computations.
+
+2025-07-01 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_ch4.adb (Fixup_Universal_Fixed_Operation): Move to spec.
+ * exp_ch4.ads (Fixup_Universal_Fixed_Operation): Move from body.
+ * exp_spark.adb (Expand_SPARK): Call a fixup expansion routine.
+
+2025-07-01 Gary Dismukes <dismu...@adacore.com>
+
+ * exp_ch3.adb (Build_Heap_Or_Pool_Allocator): Test not
Has_Relaxed_Finalization
+ as a guard against retrieving BIP_Collection formal (and related code).
+
+2025-07-01 Javier Miranda <mira...@adacore.com>
+
+ * exp_ch3.adb (Build_Untagged_Record_Equality): Report the
+ warning when no component of an untagged record type U is a
+ record type, and the type C of some of its components has
+ defined its user-defined equality operator "=".
+ * exp_ch4.adb (Expand_Composite_Equality): Report the warning
+ calling Warn_On_Ignored_Equality_Operator.
+ * sem_warn.ads (Warn_On_Ignored_Equality_Operator): New subprogram.
+ * sem_warn.adb (Warn_On_Ignored_Equality_Operator): Factorize code
+ reporting the warning.
+
+2025-07-01 Tonu Naks <n...@adacore.com>
+
+ * libgnat/a-ngelfu.adb: conditional computation of X^2
+
+2025-07-01 Steve Baird <ba...@adacore.com>
+
+ * Makefile.rtl: Add entry for new unit's object file.
+ * libgnat/s-casuti.adb: Remove bodies of subprograms that were moved
+ to the new unit.
+ * libgnat/s-casuti.ads: Replace (with renamings) declarations for
+ subprograms that moved to the new unit.
+ * libgnat/s-cautns.adb: Body for new unit (a new source file).
+ * libgnat/s-cautns.ads: Spec for new unit (a new source file).
+ * libgnat/s-valuti.adb: Use the new unit instead of the old one.
+ * gcc-interface/Make-lang.in: Add entries for new unit's object file.
+ * gcc-interface/Makefile.in: Likewise.
+
+2025-07-01 Gary Dismukes <dismu...@adacore.com>
+
+ * sem_ch3.adb (Constrain_Corresponding_Record): Inherit Class_Wide_Type
on the
+ created constrained subtype.
+
+2025-07-01 Artur Pietrek <piet...@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: add
+ GNAT LLVM explicit selection in GPR file
+ * gnat_ugn.texi: Regenerate.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch7.adb (Shift_Address_For_Descriptor): Add dummy variable
+ to make sure that System_Storage_Elements is loaded.
+
+2025-07-01 Ronan Desplanques <desplanq...@adacore.com>
+
+ * doc/gnat_rm/gnat_language_extensions.rst: Document new extension.
+ * gen_il-fields.ads (Opt_Field_Enum): Add new fields.
+ * gen_il-types.ads (N_Loop_Flow_Statement, N_Continue_Statement): New
+ node kinds.
+ * gen_il-gen-gen_nodes.adb (N_Loop_Flow_Statement): New abstract node
+ kind.
+ (N_Continue_Statement): New node kind.
+ (N_Exit_Statement): Reparent below N_Loop_Flow_Statement.
+ * sinfo.ads (N_Continue_Statement): Add description.
+ * sinfo-utils.ads (Loop_Flow_Keyword): New function.
+ * sinfo-utils.adb (Loop_Flow_Keyword): New function.
+ * gen_il-gen-gen_entities.adb (E_Loop): Add new field.
+ * einfo.ads (Continue_Mark): Document new field.
+ * sprint.adb (Sprint_Node_Actual): Update for new node kind.
+ * snames.ads-tmpl: Add new keyword.
+ * par-ch5.adb (P_Continue_Statement, Parse_Loop_Flow_Statement): New
+ functions.
+ (P_Sequence_Of_Statements): Handle continue statements.
+ (P_Exit_Statement): Use Parse_Loop_Flow_Statement.
+ * sem.adb (Analyze): Handle new node kind.
+ * sem_ch5.adb (Analyze_Loop_Flow_Statement): New function.
+ (Analyze_Continue_Statement): New procedure.
+ (Analyze_Exit_Statement): Use new Analyze_Loop_Flow_Statement function.
+ * sem_ch5.ads (Analyze_Continue_Statement): New procedure.
+ * expander.adb (Expand): Handle new node kind.
+ * exp_ch5.ads (Expand_N_Continue_Statement): New procedure.
+ * exp_ch5.adb (Expand_Loop_Flow_Statement): New procedure.
+ (Expand_N_Continue_Statement): New procedure.
+ (Expand_N_Exit_Statement): Use new Expand_Loop_Flow_Statement
+ procedure.
+ (Build_Formal_Container_Iteration): Always reuse original loop entity.
+ * gnat_rm.texi: Regenerate.
+
+2025-07-01 Bob Duff <d...@adacore.com>
+
+ * repinfo.adb (List_Entities):
+ Disable output in case of object renamings.
+
+2025-07-01 Aleksandra Pasek <pa...@adacore.com>
+
+ * libgnat/s-valuen.ads: Correct comment.
+
+2025-07-01 Alexandre Oliva <ol...@adacore.com>
+
+ * init.c: Include string.h.
+
+2025-07-01 Tonu Naks <n...@adacore.com>
+
+ * doc/gnat_rm.rst: remove ref to 2012 chapter
+ * doc/gnat_rm/about_this_guide.rst: remove ref to 2012 chapter
+ * doc/gnat_rm/compatibility_and_porting_guide.rst: update list of
+ supported versions
+ * doc/gnat_rm/implementation_of_ada_2012_features.rst: delete
+ * doc/gnat_rm/specialized_needs_annexes.rst: update list of
+ supported versions
+ * gnat_rm.texi: Regenerate.
+
+2025-07-01 Tonu Naks <n...@adacore.com>
+
+ * doc/gnat_rm/implementation_advice.rst: remove GLADE
+ * doc/gnat_rm/implementation_defined_characteristics.rst: remove GLADE
+ * doc/gnat_rm/specialized_needs_annexes.rst: remove GLADE
+ * doc/gnat_rm/the_gnat_library.rst: remove GLADE
+ * gnat_rm.texi: Regenerate.
+
+2025-07-01 Alexandre Oliva <ol...@adacore.com>
+
+ * adaint.c [__vxworks] (alloca): Redirect to builtin.
+
+2025-07-01 Ghjuvan Lacambre <lacam...@adacore.com>
+
+ * freeze.adb (Freeze_Record_Type): Check for CodePeer_Mode.
+
+2025-07-01 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move aspects when
+ instantiating subprogram as a library unit.
+
+2025-07-01 Ronan Desplanques <desplanq...@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Loop_Statement): Remove useless subexpressions.
+
+2025-07-01 Jose Ruiz <r...@adacore.com>
+
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Add the
+ documentation about benefits of using sanitizers in
+ mixed-language applications.
+ * gnat_ugn.texi: Regenerate.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * atree.ads (Compile_Time_Pragma_Warnings): Removed.
+ * errout.adb (Initialize): Remove initialization for
+ Compile_Time_Pragma_Warnings.
+ (Error_Msg_Internal): Use Warning_As_Error_Kind in the
+ Error_Msg_Object. Set its value based on the reason the
+ warning was changed to an error.
+ (Write_JSON_Span): Adjust the code for Warn_Err.
+ (Output_Messages): Update the calculation for actual warnings
+ and errors by just using Warnings_Treated_As_Errors.
+ (Set_Msg_Text): Simply mark that we are dealing with a
+ run time message here. Move the code for the Warning_Mode to
+ Error_Msg_Internal.
+ * erroutc-pretty_emitter.adb (Write_Error_Msg_Line): Adjust the code
+ for Warn_Err. Use the Warn_As_Err_Tag token.
+ * erroutc.adb (Compilation_Errors): Simplify the implementation so
+ that it only checks for errors and warnings treated as errors.
+ (Decrease_Error_Msg_Count): Remove the count for
+ Compile_Time_Pragma_Warnings.
+ (dmsg): Adjust the code for changes to Warn_Err.
+ (Increase_Error_Msg_Count): Likewise and remove the count for
+ Compile_Time_Pragma_Warnings.
+ (Output_Msg_Text): Warnings converted to error by the
+ Warning_As_Error pragma and -gnatwE now use the error prefix
+ in their messages but only warnings changed by the pragma get
+ the [warning-as-error] tag.
+ (Output_Text_Within): Adjust the variable name for
+ Is_Runtime_Raise_Msg.
+ (Write_Error_Summary): Adjust printing of warnings so that it
+ just uses the counts for Warnings_Detected and
+ Warnings_Treated_As_Errors.
+ * erroutc.ads (Is_Runtime_Raise): renamed to Is_Runtime_Raise_Msg.
+ (Warning_As_Error_Kind): New type for marking the warning message
+ is treated as an error which also captures the reason for the
+ change. Historically each of the reasons will have a different way
+ of displaying the warning message.
+ (Error_Msg_Object.Warn_Err): Change type to Warning_As_Error_Kind.
+ (Kind_To_String): Warnings treated as errors originating from
+ the pragma or -gnatwE will return error where as warnings
+ originating from -gnatwe will return warning.
+ (Compilation_Errors): Update the documentation.
+ (Warn_As_Err_Tag): Constant string to be used when printing warnings
+ as errors.
+ * errutil.adb (Error_Msg): Adjust the code for Warn_Err.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch7.adb (Shift_Address_For_Descriptor): New function.
+ (Make_Address_For_Finalize): Call above function.
+ (Make_Finalize_Address_Stmts): Likewise.
+ * exp_util.ads (Is_Constr_Array_Subt_Of_Unc_With_Controlled): New
+ predicate.
+ * exp_util.adb (Is_Constr_Array_Subt_Of_Unc_With_Controlled): Ditto.
+ (Remove_Side_Effects): Call above predicate.
+ * sem_ch3.adb (Analyze_Object_Declaration): Likewise.
+ * sem_ch4.adb (Analyze_Allocator): Allocate the bounds by setting
+ Is_Constr_Array_Subt_With_Bounds when appropriate.
+
+2025-07-01 Javier Miranda <mira...@adacore.com>
+
+ * sem_ch4.adb (Try_Object_Operation): Handle mutably tagged
+ class-wide type prefix.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * errout.adb (Error_Msg_Internal): Use the new
+ Warning_Treated_As_Error function.
+ * erroutc.adb (Get_Warning_Option): Add new version of this
+ function that operates on the Error_Msg_Object directly instead
+ of the Error_Id. Update the existing function to call the new
+ version interanlly.
+ (Get_Warning_Tag): Likewise.
+ (Warning_Treated_As_Error): Add a new method that combines the
+ checks for the error message itself and its tag.
+ * erroutc.ads (Get_Warning_Option): Add new spec.
+ (Get_Warning_Option): Likewise.
+ (Get_Warning_Option): Likewise.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * atree.ads: Add Compile_Time_Pragma_Warnings for counting
+ compile time warnings.
+ * errout.adb (Initialize): Initialize Compile_Time_Pragma_Warnings.
+ (Output_Messages): Use Compile_Time_Pragma_Warnings instead of
+ Count_Compile_Time_Pragma_Warnings.
+ * erroutc.adb (Compilation_Errors): Likewise.
+ (Count_Compile_Time_Pragma_Warnings): Removed.
+ (Decrease_Error_Msg_Count): Update Compile_Time_Pragma_Warnings.
+ (Increase_Error_Msg_Count): Likewise.
+ (Write_Error_Summary): Use Compile_Time_Pragma_Warnings instead of
+ Count_Compile_Time_Pragma_Warnings.
+ * erroutc.ads (Count_Compile_Time_Pragma_Warnings): Removed.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * errout.adb (Delete_Warning_And_Continuations): Use
+ Decrease_Error_Msg_Count to update the message counts.
+ (Delete_Warning): Likewise.
+ (To_Be_Removed): Likewise.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * errout.adb (Remove_Warning_Messages): Mark removed messages as
+ deleted.
+ * erroutc.adb (Purge_Messages): Likewise.
+
+2025-07-01 Martin Clochard <cloch...@adacore.com>
+
+ * frontend.adb (Frontend): do not override GNATprove's setting for
+ Warn_On_Non_Local_Exception
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * sem_ch4.adb (Analyze_Allocator): Do not set Etype to itself.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.adb (Finalize_Address): Do not go to the root type for
+ array types.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * libgnat/s-valuer.ads (System.Value_R): Remove Round parameter.
+ (Scan_Raw_Real): Replace Extra with Extra2 and adjust the comment.
+ (Value_Raw_Real): Likewise.
+ * libgnat/s-valuer.adb (Round_Extra): Delete.
+ (Scan_Decimal_Digits): Replace Extra with Extra2 and adjust the
+ implementation.
+ (Scan_Integral_Digits): Replace Extra with Extra2 and Extra_Rounded
+ with Extra2_Filled and adjust the implementation.
+ (Scan_Raw_Real): Replace Extra with Extra2 and adjust the
+ implementation.
+ (Value_Raw_Real): Likewise.
+ * libgnat/s-valrea.adb (Impl): Remove actual for Round formal.
+ * libgnat/s-valued.adb (Impl): Likewise.
+ (Integer_to_Decimal): Replace Extra with Extra2 and adjust the
+ implementation. Rename Unsigned_To_Signed to To_Signed.
+ (Scan_Decimal): Replace Extra with Extra2 and adjust the
+ implementation.
+ (Value_Decimal): Likewise.
+ * libgnat/s-valuef.adb (Impl): Remove actual for Round formal.
+ (Integer_to_Fixed): Replace Extra with Extra2 and adjust the
+ implementation. Rename Unsigned_To_Signed to To_Signed. Only
+ round the last scaled divide operation.
+ (Scan_Fixed): Replace Extra with Extra2 and adjust the
+ implementation.
+ (Value_Fixed): Likewise.
+
+2025-07-01 Ronan Desplanques <desplanq...@adacore.com>
+
+ * libgnat/s-valuer.adb (Scan_Decimal_Digits, Scan_Integral_Digits):
+ Minor rephrasing.
+
+2025-07-01 Ronan Desplanques <desplanq...@adacore.com>
+
+ * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Set ekind
+ earlier.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.ads (Is_Finalizable_Access): New predicate.
+ (Is_Non_BIP_Func_Call): Delete.
+ (Is_Secondary_Stack_BIP_Func_Call): Likewise.
+ * exp_util.adb (Is_Finalizable_Access): New predicate.
+ (Initialized_By_Aliased_BIP_Func_Call): Delete.
+ (Initialized_By_Reference): Likewise.
+ (Is_Aliased): Only consider the nontransient object serviced by
+ the transient scope.
+ (Is_Part_Of_BIP_Return_Statement): Minor tweak.
+ (Is_Finalizable_Transient): Remove calls to Initialized_By_Reference
+ and Initialized_By_Aliased_BIP_Func_Call.
+ Call Is_Finalizable_Access for access objects.
+ (Is_Non_BIP_Func_Call): Delete.
+ (Is_Secondary_Stack_BIP_Func_Call): Likewise.
+ (Requires_Cleanup_Actions): Call Is_Finalizable_Access for access
+ objects.
+ (Side_Effect_Free): Return True for N_Reference.
+ * exp_ch7.adb (Build_Finalizer.Process_Declarations): Call
+ Is_Finalizable_Access for access objects.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.adb (Is_Expression_Of_Func_Return): New predicate.
+ (Is_Related_To_Func_Return): Call Is_Expression_Of_Func_Return.
+ (Remove_Side_Effects): Generate a temporary for a function call
+ that returns a constrained array type with controlled component
+ and an unconstrained first subtype.
+
+2025-07-01 Piotr Trojanek <troja...@adacore.com>
+
+ * inline.adb (Rewrite_Procedure_Call): Replace with a simple rewriting
+ of procedure call into a single block node, i.e. remove broken
+ optimization.
+ * sem_util.adb (Next_Actual): Adapt GNATprove-specific code that peeks
+ into inlined calls.
+
+2025-07-01 Martin Clochard <cloch...@adacore.com>
+
+ * exp_util.adb (Is_Controlling_Formal_Ref): test scope against
+ derived subprogram as well.
+
+2025-07-01 Viljar Indus <in...@adacore.com>
+
+ * errout.adb (Error_Msg_Internal): Relocate Warn_As_Err propagation
+ to Increase_Error_Msg_Counti.
+ (Delete_Warning_And_Continuations): Update
+ Warnings_Treated_As_Errors count.
+ (Delete_Warning): Likewise.
+ (To_Be_Removed): Likewise.
+ * erroutc.adb (Increase_Error_Msg_Count): Count warnings treated
+ as errors here and perform the propagation of this property to
+ the parent message.
+ (Output_Msg_Text): Remove counting of warnings as errors from
+ here.
+ (Decrease_Error_Msg_Count): Update Warnings_Treated_As_Errors
+ count.
+
2025-06-30 Eric Botcazou <ebotca...@adacore.com>
PR ada/120106
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 2cd02b0e2028..dd2ae5ccead0 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,25 @@
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * c-gimplify.cc (is_address_with_access_with_size): New function.
+ (ubsan_walk_array_refs_r): Instrument an INDIRECT_REF whose base
+ address is .ACCESS_WITH_SIZE or an address computation whose base
+ address is .ACCESS_WITH_SIZE.
+ * c-ubsan.cc (ubsan_instrument_bounds_pointer_address): New function.
+ (struct factor_t): New structure.
+ (get_factors_from_mul_expr): New function.
+ (get_index_from_offset): New function.
+ (get_index_from_pointer_addr_expr): New function.
+ (is_instrumentable_pointer_array_address): New function.
+ (ubsan_array_ref_instrumented_p): Change prototype.
+ Handle MEM_REF in addtional to ARRAY_REF.
+ (ubsan_maybe_instrument_array_ref): Handle MEM_REF in addtional
+ to ARRAY_REF.
+
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * c-attribs.cc (handle_counted_by_attribute): Accept counted_by
+ attribute for pointer fields.
+
2025-06-30 Jakub Jelinek <ja...@redhat.com>
PR c/120520
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 89a3210777e2..cb69b8c293ea 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,17 @@
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * c-decl.cc (verify_counted_by_attribute): Change the 2nd argument
+ to a vector of fields with counted_by attribute. Verify all fields
+ in this vector.
+ (finish_struct): Collect all the fields with counted_by attribute
+ to a vector and pass this vector to verify_counted_by_attribute.
+ * c-typeck.cc (build_counted_by_ref): Handle pointers with counted_by.
+ Add one more argument, issue error when the pointee type is a structure
+ or union including a flexible array member.
+ (build_access_with_size_for_counted_by): Handle pointers with
counted_by.
+ (handle_counted_by_for_component_ref): Call build_counted_by_ref
+ with the new prototype.
+
2025-06-23 Tobias Burnus <tbur...@baylibre.com>
* c-parser.cc (OACC_WAIT_CLAUSE_MASK): Add if clause.
diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index 9b29af84779a..4b0539999bc3 100644
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,11 @@
+2025-07-01 James K. Lowden <jklow...@cobolworx.com>
+
+ * Make-lang.in: Use && instead of semicolon between commands.
+
+2025-07-01 Robert Dubner <rdub...@symas.com>
+
+ * parse.y: printf() of size_t is %zu, not %ld.
+
2025-06-30 James K. Lowden <jklow...@cobolworx.com>
PR cobol/120772
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 318d0cd4d932..ff7582da5e18 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/120471
+ * typeck.cc (cp_build_array_ref) <case COND_EXPR>: If idx is not
+ INTEGER_CST, don't optimize the case (but cp_default_conversion on
+ array early if it has ARRAY_TYPE) or use
+ SAVE_EXPR <op0>, SAVE_EXPR <idx>, SAVE_EXPR <op0> as new op0 depending
+ on flag_strong_eval_order and whether op1 and op2 are arrays with
+ invariant address or tree invariant pointers. Formatting fixes.
+
2025-06-28 Nathaniel Shead <nathanielosh...@gmail.com>
* module.cc (trees_out::walking_bit_field_unit): New flag.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 6b44a691c476..0ea9c39280f0 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,25 @@
+2025-07-01 Harald Anlauf <anl...@gmx.de>
+
+ * coarray.cc (check_add_new_component): Treat pure and elemental
+ intrinsic functions the same as non-intrinsic ones.
+ (create_caf_add_data_parameter_type): Fix front-end memleaks.
+ * trans-intrinsic.cc (conv_caf_func_index): Likewise.
+
+2025-07-01 Andre Vehreschild <ve...@gcc.gnu.org>
+
+ PR fortran/120847
+ * coarray.cc (check_add_new_comp_handle_array): Make the count
+ of components static to be able to create more than one. Create
+ an array component only for array expressions.
+
+2025-07-01 Andre Vehreschild <ve...@gcc.gnu.org>
+
+ PR fortran/120843
+ * resolve.cc (resolve_operator): Report inconsistent coranks
+ only when not referencing this_image.
+ (gfc_op_rank_conformable): Treat coranks as inconformable only
+ when a coindex other then implicit this_image is used.
+
2025-06-27 Harald Anlauf <anl...@gmx.de>
PR fortran/120784
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 04211a04dd79..f7254f990eb1 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,9 @@
+2025-07-01 Gaius Mulley <gaiusm...@gmail.com>
+
+ PR modula2/120912
+ * gm2-libs-iso/IOChanUtils.def (GetFile): New procedure function.
+ * gm2-libs-iso/IOChanUtils.mod (GetFile): New procedure function.
+
2025-06-29 Gaius Mulley <gaiusm...@gmail.com>
PR modula2/117203
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1e78e8679fa5..eaa08dbef13c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,128 @@
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * gcc.dg/ubsan/pointer-counted-by-bounds-2.c: New test.
+ * gcc.dg/ubsan/pointer-counted-by-bounds-3.c: New test.
+ * gcc.dg/ubsan/pointer-counted-by-bounds-4.c: New test.
+ * gcc.dg/ubsan/pointer-counted-by-bounds-5.c: New test.
+ * gcc.dg/ubsan/pointer-counted-by-bounds.c: New test.
+
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * gcc.dg/pointer-counted-by-4-char.c: New test.
+ * gcc.dg/pointer-counted-by-4-float.c: New test.
+ * gcc.dg/pointer-counted-by-4-struct.c: New test.
+ * gcc.dg/pointer-counted-by-4-union.c: New test.
+ * gcc.dg/pointer-counted-by-4.c: New test.
+ * gcc.dg/pointer-counted-by-5.c: New test.
+ * gcc.dg/pointer-counted-by-6.c: New test.
+ * gcc.dg/pointer-counted-by-7.c: New test.
+
+2025-07-01 Qing Zhao <qing.z...@oracle.com>
+
+ * gcc.dg/flex-array-counted-by.c: Update test.
+ * gcc.dg/pointer-counted-by-1.c: New test.
+ * gcc.dg/pointer-counted-by-2.c: New test.
+ * gcc.dg/pointer-counted-by-3.c: New test.
+ * gcc.dg/pointer-counted-by.c: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR testsuite/120919
+ * gcc.target/powerpc/builtin_altivec_tr_stxvr_runnable.c (main): Change
+ sc, ss, si and sll vars from scalars to arrays of 2 elements,
+ initialize and test just the first one though.
+
+2025-07-01 Eric Botcazou <ebotca...@adacore.com>
+
+ * gnat.dg/specs/finalizable2.ads: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ * gcc.target/s390/vector/vec-abs-emu.c: Add -fno-stack-protector
+ to dg-options.
+ * gcc.target/s390/vector/vec-max-emu.c: Likewise.
+ * gcc.target/s390/vector/vec-min-emu.c: Likewise.
+
+2025-07-01 Robert Dubner <rdub...@symas.com>
+
+ * cobol.dg/group2/Intrinsics_without_FUNCTION_keyword__2_.cob:
+ Append INTRINSIC keyword.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/120471
+ * g++.dg/ubsan/pr120471.C: New test.
+ * g++.dg/parse/pr120471.C: New test.
+
+2025-07-01 Remi Machet <rmac...@nvidia.com>
+
+ * gcc.target/aarch64/simd/shrn2subhn.c: New test.
+
+2025-07-01 Andre Vehreschild <ve...@gcc.gnu.org>
+
+ PR fortran/120847
+ * gfortran.dg/coarray/coindexed_7.f90: New test.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR ipa/119318
+ PR testsuite/120082
+ * gcc.dg/ipa/pr119318.c (main): Expect different result on big endian
+ from little endian, on unexpected endianness or int/int128 sizes don't
+ test anything. Formatting fixes.
+
+2025-07-01 Rainer Orth <r...@cebitec.uni-bielefeld.de>
+
+ * gcc.target/i386/preserve-none-1.c (dg-options): Add
+ -fomit-frame-pointer.
+
+2025-07-01 Rainer Orth <r...@cebitec.uni-bielefeld.de>
+
+ * g++.target/i386/memset-pr101366-1.C (dg-options): Add
+ -fasynchronous-unwind-tables -fdwarf2-cfi-asm.
+ * g++.target/i386/memset-pr101366-2.C: Likewise.
+ * g++.target/i386/memset-pr118276-1a.C: Likewise.
+ * g++.target/i386/memset-pr118276-1b.C: Likewise.
+ * g++.target/i386/memset-pr118276-1c.C: Likewise.
+ * gcc.target/i386/memset-pr70308-1a.c: Likewise.
+ * gcc.target/i386/memset-strategy-25.c: Likewise.
+ * gcc.target/i386/memset-strategy-28.c: Likewise.
+ * gcc.target/i386/memset-strategy-29.c: Likewise.
+ * gcc.target/i386/memset-strategy-30.c: Likewise.
+ * gcc.target/i386/pr92080-17.c: Likewise.
+ * gcc.target/i386/memset-pr70308-1b.c: Likewise. Also add
+ -fomit-frame-pointer.
+ * g++.target/i386/memset-pr108585-1a.C: (dg-options): Add
+ -fasynchronous-unwind-tables -fdwarf2-cfi-asm. Also add
+ -mno-stackrealign -fomit-frame-pointer.
+ * g++.target/i386/memset-pr108585-1b.C: Likewise.
+
+2025-07-01 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * c-c++-common/asan/pr120608-3.c: New test.
+ * c-c++-common/asan/pr120608-4.c: New test.
+ * g++.dg/asan/pr120608-3.C: New test.
+ * g++.dg/asan/pr120608-4.C: New test.
+
+2025-07-01 Andre Vehreschild <ve...@gcc.gnu.org>
+
+ PR fortran/120843
+ * gfortran.dg/coarray/coindexed_6.f90: New test.
+
+2025-07-01 Yuao Ma <c...@outlook.com>
+
+ * lib/target-supports.exp (foldable_pi_based_trigonometry): New
+ effective target.
+ * gcc.dg/torture/builtin-math-9.c: New test.
+
+2025-07-01 Alexandre Oliva <ol...@adacore.com>
+
+ PR middle-end/120631
+ * gcc.dg/dfp/pr120631.c: Drop overrider of dg-do default action.
+ * gcc.dg/dfp/bitint-9.c: Likewise.
+ * gcc.dg/dfp/bitint-10.c: Likewise.
+
2025-06-30 Jeff Law <j...@ventanamicro.com>
PR rtl-optimization/120242
diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog
index a1480d48aeb5..dbc769f30f5e 100644
--- a/libphobos/ChangeLog
+++ b/libphobos/ChangeLog
@@ -1,3 +1,8 @@
+2025-07-01 Rainer Orth <r...@cebitec.uni-bielefeld.de>
+
+ * configure.tgt <i?86-*-darwin1[2-7]>: Also consider minor
+ versions supported.
+
2025-05-09 David Malcolm <dmalc...@redhat.com>
PR other/116792
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 38773c862052..eb506a4a6ce4 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,24 @@
+2025-07-01 Patrick Palka <ppa...@redhat.com>
+
+ PR libstdc++/120789
+ * include/bits/ranges_algo.h (__remove_if_fn::operator()): Use
+ ranges::iter_move(iter) instead of std::move(*iter).
+ * testsuite/25_algorithms/remove_if/120789.cc: New test.
+
+2025-07-01 Patrick Palka <ppa...@redhat.com>
+
+ PR libstdc++/120789
+ * include/bits/ranges_algo.h (__unique_fn::operator()): Use
+ ranges::iter_move(iter) instead of std::move(*iter).
+ * testsuite/25_algorithms/unique/120789.cc: New test.
+
+2025-07-01 Luc Grosheintz <luc.groshei...@gmail.com>
+
+ * include/std/mdspan (default_accessor): New class.
+ * src/c++23/std.cc.in: Register default_accessor.
+ * testsuite/23_containers/mdspan/accessors/default.cc: New test.
+ * testsuite/23_containers/mdspan/accessors/default_neg.cc: New test.
+
2025-06-27 Patrick Palka <ppa...@redhat.com>
PR libstdc++/100795
