Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 78239f08f1b6a5fe0bb56e2d6584a9365e36e75e..9004d1cb81a4909b915086d2632caf57dde971df 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,65 @@
+2025-07-01  Qing Zhao  <qing.zhao@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.zhao@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  <jakub@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  <rmachet@nvidia.com>
+
+       * config/aarch64/aarch64-simd.md (*shrn_to_subhn_<mode>): Add pattern
+       converting mvn+shrn into mvni+subhn.
+
+2025-07-01  Jakub Jelinek  <jakub@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.sitorus@arm.com>
+
+       * config/aarch64/aarch64-sys-regs.def: Copy from Binutils.
+
+2025-07-01  H.J. Lu  <hjl.tools@gmail.com>
+
+       PR debug/120902
+       * print-tree.cc (debug with const tree_node *): Call debug_tree
+       instead of debug.
+
+2025-07-01  Yuao Ma  <c8ef@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  <jlaw@ventanamicro.com>
 
        PR rtl-optimization/120242

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ac92899c88845b7d22cd59671f20db9582f0247b..46e9463b4271bbe17d4efa4b2a9d3e94731bdefd 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250701
+20250702

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 88b27a8df5e355ac381c19c24ef5fa7a4f349bc3..8aaa006e352c527b678fe218973ba417689af764 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,405 @@
+2025-07-01  Eric Botcazou  <ebotcazou@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  <ebotcazou@adacore.com>
+
+       * libgnat/s-valuef.adb (Integer_to_Fixed): Restore rounding of the
+       first scaled divide operation.
+
+2025-07-01  Piotr Trojanek  <trojanek@adacore.com>
+
+       * gnat1drv.adb (Gnat1drv): Do minimal decoration of the spec and body
+       of an ignored ghost compilation unit.
+
+2025-07-01  Piotr Trojanek  <trojanek@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  <naks@adacore.com>
+
+       * libgnat/s-valuer.adb (Scan_Decimal_Digits,
+       Scan_Integral_Digits): fix condition for rejecting
+       underscore.
+
+2025-07-01  Eric Botcazou  <ebotcazou@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  <trojanek@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  <dismukes@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  <miranda@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  <naks@adacore.com>
+
+       * libgnat/a-ngelfu.adb: conditional computation of X^2
+
+2025-07-01  Steve Baird  <baird@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  <dismukes@adacore.com>
+
+       * sem_ch3.adb (Constrain_Corresponding_Record): Inherit Class_Wide_Type on the
+       created constrained subtype.
+
+2025-07-01  Artur Pietrek  <pietrek@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  <ebotcazou@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  <desplanques@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  <duff@adacore.com>
+
+       * repinfo.adb (List_Entities):
+       Disable output in case of object renamings.
+
+2025-07-01  Aleksandra Pasek  <pasek@adacore.com>
+
+       * libgnat/s-valuen.ads: Correct comment.
+
+2025-07-01  Alexandre Oliva  <oliva@adacore.com>
+
+       * init.c: Include string.h.
+
+2025-07-01  Tonu Naks  <naks@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  <naks@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  <oliva@adacore.com>
+
+       * adaint.c [__vxworks] (alloca): Redirect to builtin.
+
+2025-07-01  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * freeze.adb (Freeze_Record_Type): Check for CodePeer_Mode.
+
+2025-07-01  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move aspects when
+       instantiating subprogram as a library unit.
+
+2025-07-01  Ronan Desplanques  <desplanques@adacore.com>
+
+       * exp_ch5.adb (Expand_N_Loop_Statement): Remove useless subexpressions.
+
+2025-07-01  Jose Ruiz  <ruiz@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  <indus@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  <ebotcazou@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  <miranda@adacore.com>
+
+       * sem_ch4.adb (Try_Object_Operation): Handle mutably tagged
+       class-wide type prefix.
+
+2025-07-01  Viljar Indus  <indus@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  <indus@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  <indus@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  <indus@adacore.com>
+
+       * errout.adb (Remove_Warning_Messages): Mark removed messages as
+       deleted.
+       * erroutc.adb (Purge_Messages): Likewise.
+
+2025-07-01  Martin Clochard  <clochard@adacore.com>
+
+       * frontend.adb (Frontend): do not override GNATprove's setting for
+       Warn_On_Non_Local_Exception
+
+2025-07-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch4.adb (Analyze_Allocator): Do not set Etype to itself.
+
+2025-07-01  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_util.adb (Finalize_Address): Do not go to the root type for
+       array types.
+
+2025-07-01  Eric Botcazou  <ebotcazou@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  <desplanques@adacore.com>
+
+       * libgnat/s-valuer.adb (Scan_Decimal_Digits, Scan_Integral_Digits):
+       Minor rephrasing.
+
+2025-07-01  Ronan Desplanques  <desplanques@adacore.com>
+
+       * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Set ekind
+       earlier.
+
+2025-07-01  Eric Botcazou  <ebotcazou@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  <ebotcazou@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  <trojanek@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  <clochard@adacore.com>
+
+       * exp_util.adb (Is_Controlling_Formal_Ref): test scope against
+       derived subprogram as well.
+
+2025-07-01  Viljar Indus  <indus@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  <ebotcazou@adacore.com>
 
        PR ada/120106

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 2cd02b0e2028970add7b6587b6da6958e02d12d6..dd2ae5ccead08ae611188bfaf42d5476f5cfe0fa 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,25 @@
+2025-07-01  Qing Zhao  <qing.zhao@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.zhao@oracle.com>
+
+       * c-attribs.cc (handle_counted_by_attribute): Accept counted_by
+       attribute for pointer fields.
+
 2025-06-30  Jakub Jelinek  <jakub@redhat.com>
 
        PR c/120520

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 89a3210777e288411a7f3150013c0f2d26932a10..cb69b8c293eae3a3fced1f11cfa0371b39c55a79 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,17 @@
+2025-07-01  Qing Zhao  <qing.zhao@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  <tburnus@baylibre.com>
 
        * c-parser.cc (OACC_WAIT_CLAUSE_MASK): Add if clause.

diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index 9b29af84779abbc3ec3e5d54f0ff8c7bc91e0775..4b0539999bc37e7e4a7ca027d0a24b62c68c4f71 100644 (file)
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,11 @@
+2025-07-01  James K. Lowden  <jklowden@cobolworx.com>
+
+       * Make-lang.in: Use && instead of semicolon between commands.
+
+2025-07-01  Robert Dubner  <rdubner@symas.com>
+
+       * parse.y: printf() of size_t is %zu, not %ld.
+
 2025-06-30  James K. Lowden  <jklowden@cobolworx.com>
 
        PR cobol/120772

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 318d0cd4d932c55c8b3dc5dada48bebba6797713..ff7582da5e18dcae6a809607f347f5fd5a0c2e5b 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2025-07-01  Jakub Jelinek  <jakub@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  <nathanieloshead@gmail.com>
 
        * module.cc (trees_out::walking_bit_field_unit): New flag.

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 6b44a691c476500dae1902f94db1fd636c7b130b..0ea9c39280f018e1e22a0cc44568eac7d9300923 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,25 @@
+2025-07-01  Harald Anlauf  <anlauf@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  <vehre@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  <vehre@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  <anlauf@gmx.de>
 
        PR fortran/120784

diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 04211a04dd79be06c6f8441a7bc3b0ea05aef1ec..f7254f990eb1a5b3f8539b6d6c9b874a2c333409 100644 (file)
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,9 @@
+2025-07-01  Gaius Mulley  <gaiusmod2@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  <gaiusmod2@gmail.com>
 
        PR modula2/117203

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1e78e8679fa5931be3f981e8d43393762a2b0890..eaa08dbef13c45c043591b010f204ef3ef38951b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,128 @@
+2025-07-01  Qing Zhao  <qing.zhao@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.zhao@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.zhao@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  <jakub@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  <ebotcazou@adacore.com>
+
+       * gnat.dg/specs/finalizable2.ads: New test.
+
+2025-07-01  Jakub Jelinek  <jakub@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  <rdubner@symas.com>
+
+       * cobol.dg/group2/Intrinsics_without_FUNCTION_keyword__2_.cob:
+       Append INTRINSIC keyword.
+
+2025-07-01  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/120471
+       * g++.dg/ubsan/pr120471.C: New test.
+       * g++.dg/parse/pr120471.C: New test.
+
+2025-07-01  Remi Machet  <rmachet@nvidia.com>
+
+       * gcc.target/aarch64/simd/shrn2subhn.c: New test.
+
+2025-07-01  Andre Vehreschild  <vehre@gcc.gnu.org>
+
+       PR fortran/120847
+       * gfortran.dg/coarray/coindexed_7.f90: New test.
+
+2025-07-01  Jakub Jelinek  <jakub@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  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * gcc.target/i386/preserve-none-1.c (dg-options): Add
+       -fomit-frame-pointer.
+
+2025-07-01  Rainer Orth  <ro@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  <jakub@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  <vehre@gcc.gnu.org>
+
+       PR fortran/120843
+       * gfortran.dg/coarray/coindexed_6.f90: New test.
+
+2025-07-01  Yuao Ma  <c8ef@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  <oliva@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  <jlaw@ventanamicro.com>
 
        PR rtl-optimization/120242

diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog
index a1480d48aeb539e724004e03db1936f7cdfe3f52..dbc769f30f5eb7fd13172f905458ae0949cf3531 100644 (file)
--- a/libphobos/ChangeLog
+++ b/libphobos/ChangeLog
@@ -1,3 +1,8 @@
+2025-07-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * configure.tgt <i?86-*-darwin1[2-7]>: Also consider minor
+       versions supported.
+
 2025-05-09  David Malcolm  <dmalcolm@redhat.com>
 
        PR other/116792

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 38773c8620525931b69d5aa03e6025e53c4c9862..eb506a4a6ce48e684c6f3a3379e5f474d3f9b6e3 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,24 @@
+2025-07-01  Patrick Palka  <ppalka@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  <ppalka@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.grosheintz@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  <ppalka@redhat.com>
 
        PR libstdc++/100795