diff options
| -rw-r--r-- | gcc/ChangeLog | 241 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 12 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 30 | ||||
| -rw-r--r-- | gcc/po/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 114 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 21 |
8 files changed, 431 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a2bb7c25..ac8a2c6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,244 @@ +2025-04-30 Andrew Pinski <quic_apinski@quicinc.com> + + PR target/120042 + * tree-vectorizer.h: Include dominance.h. + +2025-04-30 David Malcolm <dmalcolm@redhat.com> + + * prime-paths.cc (limit_checked_add): Remove redundant trailing + ';'. + (enters_through_p): Likewise. + +2025-04-30 David Malcolm <dmalcolm@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 <rguenther@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 <rguenther@suse.de> + + Revert: + 2025-04-30 Richard Biener <rguenther@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 <rguenther@suse.de> + + * tree-vectorizer.h (get_later_stmt): Robustify against + stmts in different BBs, assert when they are unordered. + +2025-04-30 Richard Biener <rguenther@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 <rguenther@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 <rguenther@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 <avr@gjlay.de> + + Backported from master: + 2025-04-30 Georg-Johann Lay <avr@gjlay.de> + + * config/avr/avr.md (xload_<mode>_libgcc): Clobber R21, Z. + +2025-04-30 Kito Cheng <kito.cheng@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.zhangjian@sifive.com> + + * common/config/riscv/riscv-common.cc: Add Zve32x depends on Zicsr + +2025-04-30 Jennifer Schmitz <jschmitz@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 <shiyulong@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 <hubicka@ucw.cz> * ipa-cp.cc (cs_interesting_for_ipcp_p): Fix handling of uninitialized diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2848e61..c95ab32 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20250430 +20250501 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5ec1e24..9911402 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,15 @@ +2025-04-30 Eric Botcazou <ebotcazou@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 <ebotcazou@adacore.com> + + PR ada/112958 + * init.c (__gnat_error_handler) [__FreeBSD__]: Fix typo. + 2025-04-27 H.J. Lu <hjl.tools@gmail.com> PR middle-end/112877 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 40d1ff1..186f355 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,9 @@ +2025-04-30 David Malcolm <dmalcolm@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 <dkm@kataplop.net> * exploded-graph.h (set_status): Rename parameter. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 480e9c4..a74c74d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,33 @@ +2025-04-30 Nathaniel Shead <nathanieloshead@gmail.com> + + PR c++/120023 + * module.cc (depset::hash::find_dependencies): Also call + add_deduction_guides when walking one. + +2025-04-30 Nathaniel Shead <nathanieloshead@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 <nathanieloshead@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 <ppalka@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 <dmalcolm@redhat.com> * parser.cc: Include "analyzer/analyzer-language.h". diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index 96da438..a9ed995 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,9 @@ +2025-04-30 Joseph Myers <josmyers@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 <josmyers@redhat.com> * gcc.pot: Regenerate. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b196daf..aa5d296 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,117 @@ +2025-04-30 Nathaniel Shead <nathanieloshead@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 <nathanieloshead@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 <nathanieloshead@gmail.com> + + PR c++/119551 + PR c++/119996 + * g++.dg/modules/internal-13.C: New test. + +2025-04-30 David Malcolm <dmalcolm@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 <dmalcolm@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.sandiford@arm.com> + + * gcc.target/aarch64/pr115258.c: Add -mcmodel=small. + +2025-04-30 Patrick Palka <ppalka@redhat.com> + + PR c++/119981 + PR c++/119378 + * g++.dg/cpp2a/lambda-targ15.C: New test. + +2025-04-30 Richard Biener <rguenther@suse.de> + + Revert: + 2025-04-30 Richard Biener <rguenther@suse.de> + + PR tree-optimization/119960 + * gcc.dg/vect/bb-slp-pr119960-1.c: New testcase. + +2025-04-30 Richard Biener <rguenther@suse.de> + + PR tree-optimization/119960 + * gcc.dg/vect/bb-slp-pr119960-1.c: New testcase. + +2025-04-30 Richard Biener <rguenther@suse.de> + + PR ipa/120006 + * gcc.dg/torture/pr120006.c: New testcase. + +2025-04-30 Richard Biener <rguenther@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 <avr@gjlay.de> + + Backported from master: + 2025-04-30 Georg-Johann Lay <avr@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.cheng@sifive.com> + + PR target/119832 + * g++.target/riscv/pr119832.C: New test. + +2025-04-30 Jerry Zhang Jian <jerry.zhangjian@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 <jschmitz@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 <shiyulong@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.Li2@arm.com> * gcc.target/aarch64/simd/bic_orn_1.c: New file. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 1c4ba7d..e54841a 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,24 @@ +2025-04-30 François Dumont <frs.dumont@gmail.com> + Jonathan Wakely <jwakely@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 <tkaminsk@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 <jwakely@redhat.com> * include/bits/version.def (make_obj_using_allocator): Use |