From 886afed6358774daf80fca93d3055194be2edf9f Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 12 Aug 2023 00:17:36 +0000 Subject: [PATCH] Daily bump. --- ChangeLog | 4 + config/ChangeLog | 6 ++ gcc/ChangeLog | 160 ++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 34 +++++++++ gcc/c-family/ChangeLog | 10 +++ gcc/c/ChangeLog | 10 +++ gcc/cp/ChangeLog | 30 ++++++++ gcc/testsuite/ChangeLog | 142 +++++++++++++++++++++++++++++++++++ libcc1/ChangeLog | 4 + libgcc/ChangeLog | 6 ++ libstdc++-v3/ChangeLog | 60 +++++++++++++++ 12 files changed, 467 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index c083a733503..629f74d362f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2023-08-11 Eric Feng + + * MAINTAINERS: Add myself. + 2023-08-07 Indu Bhagat * Makefile.def: Reflect that libsframe needs to installed before diff --git a/config/ChangeLog b/config/ChangeLog index a5b35866258..b42f2bc2e08 100644 --- a/config/ChangeLog +++ b/config/ChangeLog @@ -1,3 +1,9 @@ +2023-08-11 Joseph Myers + + * gcc-plugin.m4 (GCC_ENABLE_PLUGINS): Use + export_sym_check="$ac_cv_prog_OBJDUMP -T" also when host is not + build or target. + 2023-08-07 H.J. Lu * pkg.m4 (PKG_CHECK_MODULES): Use AC_TRY_LINK only if diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 526f02bb5fe..88f082f5ade 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,163 @@ +2023-08-11 David Malcolm + + PR analyzer/105899 + * doc/analyzer.texi (__analyzer_get_strlen): New. + * doc/invoke.texi: Add -Wanalyzer-unterminated-string. + +2023-08-11 Jeff Law + + * config/rx/rx.md (subdi3): Fix test for borrow. + +2023-08-11 Juzhe-Zhong + + PR middle-end/110989 + * tree-vect-stmts.cc (vectorizable_store): Replace iv_type with sizetype. + (vectorizable_load): Ditto. + +2023-08-11 Jose E. Marchesi + + * config/bpf/bpf.md (allocate_stack): Define. + * config/bpf/bpf.h (FIRST_PSEUDO_REGISTER): Make room for fake + stack pointer register. + (FIXED_REGISTERS): Adjust accordingly. + (CALL_USED_REGISTERS): Likewise. + (REG_CLASS_CONTENTS): Likewise. + (REGISTER_NAMES): Likewise. + * config/bpf/bpf.cc (bpf_compute_frame_layout): Do not reserve + space for callee-saved registers. + (bpf_expand_prologue): Do not save callee-saved registers in xbpf. + (bpf_expand_epilogue): Do not restore callee-saved registers in + xbpf. + +2023-08-11 Jose E. Marchesi + + * config/bpf/bpf.cc (bpf_function_arg_advance): Do not complain + about too many arguments if function is always inlined. + +2023-08-11 Patrick Palka + + * tree-pretty-print.cc (dump_generic_node) : + Don't call component_ref_field_offset if the RHS isn't a decl. + +2023-08-11 John David Anglin + + PR bootstrap/110646 + * gensupport.cc(class conlist): Use strtol instead of std::stoi. + +2023-08-11 Vladimir N. Makarov + + * lra-constraints.cc (goal_alt_out_sp_reload_p): New flag. + (process_alt_operands): Set the flag. + (curr_insn_transform): Modify stack pointer offsets if output + stack pointer reload is generated. + +2023-08-11 Joseph Myers + + * configure: Regenerate. + +2023-08-11 Richard Biener + + PR tree-optimization/110979 + * tree-vect-loop.cc (vectorizable_reduction): For + FOLD_LEFT_REDUCTION without target support make sure + we don't need to honor signed zeros and sign dependent rounding. + +2023-08-11 Richard Biener + + * tree-vect-slp.cc (vect_slp_region): Provide opt-info for all SLP + subgraph entries. Dump the used vector size based on the + SLP subgraph entry root vector type. + +2023-08-11 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class vfmsub_frm): New class for vfmsub frm. + (vfmsub_frm): New declaration. + (BASE): Ditto. + * config/riscv/riscv-vector-builtins-bases.h: Ditto. + * config/riscv/riscv-vector-builtins-functions.def + (vfmsub_frm): New function declaration. + +2023-08-11 Juzhe-Zhong + + * doc/md.texi: Add vec_mask_len_{load_lanes,store_lanes} patterns. + * internal-fn.cc (expand_partial_load_optab_fn): Ditto. + (expand_partial_store_optab_fn): Ditto. + * internal-fn.def (MASK_LEN_LOAD_LANES): Ditto. + (MASK_LEN_STORE_LANES): Ditto. + * optabs.def (OPTAB_CD): Ditto. + +2023-08-11 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class vfnmadd_frm): New class for vfnmadd frm. + (vfnmadd_frm): New declaration. + (BASE): Ditto. + * config/riscv/riscv-vector-builtins-bases.h: Ditto. + * config/riscv/riscv-vector-builtins-functions.def + (vfnmadd_frm): New function declaration. + +2023-08-11 Drew Ross + Jakub Jelinek + + PR tree-optimization/109938 + * match.pd (((x ^ y) & z) | x -> (z & y) | x): New simplification. + +2023-08-11 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class vfmadd_frm): New class for vfmadd frm. + (vfmadd_frm_obj): New declaration. + (BASE): Ditto. + * config/riscv/riscv-vector-builtins-bases.h: Ditto. + * config/riscv/riscv-vector-builtins-functions.def + (vfmadd_frm): New function definition. + +2023-08-11 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class vfnmsac_frm): New class for vfnmsac frm. + (vfnmsac_frm_obj): New declaration. + (BASE): Ditto. + * config/riscv/riscv-vector-builtins-bases.h: Ditto. + * config/riscv/riscv-vector-builtins-functions.def + (vfnmsac_frm): New function definition. + +2023-08-11 Jakub Jelinek + + * doc/extend.texi (Typeof): Document typeof_unqual + and __typeof_unqual__. + +2023-08-11 Andrew Pinski + + PR tree-optimization/110954 + * generic-match-head.cc (bitwise_inverted_equal_p): Add + wascmp argument and set it accordingly. + * gimple-match-head.cc (bitwise_inverted_equal_p): Add + wascmp argument to the macro. + (gimple_bitwise_inverted_equal_p): Add + wascmp argument and set it accordingly. + * match.pd (`a & ~a`, `a ^| ~a`): Update call + to bitwise_inverted_equal_p and handle wascmp case. + (`(~x | y) & x`, `(~x | y) & x`, `a?~t:t`): Update + call to bitwise_inverted_equal_p and check to see + if was !wascmp or if precision was 1. + +2023-08-11 Martin Uecker + + PR c/84510 + * doc/invoke.texi: Update. + +2023-08-11 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class vfmsac_frm): New class for vfmsac frm. + (vfmsac_frm_obj): New declaration. + (BASE): Ditto. + * config/riscv/riscv-vector-builtins-bases.h: Ditto. + * config/riscv/riscv-vector-builtins-functions.def + (vfmsac_frm): New function definition + 2023-08-10 Jan Hubicka PR middle-end/110923 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index fa6960c56ad..23c3329c01e 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230811 +20230812 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index de8a16da4e8..1f9bc098302 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,37 @@ +2023-08-11 David Malcolm + + PR analyzer/105899 + * analyzer.opt (Wanalyzer-unterminated-string): New. + * call-details.cc + (call_details::check_for_null_terminated_string_arg): New. + * call-details.h + (call_details::check_for_null_terminated_string_arg): New decl. + * kf-analyzer.cc (class kf_analyzer_get_strlen): New. + (register_known_analyzer_functions): Register it. + * kf.cc (kf_error::impl_call_pre): Check that format arg is a + valid null-terminated string. + (kf_putenv::impl_call_pre): Likewise for the sole param. + (kf_strchr::impl_call_pre): Likewise for the first param. + (kf_strcpy::impl_call_pre): Likewise for the second param. + (kf_strdup::impl_call_pre): Likewise for the sole param. + * region-model.cc (get_strlen): New. + (struct call_arg_details): New. + (inform_about_expected_null_terminated_string_arg): New. + (class unterminated_string_arg): New. + (region_model::check_for_null_terminated_string_arg): New. + * region-model.h + (region_model::check_for_null_terminated_string_arg): New decl. + +2023-08-11 Eric Feng + + PR analyzer/107646 + * call-details.h: New function. + * region-model.cc (region_model::get_or_create_region_for_heap_alloc): + New optional parameters. + * region-model.h (class region_model): New optional parameters. + * sm-malloc.cc (on_realloc_with_move): New function. + (region_model::transition_ptr_sval_non_null): New function. + 2023-08-09 David Malcolm * analyzer.h (class pure_known_function_with_default_return): New diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index a067b12b038..25b96723ac7 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,13 @@ +2023-08-11 Jakub Jelinek + + * c-common.cc (c_common_reswords): Add __typeof_unqual + and __typeof_unqual__ spellings of typeof_unqual. + +2023-08-11 Martin Uecker + + PR c/84510 + * c.opt: Enable warning for C and ObjC. + 2023-08-05 Martin Uecker PR c/98536 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 1e850f602f2..604b599b850 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,13 @@ +2023-08-11 Jakub Jelinek + + * c-parser.cc (c_parser_typeof_specifier): Handle + __typeof_unqual and __typeof_unqual__ as !is_std. + +2023-08-11 Martin Uecker + + PR c/84510 + * c-typeck.cc (build_c_cast): Add warning. + 2023-08-05 Martin Uecker * c-parser.cc (c_parser_generic_selection): Inhibit evaluation diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 22efce72ef9..6787769640e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,33 @@ +2023-08-11 Patrick Palka + + PR c++/110927 + * parser.cc (cp_parser_type_requirement): Pass + check_dependency_p=true instead of =false. + +2023-08-11 Patrick Palka + + PR c++/71954 + * decl.cc (grokdeclarator): Pass 'dname' instead of + 'unqualified_id' as the name when building the VAR_DECL for a + static data member. Call check_explicit_specialization for a + TEMPLATE_ID_EXPR such member. + * pt.cc (finish_member_template_decl): Return NULL_TREE + instead of 'decl' when DECL_TEMPLATE_SPECIALIZATION is not + set. + +2023-08-11 Patrick Palka + + * ptree.cc (cxx_print_decl): Check for DECL_LANG_SPECIFIC and + TS_DECL_COMMON only when necessary. Print DECL_TEMPLATE_INFO + for all decls that have it, not just VAR_DECL or FUNCTION_DECL. + Also print DECL_USE_TEMPLATE. + (cxx_print_type): Print TYPE_TEMPLATE_INFO. + : Don't print TYPE_TI_ARGS + anymore. + : Print TEMPLATE_TYPE_PARM_INDEX + instead of printing the index, level and original level + individually. + 2023-08-08 Marek Polacek * parser.cc (cp_parser_postfix_expression): Adjust the call to diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d9d182a96a0..152de7ed50a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,145 @@ +2023-08-11 David Malcolm + + PR analyzer/105899 + * gcc.dg/analyzer/analyzer-decls.h (__analyzer_get_strlen): New. + * gcc.dg/analyzer/error-1.c (test_error_unterminated): New. + (test_error_at_line_unterminated): New. + * gcc.dg/analyzer/null-terminated-strings-1.c: New test. + * gcc.dg/analyzer/putenv-1.c (test_unterminated): New. + * gcc.dg/analyzer/strchr-1.c (test_unterminated): New. + * gcc.dg/analyzer/strcpy-1.c (test_unterminated): New. + * gcc.dg/analyzer/strdup-1.c (test_unterminated): New. + +2023-08-11 Juzhe-Zhong + + PR middle-end/110989 + * gcc.target/riscv/rvv/autovec/pr110989.c: New test. + +2023-08-11 Patrick O'Neill + + * gcc.target/riscv/amo-table-ztso-amo-add-1.c: Add -mabi=lp64d + to dg-options. + * gcc.target/riscv/amo-table-ztso-amo-add-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-amo-add-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-amo-add-4.c: Ditto. + * gcc.target/riscv/amo-table-ztso-amo-add-5.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-1.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-4.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-5.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-6.c: Ditto. + * gcc.target/riscv/amo-table-ztso-compare-exchange-7.c: Ditto. + * gcc.target/riscv/amo-table-ztso-fence-1.c: Ditto. + * gcc.target/riscv/amo-table-ztso-fence-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-fence-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-fence-4.c: Ditto. + * gcc.target/riscv/amo-table-ztso-fence-5.c: Ditto. + * gcc.target/riscv/amo-table-ztso-load-1.c: Ditto. + * gcc.target/riscv/amo-table-ztso-load-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-load-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-store-1.c: Ditto. + * gcc.target/riscv/amo-table-ztso-store-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-store-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-subword-amo-add-1.c: Ditto. + * gcc.target/riscv/amo-table-ztso-subword-amo-add-2.c: Ditto. + * gcc.target/riscv/amo-table-ztso-subword-amo-add-3.c: Ditto. + * gcc.target/riscv/amo-table-ztso-subword-amo-add-4.c: Ditto. + * gcc.target/riscv/amo-table-ztso-subword-amo-add-5.c: Ditto. + +2023-08-11 Jose E. Marchesi + + * lib/target-supports.exp (check_effective_target_alloca): BPF + target does not support alloca. + * gcc.target/bpf/diag-alloca-1.c: New test. + * gcc.target/bpf/diag-alloca-2.c: Likewise. + * gcc.target/bpf/xbpf-callee-saved-regs-1.c: Remove test. + * gcc.target/bpf/xbpf-callee-saved-regs-2.c: Likewise. + * gcc.target/bpf/regs-availability-1.c: Likewise. + +2023-08-11 Jose E. Marchesi + + * gcc.target/bpf/diag-funargs-inline-1.c: New test. + * gcc.target/bpf/diag-funargs.c: Adapt test. + +2023-08-11 Eric Feng + + PR analyzer/107646 + * gcc.dg/plugin/analyzer_cpython_plugin.c: Analyzer support for + PyList_New, PyList_Append, PyLong_FromLong + * gcc.dg/plugin/plugin.exp: New test. + * lib/target-supports.exp: New procedure. + * gcc.dg/plugin/cpython-plugin-test-2.c: New test. + +2023-08-11 Patrick Palka + + PR c++/110927 + * g++.dg/cpp2a/concepts-requires35.C: New test. + +2023-08-11 Patrick Palka + + PR c++/71954 + * g++.dg/cpp1y/var-templ84.C: New test. + * g++.dg/cpp1y/var-templ84a.C: New test. + +2023-08-11 Richard Biener + + PR tree-optimization/110979 + * gcc.dg/torture/pr110979.c: New testcase. + +2023-08-11 Richard Biener + + * g++.dg/vect/slp-pr87105.cc: Adjust. + * gcc.dg/vect/bb-slp-17.c: Likewise. + * gcc.dg/vect/bb-slp-20.c: Likewise. + * gcc.dg/vect/bb-slp-21.c: Likewise. + * gcc.dg/vect/bb-slp-22.c: Likewise. + * gcc.dg/vect/bb-slp-subgroups-2.c: Likewise. + +2023-08-11 Pan Li + + * gcc.target/riscv/rvv/base/float-point-msub.c: New test. + +2023-08-11 Pan Li + + * gcc.target/riscv/rvv/base/float-point-nmadd.c: New test. + +2023-08-11 Drew Ross + Jakub Jelinek + + PR tree-optimization/109938 + * gcc.c-torture/execute/pr109938.c: New test. + * gcc.dg/tree-ssa/pr109938.c: New test. + +2023-08-11 Pan Li + + * gcc.target/riscv/rvv/base/float-point-madd.c: New test. + +2023-08-11 Pan Li + + * gcc.target/riscv/rvv/base/float-point-nmsac.c: New test. + +2023-08-11 Jakub Jelinek + + * gcc.dg/c11-typeof-2.c: New test. + * gcc.dg/c11-typeof-3.c: New test. + * gcc.dg/gnu11-typeof-3.c: New test. + * gcc.dg/gnu11-typeof-4.c: New test. + +2023-08-11 Andrew Pinski + + PR tree-optimization/110954 + * gcc.c-torture/execute/pr110954-1.c: New test. + +2023-08-11 Martin Uecker + + PR c/84510 + * gcc.dg/Wuseless-cast.c: New test. + +2023-08-11 Pan Li + + * gcc.target/riscv/rvv/base/float-point-msac.c: New test. + 2023-08-10 Jan Hubicka PR middle-end/110923 diff --git a/libcc1/ChangeLog b/libcc1/ChangeLog index 636d817811d..6366a5dc03d 100644 --- a/libcc1/ChangeLog +++ b/libcc1/ChangeLog @@ -1,3 +1,7 @@ +2023-08-11 Joseph Myers + + * configure: Regenerate. + 2023-08-07 Nick Alcock * configure: Regenerate. diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 22451541ba1..53c48ee8cd7 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,9 @@ +2023-08-11 Thomas Neumann + + PR libgcc/110956 + * unwind-dw2-fde.c: Associate object with address of unwinding + table. + 2023-08-07 John Ericson * configure: Regenerate. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5820b7a852a..dfc9c12cff1 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,63 @@ +2023-08-11 Jonathan Wakely + + PR libstdc++/110990 + * include/std/format (_Seq_sink::get): Only call _M_overflow if + its precondition is met. + (_Iter_sink::_M_finish): Likewise. + (_Iter_sink::_M_overflow): Only switch to the + internal buffer after running out of space. + (_Iter_sink::_M_finish): Do not use _M_overflow. + (_Counting_sink::count): Likewise. + * testsuite/std/format/functions/format_to_n.cc: Check cases + where the output fits into the buffer. + +2023-08-11 Jonathan Wakely + + PR libstdc++/104167 + * include/bits/chrono_io.h (operator|=, operator|): Add noexcept + to _ChronoParts operators. + (from_stream, parse): Define new functions. + (__detail::_Parse, __detail::_Parser): New class templates. + * include/std/chrono (__cpp_lib_chrono): Define to 201907L for + C++20. + * include/std/version (__cpp_lib_chrono): Likewise. + * testsuite/20_util/duration/arithmetic/constexpr_c++17.cc: + Adjust expected value of feature test macro. + * testsuite/20_util/duration/io.cc: Test parsing. + * testsuite/std/time/clock/file/io.cc: Likewise. + * testsuite/std/time/clock/gps/io.cc: Likewise. + * testsuite/std/time/clock/system/io.cc: Likewise. + * testsuite/std/time/clock/tai/io.cc: Likewise. + * testsuite/std/time/clock/utc/io.cc: Likewise. + * testsuite/std/time/day/io.cc: Likewise. + * testsuite/std/time/month/io.cc: Likewise. + * testsuite/std/time/month_day/io.cc: Likewise. + * testsuite/std/time/weekday/io.cc: Likewise. + * testsuite/std/time/year/io.cc: Likewise. + * testsuite/std/time/year_month/io.cc: Likewise. + * testsuite/std/time/year_month_day/io.cc: Likewise. + * testsuite/std/time/syn_c++20.cc: Check value of macro and for + the existence of parse and from_stream in namespace chrono. + * testsuite/std/time/clock/local/io.cc: New test. + * testsuite/std/time/parse.cc: New test. + +2023-08-11 Jonathan Wakely + + PR libstdc++/110860 + * include/std/format (__formatter_fp::format): Do not call log10 + with zero values. + +2023-08-11 Jonathan Wakely + + * python/libstdcxx/v6/printers.py (StdChronoCalendarPrinter): + Check for out-of-range month an weekday indices. + * testsuite/libstdc++-prettyprinters/chrono.cc: Check invalid + month and weekday values. + +2023-08-11 Jonathan Wakely + + * include/bits/stl_iterator.h (__clamped_iter_cat_t): Remove. + 2023-08-10 Jonathan Wakely PR libstdc++/110974