https://gcc.gnu.org/g:34f9494be503ce6aaa7f5ec6a75d54535361d3c7
commit r16-1837-g34f9494be503ce6aaa7f5ec6a75d54535361d3c7
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Jul 1 00:19:55 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 199 ++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 321 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/analyzer/ChangeLog | 88 +++++++++++++
gcc/c-family/ChangeLog | 17 +++
gcc/cobol/ChangeLog | 48 ++++++++
gcc/testsuite/ChangeLog | 180 +++++++++++++++++++++++++++
7 files changed, 854 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9e0c53fc2cb9..78239f08f1b6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,202 @@
+2025-06-30 Jeff Law <j...@ventanamicro.com>
+
+ PR rtl-optimization/120242
+ PR rtl-optimization/120627
+ PR rtl-optimization/120736
+ PR rtl-optimization/120813
+ * ext-dce.cc (ext_dce_process_uses): Remove some cases where we
+ unnecessarily expanded live sets for promoted subregs.
+ (expand_changed_pseudos): New function.
+ (reset_subreg_promoted_p): Use it.
+
+2025-06-30 Alexey Merzlyakov <alexey.merzlya...@samsung.com>
+
+ PR target/120714
+ * config/riscv/riscv.cc (riscv_allocate_and_probe_stack_space):
+ Fix SP-addresses in REG_CFA_DEF_CFA notes for stack-clash case.
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * diagnostic-color.cc: Use nullptr rather than NULL.
+ * diagnostic-format-sarif.cc: Likewise.
+ * diagnostic-format-text.cc: Likewise.
+ * diagnostic-macro-unwinding.cc: Likewise.
+ * diagnostic-path-output.cc: Likewise.
+ * diagnostic-path.cc: Likewise.
+ * diagnostic-show-locus.cc: Likewise.
+ * diagnostic-spec.cc: Likewise.
+ * diagnostic.cc: Likewise.
+ * lazy-diagnostic-path.cc: Likewise.
+ * simple-diagnostic-path.cc: Likewise.
+ * tree-diagnostic-client-data-hooks.cc: Likewise.
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * diagnostic-format-sarif.cc
+ (sarif_builder::maybe_make_kinds_array): Convert
+ diagnostic_event::meaning enums to enum class.
+ * diagnostic-path-output.cc (path_label::get_text): Likewise.
+ * diagnostic-path.cc
+ (diagnostic_event::meaning::maybe_get_verb_str): Likewise.
+ (diagnostic_event::meaning::maybe_get_noun_str): Likewise.
+ (diagnostic_event::meaning::maybe_get_property_str): Likewise.
+ * diagnostic-path.h (diagnostic_event::verb): Likewise.
+ (diagnostic_event::noun): Likewise.
+ (diagnostic_event::property): Likewise.
+ (diagnostic_event::meaning): Likewise.
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * Makefile.in (OBJS-libcommon): Drop diagnostic-format-json.o.
+ * common.opt (fdiagnostics-format=): Drop
+ "json|json-stderr|json-file".
+ (diagnostics_output_format): Drop values "json", "json-stderr",
+ and "json-file".
+ * diagnostic-format-json.cc: Delete file.
+ * diagnostic-format.h
+ (diagnostic_output_format_init_json_stderr): Delete.
+ (diagnostic_output_format_init_json_file): Delete.
+ * diagnostic.cc (diagnostic_output_format_init): Delete cases for
+ DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR and
+ DIAGNOSTICS_OUTPUT_FORMAT_JSON_FILE.
+ * diagnostic.h (DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR): Delete.
+ (DIAGNOSTICS_OUTPUT_FORMAT_JSON_FILE): Delete.
+ * doc/invoke.texi: Remove references to json output format.
+ * doc/ux.texi: Likewise.
+ * selftest-run-tests.cc (selftest::run_tests): Drop call to
+ deleted selftest::diagnostic_format_json_cc_tests.
+ * selftest.h (selftest::diagnostic_format_json_cc_tests): Delete.
+
+2025-06-30 Mark Wielaard <m...@klomp.org>
+
+ * common.opt.urls: Regenerate.
+
+2025-06-30 Pan Li <pan2...@intel.com>
+
+ * config/riscv/riscv-v.cc (expand_vx_binary_vec_vec_dup): Add
+ new case US_MINUS.
+ * config/riscv/riscv.cc (riscv_rtx_costs): Ditto.
+ * config/riscv/vector-iterators.md: Add new op us_minus.
+
+2025-06-30 Peter Bergner <berg...@linux.ibm.com>
+
+ PR target/109116
+ * config/rs6000/mma.md (unspec): Delete UNSPEC_MMA_EXTRACT.
+ (vsx_disassemble_pair): Expand into a vector register sized subreg.
+ (mma_disassemble_acc): Likewise.
+ (*vsx_disassemble_pair): Delete.
+ (*mma_disassemble_acc): Likewise.
+
+2025-06-30 Kito Cheng <kito.ch...@sifive.com>
+
+ * config/riscv/sifive-7.md: Add primary vector pipeline model
+ for SiFive 7 series.
+
+2025-06-30 Kito Cheng <kito.ch...@sifive.com>
+
+ PR target/120659
+ * config/riscv/sifive-7.md: Add B extension, fp16 and missing
+ scalar instruction type for sifive-7 pipeline model.
+
+2025-06-30 Richard Biener <rguent...@suse.de>
+
+ * tree-vect-slp.cc (vect_build_slp_2): Handle ternary
+ and call operators when swapping operands.
+
+2025-06-30 Paul-Antoine Arras <par...@baylibre.com>
+
+ PR target/119100
+ * config/riscv/autovec-opt.md (*vfnmsub_<mode>,*vfnmadd_<mode>): Handle
+ both add and acc variants.
+ * config/riscv/vector.md (*pred_mul_neg_<optab><mode>_scalar_undef): New
+ pattern.
+
+2025-06-30 Kyrylo Tkachov <ktkac...@nvidia.com>
+
+ * config/aarch64/aarch64-cores.def (gb10): New entry.
+ * config/aarch64/aarch64-tune.md: Regenerate.
+ * doc/invoke.texi (AArch64 Options): Document the above.
+
+2025-06-30 Jakub Jelinek <ja...@redhat.com>
+
+ PR c/120520
+ PR c/117023
+ * builtin-attrs.def (DEF_LIST_INT_INT_INT): Define it and
+ use for 1,2,3.
+ (ATTR_NONNULL_IF123_LIST): New DEF_ATTR_TREE_LIST.
+ (ATTR_NONNULL_4_IF123_LIST): Likewise.
+ * builtins.def (BUILT_IN_FWRITE): Use ATTR_NONNULL_4_IF123_LIST
+ instead of ATTR_NONNULL_LIST.
+ (BUILT_IN_FWRITE_UNLOCKED): Likewise.
+ * gimple.h (infer_nonnull_range_by_attribute): Add another optional
+ tree * argument defaulted to NULL.
+ * gimple.cc (infer_nonnull_range_by_attribute): Add OP3 argument,
+ handle 3 argument nonnull_if_nonzero attribute.
+ * builtins.cc (validate_arglist): Handle 3 argument nonnull_if_nonzero
+ attribute.
+ * tree-ssa-ccp.cc (pass_post_ipa_warn::execute): Likewise.
+ * ubsan.cc (instrument_nonnull_arg): Adjust
+ infer_nonnull_range_by_attribute caller, handle 3 argument
+ nonnull_if_nonzero attribute.
+ * gimple-range-infer.cc (gimple_infer_range::gimple_infer_range):
+ Handle 3 argument nonnull_if_nonzero attribute.
+ * doc/extend.texi (nonnull_if_nonzero): Document 3 argument version
+ of the attribute.
+
+2025-06-30 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/120733
+ * lra-eliminations.cc (move_plus_up): Check whether lowpart_subreg
+ returns null.
+
+2025-06-30 Jan Hubicka <hubi...@ucw.cz>
+
+ * auto-profile.cc (autofdo_source_profile::offline_external_functions):
+ Add missing newline in dump.
+ (afdo_propagate_edge): If annotated BB or edge has too small count
+ bump it up to mitigate profile imprecisions caused by vectorizer.
+ (afdo_propagate): Increase number of iteraitons and fix dump
+
+2025-06-30 Jan Hubicka <hubi...@ucw.cz>
+
+ * auto-profile.cc (struct decl_lineno): Turn to structure; add
+ location.
+ (dump_inline_stack): Update.
+ (get_inline_stack): Update.
+ (get_relative_location_for_locus): Fixup formating.
+ (function_instance::get_function_instance_by_decl): Add
+ LOCATION parameter; improve dumping.
+ (autofdo_source_profile::get_callsite_total_count): Improve dumping;
+ update.
+ (walk_block): Update.
+ (autofdo_source_profile::offline_unrealized_inlines): Update.
+ (autofdo_source_profile::get_count_info): Update.
+
+2025-06-30 H.J. Lu <hjl.to...@gmail.com>
+
+ PR target/120840
+ * config/i386/i386-expand.cc (ix86_expand_call): Don't mark
+ hard frame pointer as clobber.
+ * config/i386/i386-options.cc (ix86_set_func_type): Use
+ TYPE_NO_CALLEE_SAVED_REGISTERS instead of
+ TYPE_NO_CALLEE_SAVED_REGISTERS_EXCEPT_BP.
+ * config/i386/i386.cc (ix86_function_ok_for_sibcall): Remove the
+ TYPE_NO_CALLEE_SAVED_REGISTERS_EXCEPT_BP check.
+ (ix86_save_reg): Merge TYPE_NO_CALLEE_SAVED_REGISTERS and
+ TYPE_PRESERVE_NONE with TYPE_NO_CALLEE_SAVED_REGISTERS_EXCEPT_BP.
+ * config/i386/i386.h (call_saved_registers_type): Remove
+ TYPE_NO_CALLEE_SAVED_REGISTERS_EXCEPT_BP.
+ * doc/extend.texi: Update no_callee_saved_registers documentation.
+
+2025-06-30 Jin Ma <ji...@linux.alibaba.com>
+
+ * config/riscv/riscv-vsetvl.cc (bitmap_union_of_preds_with_entry):
+ Refactor.
+
+2025-06-30 Kito Cheng <kito.ch...@sifive.com>
+
+ * config/riscv/pipeline-checker: New file.
+
2025-06-28 H.J. Lu <hjl.to...@gmail.com>
PR debug/120849
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 258e00165abe..ac92899c8884 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250630
+20250701
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 33f43d2b8461..88b27a8df5e3 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,324 @@
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/120106
+ * Make-generated.in (GNATMAKE_FOR_BUILD): Define.
+
+2025-06-30 Viljar Indus <in...@adacore.com>
+
+ * comperr.adb (Compiler_Abort): Pass the exit code in calls to
+ Output_Messages.
+ * errout.adb (Output_Messages): Add new parameter for the
+ Exit_Code and store its value.
+ * errout.ads (Output_Messages): Likewise.
+ * erroutc-sarif_emitter.adb (Print_Invocations): Set
+ Execution_Successful based on the exit code.
+ * erroutc.ads (Exit_Code): Store the exit code value.
+ * gnat1drv.adb (Gnat1drv): Pass the exit code in calls to
+ Output_Messages.
+ * prepcomp.adb (Parse_Preprocessing_Data_File, Prpare_To_Preprocess):
+ Likewise.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * gen_il-gen-gen_entities.adb (Gen_Entities): Tweak Has_Exit.
+
+2025-06-30 Bob Duff <d...@adacore.com>
+
+ * exp_attr.adb (Attribute_Max_Size_In_Storage_Elements):
+ Return Storage_Count'Last converted to universal_integer.
+
+2025-06-30 Tonu Naks <n...@adacore.com>
+
+ * doc/gnat_rm.rst: add entry point for the new chapter
+ * doc/gnat_rm/about_this_guide.rst: add reference to the new
+ chapter
+ * doc/gnat_rm/implementation_of_ada_2022_features.rst: new file
+ * doc/gnat_rm/implementation_of_ada_2012_features.rst: update
+ explanation about RM references
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * par-util.adb (Check_Future_Keyword): Use Snames subtypes. Extend
+ comment.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * sem_ch5.adb (Analyze_Loop_Statement): Remove obsolete comment.
+
+2025-06-30 Bob Duff <d...@adacore.com>
+
+ * sem_warn.adb (Warn_On_Useless_Assignments):
+ Enable Warn_On_Useless_Assignment in the case of
+ Warn_On_All_Unread_Out_Parameters.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration): Remove uses of E_Void.
+ (Copy_Parent_Attributes): New procedure.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * cstand.adb (Make_Aliased_Component, Make_Formal, New_Operator,
+ Create_Standard): Remove useless calls.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * libgnat/s-valuer.adb (Scan_Decimal_Digits): Also pretend that the
+ precision limit was just reached if it was already reached.
+ (Scan_Integral_Digits): Add Extra_Rounded out parameter, set it to
+ False on entry and to True when Extra is rounded.
+ (Scan_Raw_Real): New Extra_Rounded local variable. Pass it in the
+ calls to Scan_Integral_Digits. If it is True, pass a dummy extra
+ digit to Scan_Decimal_Digits.
+
+2025-06-30 Claire Dross <dr...@adacore.com>
+
+ * libgnat/a-strsup.ads: Ignore Ghost_Predicate in the assertion policy.
+
+2025-06-30 Javier Miranda <mira...@adacore.com>
+
+ * sem_aggr.adb (Resolve_Record_Aggregate): Adjust the code to
+ handle mutably tagged class-wide types since they don't have
+ discriminants, but all class-wide types are considered to have
+ unknown discriminants. Initialize mutably tagged class-wide
+ type components calling their IP subprogram.
+ * exp_aggr.adb (Gen_Assign): Handle mutably tagged class-wide type
+ components that have an initializing qualified expression, and
+ mutably tagged class-wide components default initialization.
+ (Gen_Loop): Handle mutably tagged class-wide types.
+ (Gen_Assign): ditto.
+ (Build_Record_Aggr_Code): Default initialization of mutably tagged
+ class-wide types is performed by their IP subprogram.
+ * exp_ch3.adb (Init_Component): Generate code to raise Program_Error
+ in the IP subprogram of arrays when the type of their components is
+ a mutably tagged abstract class-wide type.
+ (Build_Init_Procedure): ditto for the init procedure of record types.
+ (Build_Init_Statements): Ensure that the type of the expression
+ initializing a mutably class-wide tagged type component is frozen.
+ (Requires_Init_Proc): Mutably tagged class-wide types require the
+ init-proc since it takes care of their default initialization.
+ * sem_util.adb (Needs_Simple_Initialization): Mutably tagged class-wide
+ types don't require simple initialization.
+ * types.ads (PE_Abstract_Type_Component): New reason for Program_Error.
+ * types.h (PE_Abstract_Type_Component): ditto.
+ * exp_ch11.adb (Get_RT_Exception_Name): Handle new reason for
+ Program_Error.
+ * libgnat/a-except.adb (Rcheck_PE_Abstract_Type_Component): New
+ subprogram.
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_util.ads (Get_Enclosing_Object, Get_Enum_Lit_From_Pos,
+ Is_Universal_Numeric_Type): Reorder declarations.
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_util.adb (Get_Enclosing_Object): Traverse unchecked type
+ conversions since they from the compiler and should be transparent for
+ semantic reasoning.
+
+2025-06-30 Steve Baird <ba...@adacore.com>
+
+ * einfo-utils.adb (Predicate_Function): Look through an Itype if
+ that takes us to another subtype of the same type.
+
+2025-06-30 Gary Dismukes <dismu...@adacore.com>
+
+ * exp_util.adb (Must_Map_Call_To_Parent_Primitive): Change function
+ name (was Call_To_Parent_Dispatching_Op_Must_Be_Mapped). Move logic
+ for attributes and dereferences, plus testing for controlled formals,
+ into new function Expr_Has_Ctrl_Formal_Ref. Add handling for
+ access attributes, multiple levels of attributes/dereferences,
+ conditional_expressions, and declare_expressions. Properly account
+ for function calls with multiple operands and enclosing calls.
+ (Expr_Has_Ctrl_Formal_Ref): New function to determine whether
+ an expression is a reference to a controlling formal or has
+ a prefix that is such a reference.
+ (Is_Controlling_Formal_Ref): New function in Expr_Has_Ctrl_Formal_Ref
+ to determine if a node is a direct reference to a controlling formal.
+ * freeze.adb (Build_DTW_Body): Create an unchecked conversion instead
+ of a regular type conversion for converting actuals in calls to parent
+ inherited primitives that are wrapped for inherited pre/postconditions.
+ Avoids generating unnecessary checks (such as accessibility checks on
+ conversions for anonymous access formals).
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_util.ads (Get_Enclosing_Ghost_Entity): Rename spec.
+ * sem_util.adb (Get_Enclosing_Ghost_Object): Rename body; reorder
+ alphabetically; adapt recursive call.
+ * ghost.adb: Adapt calls to Get_Enclosing_Ghost_Object.
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * ghost.adb (Ghost_Entity): Remove; use Get_Enclosing_Ghost_Object
+ instead; adapt callers.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma) <Pragma_No_Component_Reordering>:
+ Call Find_Type on the first argument of the pragma.
+
+2025-06-30 Tonu Naks <n...@adacore.com>
+
+ * gnatls.adb: remove -l switch
+
+2025-06-30 Steve Baird <ba...@adacore.com>
+
+ * doc/gnat_rm/gnat_language_extensions.rst: Update documentation for
+ mutably tagged types and the Size'Class aspect.
+ * gnat_rm.texi: Regenerate.
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * ghost.adb
+ (Whole_Object_Ref): Remove; use Get_Enclosing_Ghost_Object instead.
+ (Is_Ghost_Assignment): Handle more than object identifiers.
+ (Mark_And_Set_Ghost_Assignment): Likewise.
+ * sem_util.adb (Get_Enclosing_Ghost_Object): Detect more expressions
+ as ghost references; rename to better match the intended meaning.
+ * sem_util.ads (Get_Enclosing_Ghost_Object): Rename; adjust comment.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_aggr.adb (Backend_Processing_Possible.Component_Check): Return
+ False for delayed conditional expressions.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_aggr.ads (Parent_Is_Regular_Aggregate): New predicate.
+ * exp_aggr.adb (In_Place_Assign_OK.Safe_Component): Implement more
+ accurate criterion for function calls.
+ (Convert_To_Assignments): Use Parent_Is_Regular_Aggregate predicate.
+ (Expand_Array_Aggregate): Likewise. Remove obsolete comment.
+ (Initialize_Component): Do not adjust when the expression is a naked
+ function call and Back_End_Return_Slot is True.
+ (Parent_Is_Regular_Aggregate): New predicate.
+ * exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Add test of
+ Back_End_Return_Slot in conjunction with a function call.
+ * exp_ch4.adb (Expand_Allocator_Expression): Likewise. Use the
+ Is_Container_Aggregate predicate to detect container aggregates.
+ (Expand_N_Case_Expression): Delay the expansion if the parent is a
+ regular aggregate and the type should not be copied.
+ (Expand_N_If_Expression): Likewise.
+ (New_Assign_Copy): New function.
+ * exp_ch6.adb (Expand_Ctrl_Function_Call): Bail out when the parent
+ is a regular aggregate.
+ * sem_util.adb (Check_Function_Writable_Actuals): Do not take into
+ account attribute references created by the compiler.
+
+2025-06-30 Alexandre Oliva <ol...@adacore.com>
+
+ * socket.c [__vxworks]
+ (__gnat_gethostbyname): Drop excess '&'.
+ (__gnat_gethostbyaddr): Likewise.
+
+2025-06-30 Alexandre Oliva <ol...@adacore.com>
+
+ * adaint.c [__vxworks]: Include ctype.h.
+
+2025-06-30 Steve Baird <ba...@adacore.com>
+
+ * exp_put_image.adb (Build_Record_Put_Image_Procedure): If
+ Discriminant_Specifications takes us from the full view of a type
+ to an (intentionally) unanalyzed subtree, then instead find
+ discriminant entities by calling Discriminant_Specifications on
+ the partial view of the type.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * sem_ch6.adb (Check_Delayed_Subprogram, Possible_Freeze): Restrict
+ cases where freezing is delayed.
+ * sem_ch6.ads (Check_Delayed_Subprogram): Improve documentation
+ comment.
+ * sprint.adb (Write_Itype): Improve output.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * libgnat/s-valrea.adb (Integer_to_Real): Rename to...
+ (Integer_To_Real): ...this. Remove the second condition of the
+ conjunction in the test for the zero value.
+ (Scan_Real): Adjust to above renaming.
+ (Value_Real): Likewise.
+ * libgnat/s-valuer.ads (Scan_Raw_Real): Add note about Val.
+
+2025-06-30 Jose Ruiz <r...@adacore.com>
+
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Fix a
+ couple of minor formatting issues.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * treepr.ads (Print_Entity_Chain, pec, rpec): New subprograms.
+ * treepr.adb (Print_Entity_Chain, pec, rpec): Likewise.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * atree.ads (Parent_Or_List_Containing): Fix typo.
+
+2025-06-30 Ronan Desplanques <desplanq...@adacore.com>
+
+ * treepr.adb (Print_Node): Tweak Parent field printing.
+
+2025-06-30 Jose Ruiz <r...@adacore.com>
+
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Add the
+ documentation about using sanitizers with Ada code.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-30 Jose Ruiz <r...@adacore.com>
+
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Add the
+ documentation about using sanitizers with Ada code.
+ * gnat_ugn.texi: Regenerate.
+
+2025-06-30 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_util.adb (Get_Enclosing_Object): Remove dead code.
+
+2025-06-30 Steve Baird <ba...@adacore.com>
+
+ * einfo-utils.adb (Predicate_Function): Improve handling of a case
+ where a predicate specified for a subtype of a partial view of a
+ type was incorrectly ignored.
+ (Set_Predicate_Function): If the attribute has already been set to
+ the same value, then do nothing (instead of raising P_E).
+ * sem_ch13.adb (Build_Predicate_Function): Add new function
+ Has_Source_Predicate. If a subtype inherits a predicate but also
+ has its own explicitly specified predicate, then avoid
+ misinterpreting the presence of the function built for the
+ inherited predicate to mean that no additional predicate function
+ is needed.
+ * sem_util.adb (Build_Subtype): In the case where we are given a
+ constrained record or array subtype and we need to construct a
+ different subtype, subject to a different constraint, the
+ subtype_mark of the constructed subtype needs to reference an
+ unconstrained subtype (because a new constraint is going to be
+ imposed). If the Predicated_Parent attribute of the given subtype
+ is present and refers to a suitable unconstrained subtype, then
+ use that subtype instead of setting the Predicated_Parent
+ attribute on a new node (and performing the associated attribute
+ copying).
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch7.adb (Process_Transient_In_Scope): Bail out if the object
+ is an ignored ghost entity.
+
+2025-06-30 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_util.adb (Insert_Actions): Extend special treatment applied
+ to freeze nodes to the case of blocks generated for aggregates.
+
+2025-06-30 Johannes Kliemann <kliem...@adacore.com>
+
+ * libgnat/s-valuer.adb: Switch missing if-statements to
+ short-circuit form.
+ * libgnat/i-cpoint.adb: Ditto.
+
2025-06-28 Eric Botcazou <ebotca...@adacore.com>
PR ada/120854
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 3fffdbdd6a44..d31cbbc6a2ef 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,91 @@
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * access-diagram.cc: Use nullptr rather than NULL where
+ appropriate.
+ * analyzer-language.cc: Likewise.
+ * analyzer-language.h: Likewise.
+ * analyzer-logging.h: Likewise.
+ * analyzer-pass.cc: Likewise.
+ * analyzer.cc: Likewise.
+ * bounds-checking.cc: Likewise.
+ * call-details.cc: Likewise.
+ * call-string.cc: Likewise.
+ * call-string.h: Likewise.
+ * call-summary.cc: Likewise.
+ * checker-event.cc: Likewise.
+ * common.h: Likewise.
+ * constraint-manager.cc: Likewise.
+ * constraint-manager.h: Likewise.
+ * diagnostic-manager.cc: Likewise.
+ * engine.cc: Likewise.
+ * exploded-graph.h: Likewise.
+ * function-set.cc: Likewise
+ * infinite-recursion.cc: Likewise
+ * inlining-iterator.h: Likewise
+ * kf.cc: Likewise
+ * known-function-manager.cc: Likewise
+ * pending-diagnostic.cc: Likewise
+ * program-point.cc: Likewise
+ * program-point.h: Likewise
+ * program-state.cc: Likewise
+ * program-state.h: Likewise
+ * record-layout.cc: Likewise
+ * region-model-asm.cc: Likewise
+ * region-model-manager.cc: Likewise
+ * region-model-manager.h: Likewise
+ * region-model-reachability.cc: Likewise
+ * region-model.cc: Likewise
+ * region-model.h: Likewise
+ * region.cc: Likewise
+ * region.h: Likewise
+ * sm-fd.cc: Likewise
+ * sm-malloc.cc: Likewise
+ * sm-pattern-test.cc: Likewise
+ * sm-signal.cc: Likewise
+ * sm-taint.cc: Likewise
+ * sm.cc: Likewise
+ * sm.h: Likewise
+ * state-purge.cc: Likewise
+ * state-purge.h: Likewise
+ * store.cc: Likewise
+ * store.h: Likewise
+ * supergraph.cc: Likewise
+ * supergraph.h: Likewise
+ * svalue.cc: Likewise
+ * svalue.h: Likewise
+ * varargs.cc: Likewise
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * checker-event.cc (function_entry_event::get_meaning): Convert
+ diagnostic_event::meaning enums to enum class.
+ (cfg_edge_event::get_meaning): Likewise.
+ (call_event::get_meaning): Likewise.
+ (return_event::get_meaning): Likewise.
+ (start_consolidated_cfg_edges_event::get_meaning): Likewise.
+ (inlined_call_event::get_meaning): Likewise.
+ (warning_event::get_meaning): Likewise.
+ * sm-fd.cc (fd_diagnostic::get_meaning_for_state_change):
+ Likewise.
+ * sm-file.cc (file_diagnostic::get_meaning_for_state_change):
+ Likewise.
+ * sm-malloc.cc (malloc_diagnostic::get_meaning_for_state_change):
+ Likewise.
+ * sm-sensitive.cc
+ (exposure_through_output_file::get_meaning_for_state_change):
+ Likewise.
+ * sm-taint.cc (taint_diagnostic::get_meaning_for_state_change):
+ Likewise.
+ * varargs.cc
+ (va_list_sm_diagnostic::get_meaning_for_state_change): Likewise.
+
+2025-06-30 Jakub Jelinek <ja...@redhat.com>
+
+ PR c/120520
+ PR c/117023
+ * sm-malloc.cc (malloc_state_machine::on_stmt): Handle 3 argument
+ nonnull_if_nonzero attribute.
+
2025-06-23 David Malcolm <dmalc...@redhat.com>
* region-model.cc
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index debd181e8720..2cd02b0e2028 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,20 @@
+2025-06-30 Jakub Jelinek <ja...@redhat.com>
+
+ PR c/120520
+ PR c/117023
+ * c-attribs.cc (c_common_gnu_attributes): Allow 2 or 3 arguments for
+ nonnull_if_nonzero attribute instead of only 2.
+ (handle_nonnull_if_nonzero_attribute): Handle 3 argument
+ nonnull_if_nonzero.
+ * c-common.cc (struct nonnull_arg_ctx): Rename other member to other1,
+ add other2 member.
+ (check_function_nonnull): Clear a if nonnull attribute has an
+ argument. Adjust for nonnull_arg_ctx changes. Handle 3 argument
+ nonnull_if_nonzero attribute.
+ (check_nonnull_arg): Adjust for nonnull_arg_ctx changes, emit different
+ diagnostics for 3 argument nonnull_if_nonzero attributes.
+ (check_function_arguments): Adjust ctx var initialization.
+
2025-06-27 Jakub Jelinek <ja...@redhat.com>
PR c++/120777
diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index f7752ec15f68..9b29af84779a 100644
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,51 @@
+2025-06-30 James K. Lowden <jklow...@cobolworx.com>
+
+ PR cobol/120772
+ PR cobol/120779
+ PR cobol/120790
+ PR cobol/120791
+ PR cobol/120794
+ * gcobc: Supply -fPIC for shared objects.
+ * genapi.cc (linemap_add): Delete empty macro.
+ (parser_enter_file): Do not call linemap_add.
+ (parser_leave_file): Same.
+ * gengen.cc (location_from_lineno): Remove function.
+ * lexio.cc (parse_replacing_term): Allow empty term.
+ (cdftext::process_file): Always append to output.
+ (cdftext::segment_line): Output #line directives.
+ * lexio.h (struct span_t): Count lines in span.
+ * parse.y: Revamp REPOSITORY, and minor syntax extensions.
+ * parse_ante.h (input_file_status_notify): Update linemap filename
before location.
+ (intrinsic_token_of): Declare.
+ (parser_move_carefully): Support MOVE pointer.
+ * parse_util.h (intrinsic_token_of): New function.
+ * scan.l: New EOF logic, accept NOT=, own yylloc and yylineno.
+ * scan_ante.h (class enter_leave_t): Do not store newline count.
+ (cdf_location_set): Remove declaration.
+ (ydfltype_of): New function.
+ (update_location): Accept location parameter.
+ (reset_location): New function.
+ (YY_USER_ACTION): Use update_location().
+ (YY_USER_INIT): Update CDF location.
+ (verify_ws): New function.
+ (wait_for_the_child): Removed.
+ * symbols.h (cobol_fileline_set): return line number.
+ * util.cc (valid_move): Use range-based for loop.
+ (struct input_file_t): Remove line_map pointer.
+ (class unique_stack): New peek() member function.
+ (cobol_lineno_save): Rename to overload cobol_lineno().
+ (cobol_lineno): Replaces cobol_lineno_save().
+ (cobol_filename): Return void.
+ (location_from_lineno): New function used by genapi.cc.
+ (cdf_location_set): Remove.
+ (matched_length): No change.
+ (cobol_fileline_set): Return line number.
+ (fisspace): Remove extra semicolon.
+ (fisprint): Same.
+ * util.h (cobol_filename_restore): Return void.
+ (cobol_lineno_save): Remove declaration.
+ (cobol_lineno): Declare.
+
2025-06-29 Robert Dubner <rdub...@symas.com>
* Make-lang.in: Incorporate gcobol.clean.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d936830a1cd3..1e78e8679fa5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,183 @@
+2025-06-30 Jeff Law <j...@ventanamicro.com>
+
+ PR rtl-optimization/120242
+ PR rtl-optimization/120627
+ PR rtl-optimization/120736
+ PR rtl-optimization/120813
+ * gcc.dg/torture/pr120242.c: New test.
+ * gcc.dg/torture/pr120627.c: Likewise.
+ * gcc.dg/torture/pr120736.c: Likewise.
+ * gcc.dg/torture/pr120813.c: Likewise.
+
+2025-06-30 Alexey Merzlyakov <alexey.merzlya...@samsung.com>
+
+ PR target/120714
+ * gcc.target/riscv/pr120714.c: New test.
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * gcc.dg/plugin/analyzer_gil_plugin.cc
+ (gil_diagnostic::get_meaning_for_state_change): Convert
+ diagnostic_event::meaning enums to enum class.
+
+2025-06-30 David Malcolm <dmalc...@redhat.com>
+
+ * c-c++-common/analyzer/out-of-bounds-diagram-1-json.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-1.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-2.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-3.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-4.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-5.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-file-1.c: Deleted test.
+ * c-c++-common/diagnostic-format-json-stderr-1.c: Deleted test.
+ * c-c++-common/pr106133.c: Deleted test.
+ * g++.dg/pr90462.C: Deleted test.
+ * gcc.dg/plugin/diagnostic-test-paths-3.c: Deleted test.
+ * gcc.dg/plugin/plugin.exp (plugin_test_list): Remove deleted
+ test.
+ * gfortran.dg/diagnostic-format-json-1.F90: Deleted test.
+ * gfortran.dg/diagnostic-format-json-2.F90: Deleted test.
+ * gfortran.dg/diagnostic-format-json-3.F90: Deleted test.
+ * gfortran.dg/diagnostic-format-json-pr105916.F90: Deleted test.
+
+2025-06-30 Christopher Bazley <chris.baz...@arm.com>
+
+ * gcc.target/aarch64/sve/adr_7.c: Fix regular expressions.
+
+2025-06-30 Pan Li <pan2...@intel.com>
+
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u16.c: Add asm check
+ for vssubu.vx combine.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u8.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u16.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u8.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u16.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u8.c: Ditto.
+
+2025-06-30 Pan Li <pan2...@intel.com>
+
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u16.c: Add asm check.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u8.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u16.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u8.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u16.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u32.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u64.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u8.c: Ditto.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_binary.h: Add test
+ helper macros.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_binary_data.h: Add test
+ data for run test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vssub-run-1-u16.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vssub-run-1-u32.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vssub-run-1-u64.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vssub-run-1-u8.c: New test.
+
+2025-06-30 Pan Li <pan2...@intel.com>
+
+ * gcc.target/riscv/rvv/autovec/sat/vec_sat_u_sub_trunc-1-u16.c:
+ Update the asm check due to cost model change.
+ * gcc.target/riscv/rvv/autovec/sat/vec_sat_u_sub_trunc-1-u32.c:
+ Diito.
+ * gcc.target/riscv/rvv/autovec/sat/vec_sat_u_sub_trunc-1-u8.c:
+ Ditto.
+
+2025-06-30 Kito Cheng <kito.ch...@sifive.com>
+
+ * gcc.target/riscv/rvv/vsetvl/avl_single-21.c: Ignore -Oz.
+ * gcc.target/riscv/rvv/vsetvl/avl_single-26.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/avl_single-36.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/avl_single-39.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/avl_single-41.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/vsetvl-22.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/vsetvlmax-15.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/vsetvlmax-2.c: Ditto.
+ * gcc.target/riscv/rvv/vsetvl/vsetvlmax-4.c: Ditto.
+
+2025-06-30 Kito Cheng <kito.ch...@sifive.com>
+
+ PR target/120659
+ * gcc.target/riscv/pr120659.c: New test.
+
+2025-06-30 Richard Biener <rguent...@suse.de>
+
+ * gcc.target/i386/vect-pr82426.c: Pass explicit -ffp-contract=fast.
+ * gcc.target/i386/vect-pr82426-2.c: New testcase variant with
+ -ffp-contract=on.
+
+2025-06-30 Paul-Antoine Arras <par...@baylibre.com>
+
+ PR target/119100
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-1-f16.c: Add vfnmacc and
+ vfnmsac.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-1-f32.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-1-f64.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-2-f16.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-2-f32.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-2-f64.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-3-f16.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-3-f32.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-3-f64.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-4-f16.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-4-f32.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf-4-f64.c: Likewise.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_mulop.h (DEF_VF_MULOP_CASE_1):
+ Fix return type.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmacc-run-1-f16.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmacc-run-1-f32.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmacc-run-1-f64.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmsac-run-1-f16.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmsac-run-1-f32.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vf_vfnmsac-run-1-f64.c: New test.
+
+2025-06-30 Jakub Jelinek <ja...@redhat.com>
+
+ PR c/120520
+ PR c/117023
+ * gcc.dg/nonnull-9.c: Tweak for 3 argument nonnull_if_nonzero
+ attribute support, add further tests.
+ * gcc.dg/nonnull-12.c: New test.
+ * gcc.dg/nonnull-13.c: New test.
+ * gcc.dg/nonnull-14.c: New test.
+ * c-c++-common/ubsan/nonnull-8.c: New test.
+ * c-c++-common/ubsan/nonnull-9.c: New test.
+
+2025-06-30 H.J. Lu <hjl.to...@gmail.com>
+
+ PR target/120840
+ * gcc.target/i386/no-callee-saved-1.c: Updated.
+ * gcc.target/i386/no-callee-saved-2.c: Likewise.
+ * gcc.target/i386/no-callee-saved-7.c: Likewise.
+ * gcc.target/i386/no-callee-saved-8.c: Likewise.
+ * gcc.target/i386/no-callee-saved-9.c: Likewise.
+ * gcc.target/i386/no-callee-saved-10.c: Likewise.
+ * gcc.target/i386/no-callee-saved-18.c: Likewise.
+ * gcc.target/i386/no-callee-saved-19a.c: Likewise.
+ * gcc.target/i386/no-callee-saved-19c.c: Likewise.
+ * gcc.target/i386/no-callee-saved-19d.c: Likewise.
+ * gcc.target/i386/pr119784a.c: Likewise.
+ * gcc.target/i386/preserve-none-6.c: Likewise.
+ * gcc.target/i386/preserve-none-7.c: Likewise.
+ * gcc.target/i386/preserve-none-12.c: Likewise.
+ * gcc.target/i386/preserve-none-13.c: Likewise.
+ * gcc.target/i386/preserve-none-14.c: Likewise.
+ * gcc.target/i386/preserve-none-15.c: Likewise.
+ * gcc.target/i386/preserve-none-23.c: Likewise.
+ * gcc.target/i386/pr120840-1a.c: New test.
+ * gcc.target/i386/pr120840-1b.c: Likewise.
+ * gcc.target/i386/pr120840-1c.c: Likewise.
+ * gcc.target/i386/pr120840-1d.c: Likewise.
+
2025-06-29 Gaius Mulley <gaiusm...@gmail.com>
PR modula2/117203
