https://gcc.gnu.org/g:a5d89deeaed7ba8ae42e262395a4cd31f878f3e8
commit r16-320-ga5d89deeaed7ba8ae42e262395a4cd31f878f3e8
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Thu May 1 00:19:38 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 241 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 12 +++
gcc/analyzer/ChangeLog | 6 ++
gcc/cp/ChangeLog | 30 ++++++
gcc/po/ChangeLog | 6 ++
gcc/testsuite/ChangeLog | 114 +++++++++++++++++++++++
libstdc++-v3/ChangeLog | 21 +++++
8 files changed, 431 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a2bb7c25a68f..ac8a2c6cd48d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,244 @@
+2025-04-30 Andrew Pinski <quic_apin...@quicinc.com>
+
+ PR target/120042
+ * tree-vectorizer.h: Include dominance.h.
+
+2025-04-30 David Malcolm <dmalc...@redhat.com>
+
+ * prime-paths.cc (limit_checked_add): Remove redundant trailing
+ ';'.
+ (enters_through_p): Likewise.
+
+2025-04-30 David Malcolm <dmalc...@redhat.com>
+
+ * diagnostic-format-sarif.cc
+ (sarif_serialization_format_json::write_to_file): New.
+ (sarif_builder::m_formatted): Replace field with...
+ (sarif_builder::m_serialization_format): ...this.
+ (sarif_builder::sarif_builder): Update for field change.
+ (sarif_builder::flush_to_file): Call m_serialization_format's
+ write_to_file vfunc.
+ (sarif_output_format::sarif_output_format): Replace param
+ "formatted" with "serialization_format".
+ (sarif_stream_output_format::sarif_output_format): Likewise.
+ (sarif_file_output_format::sarif_file_output_format): Likewise.
+ (diagnostic_output_format_init_sarif_stderr): Make a
+ sarif_serialization_format_json and pass it to
+ diagnostic_output_format_init_sarif.
+ (diagnostic_output_format_open_sarif_file): Split out into...
+ (diagnostic_output_file::try_to_open): ...this, adding
+ "serialization_kind" param.
+ (diagnostic_output_format_init_sarif_file): Update for new param
+ to diagnostic_output_format_open_sarif_file. Make a
+ sarif_serialization_format_json and pass it to
+ diagnostic_output_format_init_sarif.
+ (diagnostic_output_format_init_sarif_stream): Make a
+ sarif_serialization_format_json and pass it to
+ diagnostic_output_format_init_sarif.
+ (make_sarif_sink): Replace param "formatted" with "serialization".
+ (selftest::test_make_location_object): Update for changes to
+ sarif_builder ctor.
+ * diagnostic-format-sarif.h (enum class sarif_serialization): New.
+ (diagnostic_output_format_open_sarif_file): Add param
+ "serialization_kind".
+ (class sarif_serialization_format): New.
+ (class sarif_serialization_format_json): New.
+ (make_sarif_sink): Replace param "formatted" with
+ "serialization_format".
+ * diagnostic-output-file.h (diagnostic_output_file::try_to_open):
+ New decl.
+ * diagnostic.h (enum diagnostics_output_format): Tweak comments.
+ * doc/invoke.texi (-fdiagnostics-add-output): Add "serialization"
+ param to sarif scheme.
+ * libgdiagnostics.cc (sarif_sink::sarif_sink): Update for change
+ to make_sarif_sink.
+ * opts-diagnostic.cc (sarif_scheme_handler::make_sink): Add
+ "serialization" param and pass it on to make_sarif_sink.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * tree-vect-slp.cc (vect_schedule_slp_node): Sanity
+ check dominance check on operand defs.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ Revert:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * tree-vect-slp.cc (vect_slp_can_convert_to_external):
+ Handle cases where defs from multiple BBs are ordered
+ by their dominance relation.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ * tree-vectorizer.h (get_later_stmt): Robustify against
+ stmts in different BBs, assert when they are unordered.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * tree-vect-slp.cc (vect_slp_can_convert_to_external):
+ Handle cases where defs from multiple BBs are ordered
+ by their dominance relation.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR ipa/120006
+ * tree-ssa-structalias.cc (find_func_clobbers): Handle
+ strdup, strndup, realloc, index, strchr, strrchr, memchr,
+ strstr, strpbrk builtins like find_func_aliases does.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120003
+ * tree-ssa-threadbackward.cc (back_threader::find_paths_to_names):
+ Allow block re-use but do not enlarge the path beyond such a
+ re-use.
+
+2025-04-30 Georg-Johann Lay <a...@gjlay.de>
+
+ Backported from master:
+ 2025-04-30 Georg-Johann Lay <a...@gjlay.de>
+
+ * config/avr/avr.md (xload_<mode>_libgcc): Clobber R21, Z.
+
+2025-04-30 Kito Cheng <kito.ch...@sifive.com>
+
+ PR target/119832
+ * config/riscv/riscv.cc (riscv_dynamic_frm_mode_p): New.
+ (riscv_mode_confluence): New.
+ (TARGET_MODE_CONFLUENCE): Define to riscv_mode_confluence.
+
+2025-04-30 Jerry Zhang Jian <jerry.zhangj...@sifive.com>
+
+ * common/config/riscv/riscv-common.cc: Add Zve32x depends on Zicsr
+
+2025-04-30 Jennifer Schmitz <jschm...@nvidia.com>
+
+ * config/aarch64/aarch64.cc (aarch64_emit_sve_pred_move):
+ Fold LD1/ST1 with ptrue to LDR/STR for 128-bit VLS.
+
+2025-04-30 yulong <shiyul...@iscas.ac.cn>
+
+ * config/riscv/constraints.md (Ou01): New constraint.
+ (Ou02): Ditto.
+ * config/riscv/generic-vector-ooo.md (vec_sf_vcp): New reservation.
+ * config/riscv/genrvv-type-indexer.cc (main): New type.
+ * config/riscv/riscv-c.cc (riscv_pragma_intrinsic): Add xsfvcp strings.
+ * config/riscv/riscv-vector-builtins-shapes.cc (struct sf_vcix_se_def):
+ New function.
+ (struct sf_vcix_def): Ditto.
+ (SHAPE): Ditto.
+ * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
+ * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_X2_U_OPS): New
type.
+ (DEF_RVV_X2_WU_OPS): Ditto.
+ (vuint8mf8_t): Ditto.
+ (vuint8mf4_t): Ditto.
+ (vuint8mf2_t): Ditto.
+ (vuint8m1_t): Ditto.
+ (vuint8m2_t): Ditto.
+ (vuint8m4_t): Ditto.
+ (vuint16mf4_t): Ditto.
+ (vuint16mf2_t): Ditto.
+ (vuint16m1_t): Ditto.
+ (vuint16m2_t): Ditto.
+ (vuint16m4_t): Ditto.
+ (vuint32mf2_t): Ditto.
+ (vuint32m1_t): Ditto.
+ (vuint32m2_t): Ditto.
+ (vuint32m4_t): Ditto.
+ * config/riscv/riscv-vector-builtins.cc (DEF_RVV_X2_U_OPS): New builtins
+ def.
+ (DEF_RVV_X2_WU_OPS): Ditto.
+ (rvv_arg_type_info::get_scalar_float_type): Ditto.
+ (function_instance::modifies_global_state_p): Ditto.
+ * config/riscv/riscv-vector-builtins.def (v_x): New base type.
+ (i): Ditto.
+ (v_i): Ditto.
+ (xv): Ditto.
+ (iv): Ditto.
+ (fv): Ditto.
+ (vvv): Ditto.
+ (xvv): Ditto.
+ (ivv): Ditto.
+ (fvv): Ditto.
+ (vvw): Ditto.
+ (xvw): Ditto.
+ (ivw): Ditto.
+ (fvw): Ditto.
+ (v_vv): Ditto.
+ (v_xv): Ditto.
+ (v_iv): Ditto.
+ (v_fv): Ditto.
+ (v_vvv): Ditto.
+ (v_xvv): Ditto.
+ (v_ivv): Ditto.
+ (v_fvv): Ditto.
+ (v_vvw): Ditto.
+ (v_xvw): Ditto.
+ (v_ivw): Ditto.
+ (v_fvw): Ditto.
+ (x2_vector): Ditto.
+ (scalar_float): Ditto.
+ * config/riscv/riscv-vector-builtins.h (enum required_ext): New
extension.
+ (required_ext_to_isa_name): Ditto.
+ (required_extensions_specified): Ditto.
+ (struct rvv_arg_type_info): Ditto.
+ (struct function_group_info): Ditto.
+ * config/riscv/riscv.md: New attr.
+ * config/riscv/sifive-vector-builtins-bases.cc (class sf_vc): New
function.
+ (BASE): New base_name.
+ * config/riscv/sifive-vector-builtins-bases.h: New function_base.
+ * config/riscv/sifive-vector-builtins-functions.def
+ (REQUIRED_EXTENSIONS): New intrinsics def.
+ (sf_vc): Ditto.
+ * config/riscv/sifive-vector.md (@sf_vc_x_se<mode>): New RTL mode.
+ (@sf_vc_v_x_se<mode>): Ditto.
+ (@sf_vc_v_x<mode>): Ditto.
+ (@sf_vc_i_se<mode>): Ditto.
+ (@sf_vc_v_i_se<mode>): Ditto.
+ (@sf_vc_v_i<mode>): Ditto.
+ (@sf_vc_vv_se<mode>): Ditto.
+ (@sf_vc_v_vv_se<mode>): Ditto.
+ (@sf_vc_v_vv<mode>): Ditto.
+ (@sf_vc_xv_se<mode>): Ditto.
+ (@sf_vc_v_xv_se<mode>): Ditto.
+ (@sf_vc_v_xv<mode>): Ditto.
+ (@sf_vc_iv_se<mode>): Ditto.
+ (@sf_vc_v_iv_se<mode>): Ditto.
+ (@sf_vc_v_iv<mode>): Ditto.
+ (@sf_vc_fv_se<mode>): Ditto.
+ (@sf_vc_v_fv_se<mode>): Ditto.
+ (@sf_vc_v_fv<mode>): Ditto.
+ (@sf_vc_vvv_se<mode>): Ditto.
+ (@sf_vc_v_vvv_se<mode>): Ditto.
+ (@sf_vc_v_vvv<mode>): Ditto.
+ (@sf_vc_xvv_se<mode>): Ditto.
+ (@sf_vc_v_xvv_se<mode>): Ditto.
+ (@sf_vc_v_xvv<mode>): Ditto.
+ (@sf_vc_ivv_se<mode>): Ditto.
+ (@sf_vc_v_ivv_se<mode>): Ditto.
+ (@sf_vc_v_ivv<mode>): Ditto.
+ (@sf_vc_fvv_se<mode>): Ditto.
+ (@sf_vc_v_fvv_se<mode>): Ditto.
+ (@sf_vc_v_fvv<mode>): Ditto.
+ (@sf_vc_vvw_se<mode>): Ditto.
+ (@sf_vc_v_vvw_se<mode>): Ditto.
+ (@sf_vc_v_vvw<mode>): Ditto.
+ (@sf_vc_xvw_se<mode>): Ditto.
+ (@sf_vc_v_xvw_se<mode>): Ditto.
+ (@sf_vc_v_xvw<mode>): Ditto.
+ (@sf_vc_ivw_se<mode>): Ditto.
+ (@sf_vc_v_ivw_se<mode>): Ditto.
+ (@sf_vc_v_ivw<mode>): Ditto.
+ (@sf_vc_fvw_se<mode>): Ditto.
+ (@sf_vc_v_fvw_se<mode>): Ditto.
+ (@sf_vc_v_fvw<mode>): Ditto.
+ * config/riscv/vector-iterators.md: New iterator.
+ * config/riscv/vector.md: New vtype.
+
2025-04-29 Jan Hubicka <hubi...@ucw.cz>
* ipa-cp.cc (cs_interesting_for_ipcp_p): Fix handling of uninitialized
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 2848e618ec86..c95ab322f46b 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250430
+20250501
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5ec1e24cf2c2..99114025afb7 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,15 @@
+2025-04-30 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/112958
+ * Makefile.rtl (LIBGNAT_TARGET_PAIRS) [x86 FreeBSD]: Add specific
+ version of s-dorepr.adb.
+ * libgnat/s-dorepr__freebsd.adb: New file.
+
+2025-04-30 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/112958
+ * init.c (__gnat_error_handler) [__FreeBSD__]: Fix typo.
+
2025-04-27 H.J. Lu <hjl.to...@gmail.com>
PR middle-end/112877
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 40d1ff1075c2..186f35554ff3 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,9 @@
+2025-04-30 David Malcolm <dmalc...@redhat.com>
+
+ * sm-malloc.cc (malloc_diagnostic::describe_state_change): Tweak
+ the "EXPR is NULL" message for the case where EXPR is a null
+ pointer.
+
2025-04-29 Marc Poulhiès <d...@kataplop.net>
* exploded-graph.h (set_status): Rename parameter.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 480e9c43157d..a74c74d48174 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,33 @@
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/120023
+ * module.cc (depset::hash::find_dependencies): Also call
+ add_deduction_guides when walking one.
+
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/119938
+ * pt.cc (get_template_parm_object): When !check_init, add assert
+ that expr really is constant and mark decl as such.
+
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/119551
+ PR c++/119996
+ * module.cc (depset::hash::make_dependency): Also mark inline
+ variables referencing TU-local values as exposures here.
+ (depset::hash::finalize_dependencies): Add error message for
+ inline variables.
+
+2025-04-30 Patrick Palka <ppa...@redhat.com>
+
+ PR c++/119981
+ PR c++/119378
+ * pt.cc (tsubst) <case UNBOUND_CLASS_TEMPLATE>: Substitute
+ into template parameter list first. When substituting the
+ context, only set processing_template_decl if there's more
+ than one level of introduced template parameters.
+
2025-04-28 David Malcolm <dmalc...@redhat.com>
* parser.cc: Include "analyzer/analyzer-language.h".
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index 96da438e19a2..a9ed9957b659 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,9 @@
+2025-04-30 Joseph Myers <josmy...@redhat.com>
+
+ * be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po,
+ ja.po, ka.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po,
+ zh_CN.po, zh_TW.po: Update.
+
2025-04-23 Joseph Myers <josmy...@redhat.com>
* gcc.pot: Regenerate.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b196daf5e443..aa5d296884cc 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,117 @@
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/120023
+ * g++.dg/modules/dguide-7_a.C: New test.
+ * g++.dg/modules/dguide-7_b.C: New test.
+ * g++.dg/modules/dguide-7_c.C: New test.
+
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/119938
+ * g++.dg/modules/tpl-nttp-2_a.H: New test.
+ * g++.dg/modules/tpl-nttp-2_b.C: New test.
+
+2025-04-30 Nathaniel Shead <nathanielosh...@gmail.com>
+
+ PR c++/119551
+ PR c++/119996
+ * g++.dg/modules/internal-13.C: New test.
+
+2025-04-30 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/107017
+ * c-c++-common/analyzer/sprintf-3.c: New test, covering use of
+ sprintf with specific format strings. Doesn't yet find problems
+ as the analyzer doesn't yet understand the format strings.
+
+2025-04-30 David Malcolm <dmalc...@redhat.com>
+
+ * c-c++-common/analyzer/data-model-path-1.c: Check for
+ "using NULL here" message.
+ *
c-c++-common/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c:
+ Likewise. Check for "return of NULL" message.
+ * c-c++-common/analyzer/null-deref-pr108400-SoftEtherVPN-WebUi.c:
+ Likewise.
+ * gcc.dg/analyzer/data-model-5.c: Likewise.
+ * gcc.dg/analyzer/data-model-5b.c: Likewise.
+ * gcc.dg/analyzer/data-model-5c.c: Likewise.
+ * gcc.dg/analyzer/torture/pr93647.c: Likewise.
+
+2025-04-30 Richard Sandiford <richard.sandif...@arm.com>
+
+ * gcc.target/aarch64/pr115258.c: Add -mcmodel=small.
+
+2025-04-30 Patrick Palka <ppa...@redhat.com>
+
+ PR c++/119981
+ PR c++/119378
+ * g++.dg/cpp2a/lambda-targ15.C: New test.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ Revert:
+ 2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * gcc.dg/vect/bb-slp-pr119960-1.c: New testcase.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/119960
+ * gcc.dg/vect/bb-slp-pr119960-1.c: New testcase.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR ipa/120006
+ * gcc.dg/torture/pr120006.c: New testcase.
+
+2025-04-30 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/120003
+ * gcc.dg/tree-ssa/ssa-thread-23.c: New testcase.
+ * gcc.dg/tree-ssa/ssa-dom-thread-7.c: Adjust.
+
+2025-04-30 Georg-Johann Lay <a...@gjlay.de>
+
+ Backported from master:
+ 2025-04-30 Georg-Johann Lay <a...@gjlay.de>
+
+ * gcc.target/avr/torture/pr119989.h: New file.
+ * gcc.target/avr/torture/pr119989-memx-1.c: New test.
+ * gcc.target/avr/torture/pr119989-memx-2.c: New test.
+ * gcc.target/avr/torture/pr119989-memx-3.c: New test.
+ * gcc.target/avr/torture/pr119989-memx-4.c: New test.
+ * gcc.target/avr/torture/pr119989-flashx-1.c: New test.
+ * gcc.target/avr/torture/pr119989-flashx-2.c: New test.
+ * gcc.target/avr/torture/pr119989-flashx-3.c: New test.
+ * gcc.target/avr/torture/pr119989-flashx-4.c: New test.
+
+2025-04-30 Kito Cheng <kito.ch...@sifive.com>
+
+ PR target/119832
+ * g++.target/riscv/pr119832.C: New test.
+
+2025-04-30 Jerry Zhang Jian <jerry.zhangj...@sifive.com>
+
+ * gcc.target/riscv/predef-19.c: set the march to rv64im_zve32x
+ instead of rv64gc_zve32x to avoid Zicsr implied by g. Extra m is
+ added to avoid current 'V' extension requires 'M' extension
+
+2025-04-30 Jennifer Schmitz <jschm...@nvidia.com>
+
+ * gcc.target/aarch64/sve/ldst_ptrue_128_to_neon.c: New test.
+ * gcc.target/aarch64/sve/cond_arith_6.c: Adjust expected outcome.
+ * gcc.target/aarch64/sve/pcs/return_4_128.c: Likewise.
+ * gcc.target/aarch64/sve/pcs/return_5_128.c: Likewise.
+ * gcc.target/aarch64/sve/pcs/struct_3_128.c: Likewise.
+
+2025-04-30 yulong <shiyul...@iscas.ac.cn>
+
+ * gcc.target/riscv/rvv/xsfvector/sf_vc_f.c: New test.
+ * gcc.target/riscv/rvv/xsfvector/sf_vc_i.c: New test.
+ * gcc.target/riscv/rvv/xsfvector/sf_vc_v.c: New test.
+ * gcc.target/riscv/rvv/xsfvector/sf_vc_x.c: New test.
+
2025-04-29 Pengfei Li <pengfei....@arm.com>
* gcc.target/aarch64/simd/bic_orn_1.c: New file.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1c4ba7ddecd3..e54841a8a52f 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,24 @@
+2025-04-30 François Dumont <frs.dum...@gmail.com>
+ Jonathan Wakely <jwak...@redhat.com>
+
+ * testsuite/lib/libstdc++.exp (v3_target_compile): Strip version
namespace
+ from compiler output.
+ * testsuite/20_util/aligned_storage/value.cc [_GLIBCXX_INLINE_VERSION]:
+ Avoid align_msa check.
+ * testsuite/20_util/function/cons/70692.cc: Remove now useless __8
namespace
+ pattern.
+ * testsuite/23_containers/map/48101_neg.cc: Likewise.
+ * testsuite/23_containers/multimap/48101_neg.cc: Likewise.
+
+2025-04-30 Tomasz Kamiński <tkami...@redhat.com>
+
+ PR libstdc++/109162
+ * include/std/format (_Padding_sink::_M_update): Fixed condition for
+ calling _M_force_update.
+ * testsuite/std/format/debug.cc: Add test that reproduces this issue
+ on 64bit architecture.
+ * testsuite/std/format/ranges/sequence.cc: Another edge value test.
+
2025-04-29 Jonathan Wakely <jwak...@redhat.com>
* include/bits/version.def (make_obj_using_allocator): Use
