https://gcc.gnu.org/g:c4f5308273c2b5da86dc5200e8a270a5c6282321
commit r16-1638-gc4f5308273c2b5da86dc5200e8a270a5c6282321
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Jun 24 00:18:59 2025 +0000
Daily bump.
Diff:
---
contrib/ChangeLog | 15 +++
gcc/ChangeLog | 283 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/analyzer/ChangeLog | 132 ++++++++++++++++++++++
gcc/c-family/ChangeLog | 4 +
gcc/c/ChangeLog | 4 +
gcc/cp/ChangeLog | 4 +
gcc/fortran/ChangeLog | 11 ++
gcc/testsuite/ChangeLog | 125 +++++++++++++++++++++
9 files changed, 579 insertions(+), 1 deletion(-)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 276ce745a98b..fbc3cfe0f674 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,18 @@
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ PR testsuite/116163
+ PR sarif-replay/120792
+ * dg-lint/dg-lint: Add -fdiagnostics-add-output.
+ * dg-lint/libgdiagnostics.py: Add
+ diagnostic_manager_add_sink_from_spec.
+ (Manager.add_sink_from_spec): New.
+
+2025-06-23 Andrew Burgess <aburg...@redhat.com>
+
+ * dg-extract-results.py: Handle GDB's unexpected core file count.
+ * dg-extract-results.sh: Likewise.
+
2025-05-27 Jan Hubicka <hubi...@ucw.cz>
* gen_autofdo_event.py: Add support for AMD Zen 3 and
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 373211dec4d1..78a8117b3984 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,286 @@
+2025-06-23 Sam James <s...@gentoo.org>
+ Jeff Law <j...@ventanamicro.com>
+
+ PR rtl-optimization/120795
+ * ext-dce.cc (ext_dce_try_optimize_insn): Enable rescan in
+ remove_reg_equal_equiv_notes call.
+
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ PR testsuite/116163
+ PR sarif-replay/120792
+ * Makefile.in (OBJS-libcommon): Add diagnostic-output-spec.o.
+ * diagnostic-format-html.cc (html_builder::html_builder): Ensure
+ title is non-empty.
+ * diagnostic-output-spec.cc: New file, taken from material in
+ opts-diagnostic.cc.
+ * diagnostic-output-spec.h: New file.
+ * diagnostic.cc (diagnostic_context::set_main_input_filename):
+ New.
+ * diagnostic.h (diagnostic_context::set_main_input_filename): New
+ decl.
+ * doc/libgdiagnostics/topics/compatibility.rst
+ (LIBGDIAGNOSTICS_ABI_2): New.
+ * doc/libgdiagnostics/topics/diagnostic-manager.rst
+ (diagnostic_manager_add_sink_from_spec): New.
+ (diagnostic_manager_set_analysis_target): New.
+ * libgdiagnostics++.h (manager::add_sink_from_spec): New.
+ (manager::set_analysis_target): New.
+ * libgdiagnostics.cc: Include "diagnostic-output-spec.h".
+ (struct spec_context): New.
+ (diagnostic_manager_add_sink_from_spec): New.
+ (diagnostic_manager_set_analysis_target): New.
+ * libgdiagnostics.h
+ (LIBDIAGNOSTICS_HAVE_diagnostic_manager_add_sink_from_spec): New
+ define.
+ (diagnostic_manager_add_sink_from_spec): New decl.
+ (LIBDIAGNOSTICS_HAVE_diagnostic_manager_set_analysis_target): New
+ define.
+ (diagnostic_manager_set_analysis_target): New decl.
+ * libgdiagnostics.map (LIBGDIAGNOSTICS_ABI_2): New.
+ * libsarifreplay.cc (sarif_replayer::handle_artifact_obj): Looks
+ for "analysisTarget" in roles and call set_analysis_target using
+ the artifact if found.
+ * opts-diagnostic.cc: Refactor, moving material to
+ diagnostic-output-spec.cc.
+ (struct opt_spec_context): New.
+ (handle_OPT_fdiagnostics_add_output_): Use opt_spec_context.
+ (handle_OPT_fdiagnostics_set_output_): Likewise.
+ * sarif-replay.cc: Define INCLUDE_STRING.
+ (struct options): Add m_extra_output_specs.
+ (usage_msg): Add -fdiagnostics-add-output=SCHEME.
+ (str_starts_with): New.
+ (parse_options): Add -fdiagnostics-add-output=SCHEME.
+ (main): Likewise.
+ * selftest-run-tests.cc (selftest::run_tests): Call
+ diagnostic_output_spec_cc_tests rather than
+ opts_diagnostic_cc_tests.
+ * selftest.h (selftest::diagnostic_output_spec_cc_tests):
+ Replace...
+ (selftest::opts_diagnostic_cc_tests): ...this.
+
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ * Makefile.in (ANALYZER_OBJS): Add
+ analyzer/ana-state-to-diagnostic-state.o.
+ (OBJS): Move graphviz.o to...
+ (OBJS-libcommon): ...here. Add diagnostic-state-to-dot.o and pex.o.
+ * diagnostic-format-html.cc: Include "diagnostic-state.h" and
+ "graphviz.h".
+ (html_generation_options::html_generation_options): Initialize the
+ new flags.
+ (HTML_SCRIPT): Add function "get_any_state_diagram". Use it
+ when changing current focus id to update the visibility of the
+ pertinent diagram, if any.
+ (print_pre_source): New.
+ (html_builder::maybe_make_state_diagram): New.
+ (html_path_label_writer::html_path_label_writer): Add "path" param.
+ Initialize m_path and m_curr_event_id.
+ (html_path_label_writer::begin_label): Store current event id.
+ (html_path_label_writer::end_label): Attempt to make a state
+ diagram and add it if successful.
+ (html_path_label_writer::get_element_id): New.
+ (html_path_label_writer::m_path): New field.
+ (html_path_label_writer::m_curr_event_id): New field.
+ (html_builder::make_element_for_diagnostic): Pass path to label
+ writer.
+ * diagnostic-format-html.h
+ (html_generation_options::m_show_state_diagrams): New field.
+ (html_generation_options::m_show_state_diagram_xml): New field.
+ (html_generation_options::m_show_state_diagram_dot_src): New field.
+ * diagnostic-format-sarif.cc: Include "xml.h".
+ (populate_thread_flow_location_object): If requested, attempt to
+ generate xml state and add it to the proeprty bag as
+ "gcc/diagnostic_event/xml_state" in xml source form.
+ (sarif_generation_options::sarif_generation_options): Initialize
+ m_xml_state.
+ * diagnostic-format-sarif.h
+ (sarif_generation_options::m_xml_state): New field.
+ * diagnostic-path.cc: Define INCLUDE_MAP. Include "xml.h".
+ (diagnostic_event::maybe_make_xml_state): New.
+ * diagnostic-path.h (class xml::document): New forward decl.
+ (diagnostic_event::maybe_make_xml_state): New vfunc decl.
+ * diagnostic-state-to-dot.cc: New file.
+ * diagnostic-state.h: New file.
+ * digraph.cc: Define INCLUDE_STRING and INCLUDE_VECTOR.
+ * doc/analyzer.texi: Document state diagrams in html output.
+ (__analyzer_dump_dot): New.
+ (__analyzer_dump_xml): New.
+ * doc/invoke.texi (sarif): Add "xml-state" key.
+ (experimental-html): Add keys "show-state-diagrams",
+ "show-state-diagrams-dot-src" and "show-state-diagrams-xml".
+ * graphviz.cc: Define INCLUDE_MAP, INCLUDE_STRING, and
+ INCLUDE_VECTOR. Include "xml.h", "xml-printer.h", "pex.h" and
+ "selftest.h".
+ (graphviz_out::graphviz_out): Extract...
+ (dot::writer::writer): ...this.
+ (graphviz_out::write_indent): Convert to...
+ (dot::writer::write_indent): ...this.
+ (graphviz_out::print): Use get_pp.
+ (graphviz_out::println): Likewise.
+ (graphviz_out::begin_tr): Likewise.
+ (graphviz_out::end_tr): Likewise.
+ (graphviz_out::begin_td): Likewise.
+ (graphviz_out::end_td): Likewise.
+ (graphviz_out::begin_trtd): Likewise.
+ (graphviz_out::end_tdtr): Likewise.
+ (dot::ast_node::dump): New.
+ (dot::id::id): New.
+ (dot::id::print): New.
+ (dot::id::is_identifier_p): New.
+ (dot::kv_pair::print): New.
+ (dot::attr_list::print): New.
+ (dot::stmt_list::print): New.
+ (dot::stmt_list::add_edge): New.
+ (dot::stmt_list::add_attr): New.
+ (dot::graph::print): New.
+ (dot::stmt_with_attr_list::set_label): New.
+ (dot::node_stmt::print): New.
+ (dot::attr_stmt::print): New.
+ (dot::kv_stmt::print): New.
+ (dot::node_id::print): New.
+ (dot::port::print): New.
+ (dot::edge_stmt::print): New.
+ (dot::subgraph::print): New.
+ (dot::make_svg_document_buffer_from_graph): New.
+ (dot::make_svg_from_graph): New.
+ (selftest:test_ids): New.
+ (selftest:test_trivial_graph): New.
+ (selftest:test_layout_example): New.
+ (selftest:graphviz_cc_tests): New.
+ * graphviz.h (xml::node): New forward decl.
+ (class graphviz_out): Split out into...
+ (class dot::writer): ...this new class
+ (struct dot::ast_node): New.
+ (struct dot::id): New.
+ (struct dot::kv_pair): New.
+ (struct dot::attr_list): New.
+ (struct dot::stmt_list): New.
+ (struct dot::graph): New.
+ (struct dot::stmt): New.
+ (struct dot::stmt_with_attr_list): New.
+ (struct dot::node_stmt): New.
+ (struct dot::attr_stmt): New.
+ (struct dot::kv_stmt): New.
+ (enum class dot::compass_pt): New.
+ (struct dot::port): New.
+ (struct dot::node_id): New.
+ (struct dot::edge_stmt): New.
+ (struct dot::subgraph): New.
+ (dot::make_svg_from_graph): New.
+ * opts-diagnostic.cc (sarif_scheme_handler::make_sink): Add
+ "xml-state" flag.
+ (html_scheme_handler::make_sink): Add flags "show-state-diagrams",
+ "show-state-diagram-dot-src", and "show-state-diagram-xml".
+ * pex.cc: New file.
+ * pex.h: New file.
+ * selftest-run-tests.cc (selftest::run_tests): Call
+ graphviz_cc_tests.
+ * selftest.h (selftest::graphviz_cc_tests): New decl.
+ * xml.cc (xml::node_with_children::add_comment): New.
+ (xml::node_with_children::find_child_element): New.
+ (xml::element::get_attr): New.
+ (xml::comment::write_as_xml): New.
+ (selftest::test_printer): Add coverage of find_child_element and
+ get_attr.
+ (selftest::test_comment): New.
+ (selftest::xml_cc_tests): Call test_comment.
+ * xml.h: New forward decls.
+ (xml::node::dyn_cast_text): Use nullptr.
+ (xml::node::dyn_cast_element): New vfunc.
+ (xml::node_with_children::add_comment): New decl.
+ (xml::node_with_children::find_child_element): New decl.
+ (xml::element::dyn_cast_element): New vfunc impl.
+ (xml::element::get_attr): New decl.
+ (struct xml::comment): New xml::node subclass.
+
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ * diagnostic-format-html.cc (html_token_printer::print_tokens):
+ Handle pp_token::kind::event_id.
+ (selftest::test_token_printer): Add coverage of printing an event
+ id.
+
+2025-06-23 Pan Li <pan2...@intel.com>
+
+ * config/riscv/riscv-v.cc (expand_vx_binary_vec_dup_vec): Add
+ new case US_PLUS.
+ (expand_vx_binary_vec_vec_dup): Ditto.
+ * config/riscv/riscv.cc (riscv_rtx_costs): Ditto.
+ * config/riscv/vector-iterators.md: Add new op us_plus.
+
+2025-06-23 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * tree-tailcall.cc (empty_eh_cleanup): Ignore .ASAN_MARK (POISON)
+ internal calls for the cfun->has_musttail case and diag_musttail.
+ (find_tail_calls): Likewise.
+
+2025-06-23 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * cfgexpand.cc: Include rtl-iter.h.
+ (expand_gimple_tailcall): Add ASAN_EPILOG_SEQ argument, if non-NULL
+ and expand_gimple_stmt emitted a tail call, emit a copy of that
+ insn sequence before the call sequence.
+ (expand_gimple_basic_block): Remove DISABLE_TAIL_CALLS argument, add
+ ASAN_EPILOG_SEQ argument. Disable tail call flag only on non-musttail
+ calls if that flag is set, pass it to expand_gimple_tailcall.
+ (pass_expand::execute): Pass VAR_RET_SEQ directly as last
+ expand_gimple_basic_block argument rather than its comparison with
+ NULL.
+
+2025-06-23 Pengfei Li <pengfei....@arm.com>
+
+ * tree-vect-data-refs.cc (vect_peeling_supportable): Return new
+ enum values to indicate if combined peeling and versioning can
+ potentially support vectorization.
+ (vect_enhance_data_refs_alignment): Support combined peeling and
+ versioning in vectorization analysis.
+ * tree-vect-loop-manip.cc (vect_create_cond_for_align_checks):
+ Add a new type of runtime check for mutually aligned DRs.
+ * tree-vect-loop.cc (_loop_vec_info::_loop_vec_info): Set
+ default value of allow_mutual_alignment in the initializer list.
+ * tree-vectorizer.h (enum peeling_support): Define type of
+ peeling support for function vect_peeling_supportable.
+ (LOOP_VINFO_ALLOW_MUTUAL_ALIGNMENT): New access macro.
+
+2025-06-23 Mikael Morin <morin-mik...@orange.fr>
+
+ * match.pd (`-(-X)`, `~(~X)`, `conj(conj(X))`): Add a
+ NON_LVALUE_EXPR wrapper to the simplification of doubled unary
+ operators NEGATE_EXPR, BIT_NOT_EXPR and CONJ_EXPR.
+
+2025-06-23 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120729
+ * gimple-predicate-analysis.h (uninit_analysis::prune_phi_opnds):
+ Add argument of work budget remaining.
+ * gimple-predicate-analysis.cc (uninit_analysis::prune_phi_opnds):
+ Likewise. Maintain and honor it throughout the recursion.
+ * params.opt (uninit-max-prune-work): New.
+ * doc/invoke.texi (uninit-max-prune-work): Document.
+
+2025-06-23 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/120721
+ * function.cc (instantiate_virtual_regs_in_insn): Use force_subreg
+ instead of simplify_gen_subreg when instantiating an rvalue SUBREG.
+
+2025-06-23 H.J. Lu <hjl.to...@gmail.com>
+
+ PR target/120728
+ * config/i386/i386.cc (ix86_get_ssemov): Use vmovdqu16/vmovdqu8
+ only with EVEX register operands.
+
+2025-06-23 H.J. Lu <hjl.to...@gmail.com>
+
+ * config/i386/i386-options.cc (processor_cost_table): Add a
+ PROCESSOR_XXX comment to each entry.
+
2025-06-22 Andrew Pinski <quic_apin...@quicinc.com>
PR target/119830
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 29fc23941834..8bb1cc745502 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250623
+20250624
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index cc86675f270f..3fffdbdd6a44 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,135 @@
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ * region-model.cc
+ (exception_thrown_from_unrecognized_call::print): Add
+ "final override" to vfunc.
+
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ * ana-state-to-diagnostic-state.cc: New file.
+ * ana-state-to-diagnostic-state.h: New file.
+ * checker-event.cc: Include "xml.h".
+ (checker_event::checker_event): Initialize m_path.
+ (checker_event::prepare_for_emission): Store the path pointer into
+ m_path.
+ (checker_event::maybe_make_xml_state): New.
+ (function_entry_event::function_entry_event): Add "state" param
+ and use it to initialize m_state.
+ (superedge_event::get_program_state): New.
+ (call_event::get_program_state): New.
+ (warning_event::get_program_state): New.
+ * checker-event.h (checker_event::get_program_state): New vfunc.
+ (checker_event::maybe_make_xml_state): New decl.
+ (checker_event::m_path): New field.
+ (statement_event::get_program_state): New vfunc impl.
+ (function_entry_event::function_entry_event): Add "state" param.
+ (function_entry_event::get_program_state): New vfunc impl.
+ (function_entry_event::m_state): New field.
+ (state_change_event::get_program_state): New vfunc impl.
+ (superedge_event::get_program_state): New vfunc decl.
+ (warning_event::warning_event): Add "program_state_" param and
+ copy it.
+ (warning_event::get_program_state): New vfunc decl.
+ (warning_event::m_program_state): New field.
+ * checker-path.h (checker_path::checker_path): Add ext_state param.
+ (checker_path::get_ext_state): New accessor.
+ (checker_path::m_ext_state): New field.
+ * common.h: Define INCLUDE_MAP and INCLUDE_STRING.
+ * diagnostic-manager.cc (saved_diagnostic::operator==): Don't
+ deduplicate dump_path_diagnostic instances.
+ (diagnostic_manager::emit_saved_diagnostic): Pass ext_state to
+ checker_path ctor.
+ * engine.cc:
+ (impl_region_model_context::on_state_leak): Pass old and new state
+ to state_machine::on_leak.
+ (exploded_node::on_stmt_pre): Implement __analyzer_dump_xml and
+ __analyzer_dump_dot.
+ * exploded-graph.h (impl_region_model_context::get_state): New.
+ * infinite-recursion.cc
+ (recursive_function_entry_event::recursive_function_entry_event):
+ Add "dst_state" param and pass to function_entry_event ctor.
+ (infinite_recursion_diagnostic::add_function_entry_event): Pass state
+ to event ctor.
+ * kf-analyzer.cc: Include "analyzer/program-state.h"
+ (dump_path_diagnostic::dump_path_diagnostic): Add "state" param.
+ (dump_path_diagnostic::get_final_state): New.
+ (dump_path_diagnostic::m_state): New field.
+ (kf_analyzer_dump_path::impl_call_pre): Pass state to warning.
+ * pending-diagnostic.cc
+ (pending_diagnostic::add_function_entry_event): Pass state to
+ function_entry_event.
+ (pending_diagnostic::add_final_event): Likewise to warning_event.
+ * pending-diagnostic.h (pending_diagnostic::get_final_state): New
+ vfunc decl.
+ * program-state.cc: Include "diagnostic-state.h", "graphviz.h" and
+ "analyzer/ana-state-to-diagnostic-state.h".
+ (program_state::dump_dot): New.
+ * program-state.h: Include "text-art/tree-widget.h" and
+ "analyzer/store.h".
+ (class xml::document): New forward decl.
+ (make_xml): New.
+ (dump_xml_to_pp): New.
+ (dump_xml_to_file): New.
+ (dump_xml): New.
+ (dump_dot): New.
+ * record-layout.cc (record_layout::record_layout): Make param
+ const_tree.
+ * record-layout.h (item::item): Likewise.
+ (item::m_field): Likewise.
+ (record_layout::record_layout): Likewise.
+ (record_layout::begin): New.
+ (record_layout::end): New.
+ * region-model.cc
+ (exposure_through_uninit_copy::complain_about_fully_uninit_item):
+ Use const_tree.
+ (exposure_through_uninit_copy::complain_about_partially_uninit_item):
+ Likewise.
+ * region-model.h (region_model_context::get_state): New vfunc.
+ (noop_region_model_context::get_state): New.
+ (region_model_context_decorator::get_state): New.
+ * sm-fd.cc (fd_leak::fd_leak): Add "final_state" param and capture
+ it if present.
+ (fd_leak::get_final_state): New.
+ (fd_leak::m_final_state): New.
+ (fd_state_machine::on_open): Pass nullptr for new "final_state"
+ param.
+ (fd_state_machine::on_creat): Likewise.
+ (fd_state_machine::on_socket): Likewise.
+ (fd_state_machine::on_accept): Likewise.
+ (fd_state_machine::on_leak): Add state params and pass new state
+ as final state to fd_leak ctor.
+ * sm-file.cc: Include "analyzer/program-state.h".
+ (file_leak::file_leak): Add "final_state" param and capture it if
+ present.
+ (file_leak::get_final_state): New.
+ (file_leak::m_final_state): New.
+ (fileptr_state_machine::on_leak): Add state params and pass new
+ state as final state to fd_leak ctor.
+ * sm-malloc.cc: Include
+ "analyzer/ana-state-to-diagnostic-state.h".
+ (malloc_leak::malloc_leak): Add "final_state" param and use it.
+ (malloc_leak::get_final_state): New vfunc impl.
+ (malloc_leak::m_final_state): New field.
+ (malloc_state_machine::on_leak): Add state params; capture final
+ state.
+ (malloc_state_machine::add_state_to_xml): New.
+ * sm.cc (state_machine::on_leak): Add "old_state" and "new_state"
+ params. Use nullptr.
+ (state_machine::add_state_to_xml): New.
+ (state_machine::add_global_state_to_xml): New.
+ * sm.h (class xml_state): New forward decl.
+ (state_machine::on_leak): Add state params.
+ (state_machine::add_state_to_xml): New vfunc decl.
+ (state_machine::add_global_state_to_xml): New vfunc decl.
+ * store.h (bit_range::operator<): New.
+ * varargs.cc (va_list_leak::va_list_leak): Add final_state param
+ and capture it if non-null.
+ (va_list_leak::get_final_state): New.
+ (va_list_leak::m_final_state): New.
+ (va_list_state_machine::on_leak): Add state params and pass final
+ state to va_list_leak ctor.
+
2025-06-18 David Malcolm <dmalc...@redhat.com>
* checker-event.h (checker_event::get_kind): New accessor.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 5a2e8c45066d..1d721f3b08a2 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,7 @@
+2025-06-23 Tobias Burnus <tbur...@baylibre.com>
+
+ * c-omp.cc (c_finish_oacc_wait): Handle if clause.
+
2025-06-16 Jason Merrill <ja...@redhat.com>
* c.opt: Add -Wsfinae-incomplete.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 47f828f4000c..89a3210777e2 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,7 @@
+2025-06-23 Tobias Burnus <tbur...@baylibre.com>
+
+ * c-parser.cc (OACC_WAIT_CLAUSE_MASK): Add if clause.
+
2025-06-12 Jakub Jelinek <ja...@redhat.com>
* c-lang.h (union lang_type::maybe_objc_info): New type.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4a86326ae91a..cd86f1095d31 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2025-06-23 Tobias Burnus <tbur...@baylibre.com>
+
+ * parser.cc (OACC_WAIT_CLAUSE_MASK): Ass if clause.
+
2025-06-18 Iain Sandoe <i...@sandoe.co.uk>
PR c++/115908
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 9a5ffb943156..16f453548032 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,14 @@
+2025-06-23 Tobias Burnus <tbur...@baylibre.com>
+
+ * openmp.cc (OACC_WAIT_CLAUSES): Add if clause.
+ * trans-openmp.cc (gfc_trans_oacc_wait_directive): Handle it.
+
+2025-06-23 Harald Anlauf <anl...@gmx.de>
+
+ PR fortran/120784
+ * interface.cc (gfc_match_end_interface): If a use-associated
+ symbol is renamed, use the local_name for checking.
+
2025-06-19 Mikael Morin <mik...@gcc.gnu.org>
PR fortran/120713
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4435e66fb48e..a56f85d1eb8e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,128 @@
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ PR testsuite/116163
+ PR sarif-replay/120792
+ * sarif-replay.dg/2.1.0-valid/signal-1-check-html.py: New test
+ script.
+ * sarif-replay.dg/2.1.0-valid/signal-1.c.sarif: Add html and sarif
+ generation to options. Invoke the new script to verify that HTML
+ and SARIF is generated.
+ * sarif-replay.dg/2.1.0-valid/signal-1-check-sarif-roundtrip.py: New
file.
+
+2025-06-23 Tobias Burnus <tbur...@baylibre.com>
+
+ * c-c++-common/goacc/acc-wait-1.c: New test.
+ * gfortran.dg/goacc/acc-wait-1.f90: New test.
+
+2025-06-23 Harald Anlauf <anl...@gmx.de>
+
+ PR fortran/120784
+ * gfortran.dg/interface_63.f90: New test.
+
+2025-06-23 David Malcolm <dmalc...@redhat.com>
+
+ PR other/116792
+ * g++.dg/analyzer/state-diagram.C: New test.
+ * gcc.dg/analyzer/analyzer-decls.h (__analyzer_dump_dot): New
+ decl.
+ (__analyzer_dump_xml): New decl.
+ * gcc.dg/analyzer/state-diagram-1-sarif.py: New test script.
+ * gcc.dg/analyzer/state-diagram-1.c: New test.
+ * gcc.dg/analyzer/state-diagram-2.c: New test.
+ * gcc.dg/analyzer/state-diagram-3.c: New test.
+ * gcc.dg/analyzer/state-diagram-4.c: New test.
+ * gcc.dg/analyzer/state-diagram-5-html.py: New test script.
+ * gcc.dg/analyzer/state-diagram-5-sarif.py: New test script.
+ * gcc.dg/analyzer/state-diagram-5.c: New test.
+ * gcc.dg/plugin/analyzer_cpython_plugin.cc: Define INCLUDE_STRING.
+ * gcc.dg/plugin/analyzer_gil_plugin.cc: Likewise.
+ * gcc.dg/plugin/analyzer_kernel_plugin.cc: Likewise.
+ * gcc.dg/plugin/analyzer_known_fns_plugin.cc: Likewise.
+ * lib/htmltest.py (ns): Add SVG namespace.
+ * lib/sarif.py (get_result_by_index): New.
+ (get_xml_state): New.
+
+2025-06-23 Pan Li <pan2...@intel.com>
+
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u16.c: Add asm check
+ for vsaddu.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-23 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_vsadd-run-1-u16.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vsadd-run-1-u32.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vsadd-run-1-u64.c: New test.
+ * gcc.target/riscv/rvv/autovec/vx_vf/vx_vsadd-run-1-u8.c: New test.
+
+2025-06-23 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * c-c++-common/asan/pr120608-1.c: New test.
+ * c-c++-common/asan/pr120608-2.c: New test.
+
+2025-06-23 Jakub Jelinek <ja...@redhat.com>
+
+ PR middle-end/120608
+ * g++.dg/asan/pr120608.C: New test.
+
+2025-06-23 Pengfei Li <pengfei....@arm.com>
+
+ * gcc.dg/vect/vect-early-break_133_pfa6.c: Adjust test.
+
+2025-06-23 Mikael Morin <morin-mik...@orange.fr>
+
+ * gfortran.dg/non_lvalue_1.f90: New test.
+
+2025-06-23 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/120721
+ * g++.dg/torture/pr120721.C: New test.
+
+2025-06-23 H.J. Lu <hjl.to...@gmail.com>
+
+ PR target/120728
+ * gcc.target/i386/avx512bw-vmovdqu16-1.c: Scan vmovdqu for
+ non-EVEX register operands.
+ * gcc.target/i386/avx512bw-vmovdqu8-1.c: Likewise.
+ * gcc.target/i386/avx512fp16-13.c: Likewise.
+ * gcc.target/i386/pr100865-10b.c: Likewise.
+ * gcc.target/i386/pr100865-3.c: Likewise.
+ * gcc.target/i386/pr100865-4b.c: Likewise.
+ * gcc.target/i386/pr100865-5b.c: Likewise.
+ * gcc.target/i386/pr90773-15.c: Likewise.
+ * gcc.target/i386/pr90773-16.c: Likewise.
+ * gcc.target/i386/pr90773-17.c: Likewise.
+ * gcc.target/i386/pr95483-5.c: Likewise.
+ * gcc.target/i386/pr120728.c: New test.
+
2025-06-22 Andrew Pinski <quic_apin...@quicinc.com>
PR target/119830
