Daily bump.

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index a4f8bb3e88b931aac7052c14c4d015a5a1ef467b..d8831339a304fbb99035479660d58a1ff8294085 100644 (file)
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2025-07-11  Richard Biener  <rguenther@suse.de>
+
+       * gcc-changelog/git_update_version.py: Stop updating gcc-12
+       branch.
+
 2025-07-08  Pierre-Emmanuel Patry  <pierre-emmanuel.patry@embecosm.com>
 
        * prepare-commit-msg: Force default git prefixes.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9f241a2f9ce23c7039cdf1c0ea9315f966d9d199..76fd227c828252c78cd394a6d205588178b133d1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,346 @@
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * diagnostic-format-html.cc: Include "diagnostic-format-sarif.h",
+       Replace include of "diagnostic-state.h" with includes of
+       "diagnostic-digraphs.h" and "diagnostic-state-graphs.h".
+       (html_generation_options::html_generation_options): Update for
+       field renaming.
+       (html_builder::m_body_element): New field.
+       (html_builder::html_builder): Initialize m_body_element.
+       (html_builder::maybe_make_state_diagram): Port from XML
+       implementation to state graph implementation.
+       (html_builder::make_element_for_diagnostic): Add any
+       per-diagnostic graphs.
+       (html_builder::add_graph): New.
+       (html_builder::emit_global_graph): New.
+       (html_output_format::report_global_digraph): New.
+       * diagnostic-format-html.h
+       (html_generation_options::m_show_state_diagram_xml): Replace
+       with...
+       (html_generation_options::m_show_state_diagrams_sarif): ...this.
+       (html_generation_options::m_show_state_diagram_dot_src): Rename
+       to...
+       (html_generation_options::m_show_state_diagrams_dot_src): ...this.
+       * diagnostic-format-sarif.cc: Include "diagnostic-digraphs.h" and
+       "diagnostic-state-graphs.h".
+       (sarif_builder::m_run_graphs): New field.
+       (sarif_result::on_nested_diagnostic): Update call to
+       make_location_object to pass arg by pointer.
+       (sarif_builder::sarif_builder): Initialize m_run_graphs.
+       (sarif_builder::report_global_digraph): New.
+       (sarif_builder::make_result_object): Add any graphs to
+       the result object.
+       (sarif_builder::make_locations_arr): Update call to
+       make_location_object to pass arg by pointer.
+       (sarif_builder::make_location_object): Pass param "loc_mgr" by
+       pointer rather than by reference so that it can be null, and
+       handle this case.
+       (copy_any_property_bag): New.
+       (make_sarif_graph): New.
+       (make_sarif_node): New.
+       (make_sarif_edge): New.
+       (sarif_property_bag::set_graph): New.
+       (populate_thread_flow_location_object): Port from XML
+       implementation to state graph implementation.
+       (make_run_object): Store any graphs.
+       (sarif_output_format::report_global_digraph): New.
+       (sarif_generation_options::sarif_generation_options): Rename
+       m_xml_state to m_state_graph.
+       (selftest::test_make_location_object): Update for change to
+       make_location_object.
+       * diagnostic-format-sarif.h:
+       (sarif_generation_options::m_xml_state): Replace with...
+       (sarif_generation_options::m_state_graph): ...this.
+       (class sarif_location_manager): Add forward decl.
+       (diagnostics::digraphs::digraph): New forward decl.
+       (diagnostics::digraphs::node): New forward decl.
+       (diagnostics::digraphs::edge): New forward decl.
+       (sarif_property_bag::set_graph): New decl.
+       (class sarif_graph): New.
+       (class sarif_node): New.
+       (class sarif_edge): New.
+       (make_sarif_graph): New decl.
+       (make_sarif_node): New decl.
+       (make_sarif_edge): New decl.
+       * diagnostic-format-text.h
+       (diagnostic_text_output_format::report_global_digraph): New.
+       * diagnostic-format.h
+       (diagnostic_output_format::report_global_digraph): New vfunc.
+       * diagnostic-digraphs.cc: New file.
+       * diagnostic-digraphs.h: New file.
+       * diagnostic-metadata.h (diagnostics::digraphs::lazy_digraphs):
+       New forward decl.
+       (diagnostic_metadata::diagnostic_metadata): Initialize
+       m_lazy_digraphs.
+       (diagnostic_metadata::set_lazy_digraphs): New.
+       (diagnostic_metadata::get_lazy_digraphs): New.
+       (diagnostic_metadata::m_lazy_digraphs): New field.
+       * diagnostic-output-spec.cc (sarif_scheme_handler::make_sink):
+       Update for XML to state graph changes.
+       (sarif_scheme_handler::make_sarif_gen_opts): Likewise.
+       (html_scheme_handler::make_sink): Rename "show-state-diagram-xml"
+       to "show-state-diagrams-sarif" and use pluralization consistently.
+       * diagnostic-path.cc: Replace include of "xml.h" with
+       "diagnostic-state-graphs.h".
+       (diagnostic_event::maybe_make_xml_state): Replace with...
+       (diagnostic_event::maybe_make_diagnostic_state_graph): ...this.
+       * diagnostic-path.h (diagnostics::digraphs::digraph): New forward
+       decl.
+       (diagnostic_event::maybe_make_xml_state): Replace with...
+       (diagnostic_event::maybe_make_diagnostic_state_graph): ...this.
+       * diagnostic-state-graphs.cc: New file.
+       * diagnostic-state-graphs.h: New file.
+       * diagnostic-state-to-dot.cc: Port implementation from XML to
+       state graphs.
+       * diagnostic-state.h: Deleted file.
+       * diagnostic.cc (diagnostic_context::report_global_digraph): New.
+       * diagnostic.h (diagnostics::digraphs::lazy_digraph): New forward
+       decl.
+       (diagnostic_context::report_global_digraph): New decl.
+       * doc/analyzer.texi (Debugging the Analyzer): Update to reflect
+       change from XML to state graphs.
+       * doc/invoke.texi ("sarif" diagnostics sink): Replace "xml-state"
+       with "state-graphs".
+       ("experimental-html" diagnostics sink): Replace
+       "show-state-diagrams-xml" with "show-state-diagrams-sarif"
+       * doc/libgdiagnostics/topics/compatibility.rst
+       (LIBGDIAGNOSTICS_ABI_3): New.
+       * doc/libgdiagnostics/topics/graphs.rst: New file.
+       * doc/libgdiagnostics/topics/index.rst: Add graphs.rst.
+       * graphviz.h (node_id::operator=): New.
+       * json.h (json::value::dyn_cast_string): New.
+       (json::object::get_num_keys): New accessor.
+       (json::object::get_key): New accessor.
+       (json::string::dyn_cast_string): New.
+       * libgdiagnostics++.h (class libgdiagnostics::graph): New.
+       (class libgdiagnostics::node): New.
+       (class libgdiagnostics::edge): New.
+       (class libgdiagnostics::diagnostic::take_graph): New.
+       (class libgdiagnostics::manager::take_global_graph): New.
+       (class libgdiagnostics::graph::set_description): New.
+       (class libgdiagnostics::graph::get_node_by_id): New.
+       (class libgdiagnostics::graph::get_edge_by_id): New.
+       (class libgdiagnostics::graph::add_edge): New.
+       (class libgdiagnostics::node::set_label): New.
+       (class libgdiagnostics::node::set_location): New.
+       (class libgdiagnostics::node::set_logical_location): New.
+       * libgdiagnostics-private.h: New file.
+       * libgdiagnostics.cc: Define INCLUDE_STRING.  Include
+       "diagnostic-digraphs.h", "diagnostic-state-graphs.h", and
+       "libgdiagnostics-private.h".
+       (struct diagnostic_graph): New.
+       (struct diagnostic_node): New.
+       (struct diagnostic_edge): New.
+       (libgdiagnostics_path_event::libgdiagnostics_path_event): Add
+       state_graph param.
+       (libgdiagnostics_path_event::maybe_make_diagnostic_state_graph):
+       New.
+       (libgdiagnostics_path_event::m_state_graph): New field.
+       (diagnostic_execution_path::add_event_va): Add state_graph param.
+       (class prebuilt_digraphs): New.
+       (diagnostic::diagnostic): Use m_graphs in m_metadata.
+       (diagnostic::take_graph): New.
+       (diagnostic::get_graphs): New accessor.
+       (diagnostic::m_graphs): New field.
+       (diagnostic_manager::take_global_graph): New.
+       (diagnostic_execution_path_add_event): Update for new param to
+       add_event_va.
+       (diagnostic_execution_path_add_event_va): Likewise.
+       (diagnostic_graph::add_node_with_id): New public entrypoint.
+       (diagnostic_graph::add_edge_with_label): New public entrypoint.
+       (diagnostic_manager_new_graph): New public entrypoint.
+       (diagnostic_manager_take_global_graph): New public entrypoint.
+       (diagnostic_take_graph): New public entrypoint.
+       (diagnostic_graph_release): New public entrypoint.
+       (diagnostic_graph_set_description): New public entrypoint.
+       (diagnostic_graph_add_node): New public entrypoint.
+       (diagnostic_graph_add_edge): New public entrypoint.
+       (diagnostic_graph_get_node_by_id): New public entrypoint.
+       (diagnostic_graph_get_edge_by_id): New public entrypoint.
+       (diagnostic_node_set_location): New public entrypoint.
+       (diagnostic_node_set_label): New public entrypoint.
+       (diagnostic_node_set_logical_location): New public entrypoint.
+       (private_diagnostic_execution_path_add_event_2): New private
+       entrypoint.
+       (private_diagnostic_graph_set_property_bag): New private
+       entrypoint.
+       (private_diagnostic_node_set_property_bag): New private
+       entrypoint.
+       (private_diagnostic_edge_set_property_bag): New private
+       entrypoint.
+       * libgdiagnostics.h (diagnostic_graph): New typedef.
+       (diagnostic_node): New typedef.
+       (diagnostic_edge): New typedef.
+       (diagnostic_manager_new_graph): New decl.
+       (diagnostic_manager_take_global_graph): New decl.
+       (diagnostic_take_graph): New decl.
+       (diagnostic_graph_release): New decl.
+       (diagnostic_graph_set_description): New decl.
+       (diagnostic_graph_add_node): New decl.
+       (diagnostic_graph_add_edge): New decl.
+       (diagnostic_graph_get_node_by_id): New decl.
+       (diagnostic_graph_get_edge_by_id): New decl.
+       (diagnostic_node_set_label): New decl.
+       (diagnostic_node_set_location): New decl.
+       (diagnostic_node_set_logical_location): New decl.
+       * libgdiagnostics.map (LIBGDIAGNOSTICS_ABI_3): New.
+       * libsarifreplay.cc: Include "libgdiagnostics-private.h".
+       (id_map): New "using".
+       (sarif_replayer::report_invalid_sarif): Update for change to
+       report_problem params.
+       (sarif_replayer::report_unhandled_sarif): Likewise.
+       (sarif_replayer::report_note): New.
+       (sarif_replayer::report_problem): Pass param "ref" by
+       pointer rather than reference and handle it being null.
+       (sarif_replayer::maybe_get_property_bag): New.
+       (sarif_replayer::maybe_get_property_bag_value): New.
+       (sarif_replayer::handle_run_obj): Handle run-level "graphs" as per
+       §3.14.20.
+       (sarif_replayer::handle_result_obj): Handle result-level "graphs"
+       as per §3.27.19.
+       (handle_thread_flow_location_object): Optionally handle graphs
+       stored in property "gcc/diagnostic_event/state_graph" as state
+       graphs.
+       (sarif_replayer::handle_graph_object): New.
+       (sarif_replayer::handle_node_object): New.
+       (sarif_replayer::handle_edge_object): New.
+       (sarif_replayer::get_graph_node_by_id_property): New.
+       * selftest-run-tests.cc (selftest::run_tests): Call
+       selftest::diagnostic_graph_cc_tests and
+       selftest::diagnostic_state_graph_cc_tests.
+       * selftest.h (selftest::diagnostic_graph_cc_tests): New decl.
+       (selftest::diagnostic_state_graph_cc_tests): New decl.
+
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * Makefile.in (OBJS-libcommon): Add diagnostic-digraphs.o and
+       diagnostic-state-graphs.o.
+
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * json.cc (json::object::clone): New.
+       (json::object::clone_as_object): New.
+       (json::array::clone): New.
+       (json::float_number::clone): New.
+       (json::integer_number::clone): New.
+       (json::string::clone): New.
+       (json::literal::clone): New.
+       (selftest::test_cloning): New test.
+       (selftest::json_cc_tests): Call it.
+       * json.h (json::value::clone): New vfunc.
+       (json::object::clone): New decl.
+       (json::object::clone_as_object): New decl.
+       (json::array::clone): New decl.
+       (json::float_number::clone): New decl.
+       (json::integer_number::clone): New decl.
+       (json::string::clone): New decl.
+       (json::literal::clone): New decl.
+
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * json.cc (string::string): When constructing from pointer and
+       length, ensure the new buffer is null-terminated.
+       (selftest::test_strcmp): New.
+       (selftest::json_cc_tests): Likewise.
+
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * doc/libgdiagnostics/topics/compatibility.rst
+       (_LIBGDIAGNOSTICS_ABI_2): Add missing anchor.
+       * doc/libgdiagnostics/topics/diagnostic-manager.rst
+       (diagnostic_manager_add_sink_from_spec): Add links to GCC's
+       documentation of "-fdiagnostics-add-output=".  Fix parameter
+       markup.
+       (diagnostic_manager_set_analysis_target): Fix parameter markup.
+       Add link to SARIF spec.
+       * doc/libgdiagnostics/topics/logical-locations.rst: Markup fix.
+       * doc/libgdiagnostics/tutorial/02-physical-locations.rst: Clarify
+       wording of what "the source file" means, and that a range can't
+       have multiple files.
+
+2025-07-11  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+       * lra-constraints.cc (process_address_1): When changing base reg
+       on a reg of the base class, fall back to reload of whole inner address.
+       (process_address): Constrain the iteration number.
+
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/119064
+       * doc/invoke.texi (Wc++26-compat): Document.
+
+2025-07-11  Richard Sandiford  <richard.sandiford@arm.com>
+
+       PR target/121027
+       * config/aarch64/aarch64.cc (aarch64_evpc_sve_tbl): Punt on 2-input
+       operations that can be handled by vec_perm.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * config/aarch64/aarch64-simd.md (*eor3qdi4): New
+       define_insn_and_split.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * config/aarch64/aarch64-simd.md (*bcaxqdi4): New
+       define_insn_and_split.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * config/aarch64/aarch64-simd.md (eor3q<mode>4): Use VDQ_I mode
+       iterator.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * config/aarch64/aarch64-simd.md (bcaxq<mode>4): Use VDQ_I mode
+       iterator.
+
+2025-07-11  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/121034
+       * tree-vect-loop.cc (vectorizable_reduction): Cleanup
+       reduction chain following code.
+
+2025-07-11  Jan Hubicka  <hubicka@ucw.cz>
+
+       * opts.cc (finish_options): Enable debug_nonbind_markers_p for
+       auto-profile.
+       * tree-cfg.cc (struct locus_discrim_map): Remove.
+       (struct locus_discrim_hasher): Remove.
+       (locus_discrim_hasher::hash): Remove.
+       (locus_discrim_hasher::equal): Remove.
+       (first_non_label_nondebug_stmt): Remove.
+       (build_gimple_cfg): Do not allocate discriminator tables.
+       (next_discriminator_for_locus): Remove.
+       (same_line_p): Remove.
+       (struct discrim_entry): New structure.
+       (assign_discriminator): Rewrite.
+       (assign_discriminators): Rewrite.
+
+2025-07-11  Jan Hubicka  <hubicka@ucw.cz>
+
+       PR ipa/114790
+       * cgraph.cc (cgraph_update_edges_for_call_stmt_node): Resolve devirtualization
+       if call statement was optimized out or turned to direct call.
+
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+           Martin Jambor  <mjambor@suse.cz>
+
+       PR ipa/121023
+       * ipa-fnsummary.cc (compute_fn_summary): Disallow signature changes
+       on cfun->has_musttail functions.
+
+2025-07-11  Hu, Lin1  <lin1.hu@intel.com>
+
+       PR target/91384
+       * config/i386/i386.md: Add new peeophole2 for optimize *negsi_1
+       followed by *cmpsi_ccno_1 with APX_F.
+
+2025-07-11  Richard Biener  <rguenther@suse.de>
+
+       * config/i386/i386.cc (ix86_vector_costs::add_stmt_cost): Use
+       the LHS of a scalar stmt to determine mode and whether it is FP.
+
 2025-07-10  Richard Sandiford  <richard.sandiford@arm.com>
 
        * config/aarch64/aarch64.cc (aarch64_vector_costs::add_stmt_cost):

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 26b40b2ae3ea8834ce9049c1d8fdbeb67af2883a..e177aad4afb67765b177ca286de16cea064b1092 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250711
+20250712

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index d31cbbc6a2ef6ca14bc429b7c8ad8042efc05d18..a34fa13d15c7e07114d41c4572e697bc283809ab 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,41 @@
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * ana-state-to-diagnostic-state.cc: Reimplement, replacing
+       XML-based implementation with one based on state graphs.
+       * ana-state-to-diagnostic-state.h: Likewise.
+       * checker-event.cc: Replace include of "xml.h" with include of
+       "diagnostic-state-graphs.h".
+       (checker_event::maybe_make_xml_state): Replace with...
+       (checker_event::maybe_make_diagnostic_state_graph): ...this.
+       * checker-event.h: Add include of "diagnostic-digraphs.h".
+       (checker_event::maybe_make_xml_state): Replace decl with...
+       (checker_event::maybe_make_diagnostic_state_graph): ...this.
+       * engine.cc (exploded_node::on_stmt_pre): Replace
+       "_analyzer_dump_xml" with "__analyzer_dump_sarif".
+       * program-state.cc: Replace include of "diagnostic-state.h" with
+       "diagnostic-state-graphs.h".
+       (program_state::dump_dot): Port from XML to state graphs.
+       * program-state.h: Drop reduntant forward decl of xml::document.
+       (program_state::make_xml): Replace decl with...
+       (program_state::make_diagnostic_state_graph): ...this.
+       (program_state::dump_xml_to_pp): Drop decl.
+       (program_state::dump_xml_to_file): Drop decl.
+       (program_state::dump_xml): Drop decl.
+       (program_state::dump_dump_sarif): New decl.
+       * sm-malloc.cc (get_dynalloc_state_for_state): New.
+       (malloc_state_machine::add_state_to_xml): Replace with...
+       (malloc_state_machine::add_state_to_state_graph): ...this.
+       * sm.cc (state_machine::add_state_to_xml): Replace with...
+       (state_machine::add_state_to_state_graph): ...this.
+       (state_machine::add_global_state_to_xml): Replace with...
+       (state_machine::add_global_state_to_state_graph): ...this.
+       * sm.h (class xml_state): Drop forward decl.
+       (class analyzer_state_graph): New forward decl.
+       (state_machine::add_state_to_xml): Replace decl with...
+       (state_machine::add_state_to_state_graph): ...this.
+       (state_machine::add_global_state_to_xml): Replace decl with...
+       (state_machine::add_global_state_to_state_graph): ...this.
+
 2025-06-30  David Malcolm  <dmalcolm@redhat.com>
 
        * access-diagram.cc: Use nullptr rather than NULL where

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index a95cc346cca86be849870df01ddab181c020017c..ed79d362245eca5f15389acce1e18a9c60403d8b 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,13 @@
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/119064
+       * c.opt (Wc++26-compat): New option.
+       * c.opt.urls: Regenerate.
+       * c-opts.cc (c_common_post_options): Clear warn_cxx26_compat for
+       C++26 or later.
+       * c-cppbuiltin.cc (c_cpp_builtins): For C++26 predefine
+       __cpp_trivial_relocatability=202502L.
+
 2025-07-10  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/117785

diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index 5affc847dbe18534d7032e3b6f8c5cf9cffb123d..5555b8e6329454df7e4c2628c9f87154027d895b 100644 (file)
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,12 @@
+2025-07-11  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       PR cobol/120621
+       * lexio.cc (parse_replace_pairs): Cast mfile.lineno() to fmt_size_t.
+       * parse.y (intrinsic): Print ptrdiff_t using %ld, cast arg to long.
+       * scan_ante.h (numstr_of): Print nx using %ld, cast arg to long.
+       * util.cc (cbl_field_t::report_invalid_initial_value): Print
+       ptrdiff_t using %ld, cast arg to long.
+
 2025-07-10  James K. Lowden  <jklowden@cobolworx.com>
 
        PR cobol/120765

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 2944f22d3c11cdad9484505f1fa4cc32ef33b092..b0928d0ec157dd858799174fbcedbad628ea0319 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,41 @@
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/119064
+       * cp-tree.h: Implement C++26 P2786R13 - Trivial Relocatability.
+       (struct lang_type): Add trivially_relocatable,
+       trivially_relocatable_computed, replaceable and replaceable_computed
+       bitfields.  Change width of dummy from 2 to 30.
+       (CLASSTYPE_TRIVIALLY_RELOCATABLE_BIT,
+       CLASSTYPE_TRIVIALLY_RELOCATABLE_COMPUTED, CLASSTYPE_REPLACEABLE_BIT,
+       CLASSTYPE_REPLACEABLE_COMPUTED): Define.
+       (enum virt_specifier): Add VIRT_SPEC_TRIVIALLY_RELOCATABLE_IF_ELIGIBLE
+       and VIRT_SPEC_REPLACEABLE_IF_ELIGIBLE enumerators.
+       (trivially_relocatable_type_p, replaceable_type_p): Declare.
+       * cp-trait.def (IS_NOTHROW_RELOCATABLE, IS_REPLACEABLE,
+       IS_TRIVIALLY_RELOCATABLE): New traits.
+       * parser.cc (cp_parser_class_property_specifier_seq_opt): Handle
+       trivially_relocatable_if_eligible,
+       __trivially_relocatable_if_eligible, replaceable_if_eligible and
+       __replaceable_if_eligible.
+       (cp_parser_class_head): Set CLASSTYPE_REPLACEABLE_BIT
+       and/or CLASSTYPE_TRIVIALLY_RELOCATABLE_BIT if corresponding
+       conditional keywords were parsed and assert corresponding *_COMPUTED
+       macro is false.
+       * pt.cc (instantiate_class_template): Copy over also
+       CLASSTYPE_TRIVIALLY_RELOCATABLE_{BIT,COMPUTED} and
+       CLASSTYPE_REPLACEABLE_{BIT,COMPUTED} bits.
+       * semantics.cc (referenceable_type_p): Move definition earlier.
+       (trait_expr_value): Handle CPTK_IS_NOTHROW_RELOCATABLE,
+       CPTK_IS_REPLACEABLE and CPTK_IS_TRIVIALLY_RELOCATABLE.
+       (finish_trait_expr): Likewise.
+       * tree.cc (default_movable_type_p): New function.
+       (union_with_no_declared_special_member_fns): Likewise.
+       (trivially_relocatable_type_p): Likewise.
+       (replaceable_type_p): Likewise.
+       * constraint.cc (diagnose_trait_expr): Handle
+       CPTK_IS_NOTHROW_RELOCATABLE, CPTK_IS_REPLACEABLE and
+       CPTK_IS_TRIVIALLY_RELOCATABLE.
+
 2025-07-10  Jakub Jelinek  <jakub@redhat.com>
 
        * cp-tree.h (struct lang_type): Add comment before key_method.

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 168c47596fece067574fd2b5c6169019cf14236c..b4fadacbd1875cba8b6d06e67d0e1f289c1d7a6d 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,30 @@
+2025-07-11  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/106135
+       * decl.cc (build_sym): Emit an error if a symbol associated by
+       an IMPORT, ONLY or IMPORT, all statement is being redeclared.
+       (gfc_match_import): Parse and check the F2018 versions of the
+       IMPORT statement. For scopes other than and interface body, if
+       the symbol cannot be found in the host scope, generate it and
+       set it up such that gfc_fixup_sibling_symbols can transfer its
+       'imported attribute' if it turnes out to be a not yet parsed
+       procedure. Test for violations of C897-8100.
+       * gfortran.h : Add 'import_only' to the gfc_symtree structure.
+       Add the enum, 'importstate', which is used for values the new
+       field 'import_state' in gfc_namespace.
+       * parse.cc (gfc_fixup_sibling_symbols): Transfer the attribute
+       'imported' to the new symbol.
+       * resolve.cc (check_sym_import_status, check_import_status):
+       New functions to test symbols and expressions for violations of
+       F2018:C8102.
+       (resolve_call): Test the 'resolved_sym' against C8102 by a call
+       to 'check_sym_import_status'.
+       (gfc_resolve_expr): If the expression is OK and an IMPORT
+       statement has been registered in the current scope, test C102
+       by calling 'check_import_status'.
+       (resolve_select_type): Test the declared derived type in TYPE
+       IS and CLASS IS statements.
+
 2025-07-08  Andre Vehreschild  <vehre@gcc.gnu.org>
 
        PR fortran/120637

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4aceccb90eb89f6d413c743d61429e2233a53a9a..4f1b93255e15f982ecead4fa685622f5d00f5e93 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,114 @@
+2025-07-11  David Malcolm  <dmalcolm@redhat.com>
+
+       * gcc.dg/analyzer/state-diagram-1-sarif.py (test_xml_state):
+       Rename to...
+       (test_state_graph): ...this.  Port from XML to SARIF graphs.
+       * gcc.dg/analyzer/state-diagram-1.c: Update sink option
+       from "sarif:xml-state=yes" to "sarif:state-graphs=yes".
+       * gcc.dg/analyzer/state-diagram-5-sarif.c: Likewise.
+       * gcc.dg/analyzer/state-diagram-5-sarif.py: Drop import of ET.
+       (test_nested_types_in_xml_state): Rename to...
+       (test_nested_types_in_state_graph): ...this.  Port from XML to
+       SARIF graphs.
+       * gcc.dg/plugin/diagnostic-test-graphs-html.c: New test.
+       * gcc.dg/plugin/diagnostic-test-graphs-html.py: New test script.
+       * gcc.dg/plugin/diagnostic-test-graphs-sarif.c: New test.
+       * gcc.dg/plugin/diagnostic-test-graphs-sarif.py: New test script.
+       * gcc.dg/plugin/diagnostic-test-graphs.c: New test.
+       * gcc.dg/plugin/diagnostic_plugin_test_graphs.cc: New test plugin.
+       * gcc.dg/plugin/plugin.exp (plugin_test_list): Add the above.
+       * lib/sarif.py (get_xml_state): Delete.
+       (get_state_graph): New.
+       (def get_state_node_attr): New.
+       (get_state_node_kind): New.
+       (get_state_node_name): New.
+       (get_state_node_type): New.
+       (get_state_node_value): New.
+       * sarif-replay.dg/2.1.0-invalid/3.40.2-duplicate-node-id.sarif:
+       New test.
+       * sarif-replay.dg/2.1.0-invalid/3.41.4-unrecognized-node-id.sarif:
+       New test.
+       * sarif-replay.dg/2.1.0-valid/graphs-check-html.py: New test
+       script.
+       * sarif-replay.dg/2.1.0-valid/graphs-check-sarif-roundtrip.py: New
+       test script.
+       * sarif-replay.dg/2.1.0-valid/graphs.sarif: New test.
+
+2025-07-11  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+       * gcc.target/powerpc/pr121007.c: New.
+
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/119064
+       * g++.dg/cpp26/feat-cxx26.C: Add test for
+       __cpp_trivial_relocatability.
+       * g++.dg/cpp26/trivially-relocatable1.C: New test.
+       * g++.dg/cpp26/trivially-relocatable2.C: New test.
+       * g++.dg/cpp26/trivially-relocatable3.C: New test.
+       * g++.dg/cpp26/trivially-relocatable4.C: New test.
+       * g++.dg/cpp26/trivially-relocatable5.C: New test.
+       * g++.dg/cpp26/trivially-relocatable6.C: New test.
+       * g++.dg/cpp26/trivially-relocatable7.C: New test.
+       * g++.dg/cpp26/trivially-relocatable8.C: New test.
+       * g++.dg/cpp26/trivially-relocatable9.C: New test.
+       * g++.dg/cpp26/trivially-relocatable10.C: New test.
+       * g++.dg/cpp26/trivially-relocatable11.C: New test.
+
+2025-07-11  Richard Sandiford  <richard.sandiford@arm.com>
+
+       PR target/121027
+       * gcc.target/aarch64/sve/acle/general/perm_1.c: New test.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * gcc.target/aarch64/simd/eor3_d.c: Add tests for DImode operands.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * gcc.target/aarch64/simd/bcax_d.c: Add tests for DImode arguments.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * gcc.target/aarch64/simd/eor3_d.c: New test.
+
+2025-07-11  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+       * gcc.target/aarch64/simd/bcax_d.c: New test.
+
+2025-07-11  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/121034
+       * gcc.dg/vect/pr121034.c: New testcase.
+
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/120954
+       * c-c++-common/Warray-bounds-11.c: New test.
+
+2025-07-11  Jan Hubicka  <hubicka@ucw.cz>
+
+       * g++.dg/lto/pr114790_0.C: New test.
+       * g++.dg/lto/pr114790_1.C: New test.
+
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+           Martin Jambor  <mjambor@suse.cz>
+
+       PR ipa/121023
+       * c-c++-common/musttail32.c: New test.
+
+2025-07-11  Hu, Lin1  <lin1.hu@intel.com>
+
+       PR target/91384
+       * gcc.target/i386/pr91384-1.c: New test.
+
+2025-07-11  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/106135
+       * gfortran.dg/import3.f90: Use -std=f2008 and comment on change
+       in error message texts with f2018.
+       * gfortran.dg/import12.f90: New test.
+
 2025-07-10  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/120628

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 635778ae20f139c39f5e07d03afd967d9b22992d..716a516006a973e9cd881a7da5988c6de3520c5f 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,56 @@
+2025-07-11  Jakub Jelinek  <jakub@redhat.com>
+
+       * libsupc++/exception_ptr.h: Implement C++26 P3748R0 - Inspecting
+       exception_ptr should be constexpr.
+       (std::exception_ptr_cast): Make constexpr, remove inline keyword.  Add
+       static_asserts for Mandates.  For if consteval use std::rethrow_exception,
+       catch it and return its address or nullptr.
+       * testsuite/18_support/exception_ptr/exception_ptr_cast.cc (E::~E): Add
+       constexpr.
+       (G::G): Likewise.
+       (test01): Likewise.  Return bool and take bool argument, throw if the
+       argument is true.  Add static_assert(test01(false)).
+       (main): Call test01(true) in try.
+
+2025-07-11  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/bits/cpp_type_traits.h (__is_floating<__float128>):
+       Do not depend on __STRICT_ANSI__.
+       * include/bits/stl_algobase.h (__size_to_integer(__float128)):
+       Likewise.
+       * include/std/type_traits (__is_floating_point_helper<__float128>):
+       Likewise.
+
+2025-07-11  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR libstdc++/96710
+       * include/bits/cpp_type_traits.h (__is_integer): Define explicit
+       specializations for __int128.
+       (__memcpyable_integer): Remove explicit specializations for
+       __int128.
+       * include/bits/iterator_concepts.h (incrementable_traits):
+       Likewise.
+       (__is_signed_int128, __is_unsigned_int128, __is_int128): Remove.
+       (__is_integer_like, __is_signed_integer_like): Remove check for
+       __int128.
+       * include/bits/max_size_type.h: Remove all uses of __is_int128
+       in constraints.
+       * include/bits/ranges_base.h (__to_unsigned_like): Remove
+       overloads for __int128.
+       (ranges::ssize): Remove special case for __int128.
+       * include/bits/stl_algobase.h (__size_to_integer): Define
+       __int128 overloads for strict modes.
+       * include/ext/numeric_traits.h (__is_integer_nonstrict): Remove
+       explicit specializations for __int128.
+       * include/std/charconv (to_chars): Define overloads for
+       __int128.
+       * include/std/format (__format::make_unsigned_t): Remove.
+       (__format::to_chars): Remove.
+       * include/std/limits (numeric_limits): Define explicit
+       specializations for __int128.
+       * include/std/type_traits (__is_integral_helper): Likewise.
+       (__make_unsigned, __make_signed): Likewise.
+
 2025-07-10  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/117785