Daily bump.

This commit is contained in:
GCC Administrator 2023-08-12 00:17:36 +00:00
parent 003016a408
commit 886afed635
12 changed files with 467 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2023-08-11 Eric Feng <ef2648@columbia.edu>
* MAINTAINERS: Add myself.
2023-08-07 Indu Bhagat <indu.bhagat@oracle.com>
* Makefile.def: Reflect that libsframe needs to installed before

View File

@ -1,3 +1,9 @@
2023-08-11 Joseph Myers <joseph@codesourcery.com>
* 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 <hjl.tools@gmail.com>
* pkg.m4 (PKG_CHECK_MODULES): Use AC_TRY_LINK only if

View File

@ -1,3 +1,163 @@
2023-08-11 David Malcolm <dmalcolm@redhat.com>
PR analyzer/105899
* doc/analyzer.texi (__analyzer_get_strlen): New.
* doc/invoke.texi: Add -Wanalyzer-unterminated-string.
2023-08-11 Jeff Law <jlaw@ventanamicro.com>
* config/rx/rx.md (subdi3): Fix test for borrow.
2023-08-11 Juzhe-Zhong <juzhe.zhong@rivai.ai>
PR middle-end/110989
* tree-vect-stmts.cc (vectorizable_store): Replace iv_type with sizetype.
(vectorizable_load): Ditto.
2023-08-11 Jose E. Marchesi <jose.marchesi@oracle.com>
* 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 <jose.marchesi@oracle.com>
* 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 <ppalka@redhat.com>
* tree-pretty-print.cc (dump_generic_node) <case COMPONENT_REF>:
Don't call component_ref_field_offset if the RHS isn't a decl.
2023-08-11 John David Anglin <danglin@gcc.gnu.org>
PR bootstrap/110646
* gensupport.cc(class conlist): Use strtol instead of std::stoi.
2023-08-11 Vladimir N. Makarov <vmakarov@redhat.com>
* 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 <joseph@codesourcery.com>
* configure: Regenerate.
2023-08-11 Richard Biener <rguenther@suse.de>
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 <rguenther@suse.de>
* 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 <pan2.li@intel.com>
* 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 <juzhe.zhong@rivai.ai>
* 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 <pan2.li@intel.com>
* 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 <drross@redhat.com>
Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/109938
* match.pd (((x ^ y) & z) | x -> (z & y) | x): New simplification.
2023-08-11 Pan Li <pan2.li@intel.com>
* 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 <pan2.li@intel.com>
* 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 <jakub@redhat.com>
* doc/extend.texi (Typeof): Document typeof_unqual
and __typeof_unqual__.
2023-08-11 Andrew Pinski <apinski@marvell.com>
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 <uecker@tugraz.at>
PR c/84510
* doc/invoke.texi: Update.
2023-08-11 Pan Li <pan2.li@intel.com>
* 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 <jh@suse.cz>
PR middle-end/110923

View File

@ -1 +1 @@
20230811
20230812

View File

@ -1,3 +1,37 @@
2023-08-11 David Malcolm <dmalcolm@redhat.com>
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 <ef2648@columbia.edu>
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 <dmalcolm@redhat.com>
* analyzer.h (class pure_known_function_with_default_return): New

View File

@ -1,3 +1,13 @@
2023-08-11 Jakub Jelinek <jakub@redhat.com>
* c-common.cc (c_common_reswords): Add __typeof_unqual
and __typeof_unqual__ spellings of typeof_unqual.
2023-08-11 Martin Uecker <uecker@tugraz.at>
PR c/84510
* c.opt: Enable warning for C and ObjC.
2023-08-05 Martin Uecker <uecker@tugraz.at>
PR c/98536

View File

@ -1,3 +1,13 @@
2023-08-11 Jakub Jelinek <jakub@redhat.com>
* c-parser.cc (c_parser_typeof_specifier): Handle
__typeof_unqual and __typeof_unqual__ as !is_std.
2023-08-11 Martin Uecker <uecker@tugraz.at>
PR c/84510
* c-typeck.cc (build_c_cast): Add warning.
2023-08-05 Martin Uecker <uecker@tugraz.at>
* c-parser.cc (c_parser_generic_selection): Inhibit evaluation

View File

@ -1,3 +1,33 @@
2023-08-11 Patrick Palka <ppalka@redhat.com>
PR c++/110927
* parser.cc (cp_parser_type_requirement): Pass
check_dependency_p=true instead of =false.
2023-08-11 Patrick Palka <ppalka@redhat.com>
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 <ppalka@redhat.com>
* 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.
<case BOUND_TEMPLATE_TEMPLATE_PARM>: Don't print TYPE_TI_ARGS
anymore.
<case TEMPLATE_TYPE/TEMPLATE_PARM>: Print TEMPLATE_TYPE_PARM_INDEX
instead of printing the index, level and original level
individually.
2023-08-08 Marek Polacek <polacek@redhat.com>
* parser.cc (cp_parser_postfix_expression): Adjust the call to

View File

@ -1,3 +1,145 @@
2023-08-11 David Malcolm <dmalcolm@redhat.com>
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 <juzhe.zhong@rivai.ai>
PR middle-end/110989
* gcc.target/riscv/rvv/autovec/pr110989.c: New test.
2023-08-11 Patrick O'Neill <patrick@rivosinc.com>
* 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 <jose.marchesi@oracle.com>
* 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 <jose.marchesi@oracle.com>
* gcc.target/bpf/diag-funargs-inline-1.c: New test.
* gcc.target/bpf/diag-funargs.c: Adapt test.
2023-08-11 Eric Feng <ef2648@columbia.edu>
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 <ppalka@redhat.com>
PR c++/110927
* g++.dg/cpp2a/concepts-requires35.C: New test.
2023-08-11 Patrick Palka <ppalka@redhat.com>
PR c++/71954
* g++.dg/cpp1y/var-templ84.C: New test.
* g++.dg/cpp1y/var-templ84a.C: New test.
2023-08-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/110979
* gcc.dg/torture/pr110979.c: New testcase.
2023-08-11 Richard Biener <rguenther@suse.de>
* 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 <pan2.li@intel.com>
* gcc.target/riscv/rvv/base/float-point-msub.c: New test.
2023-08-11 Pan Li <pan2.li@intel.com>
* gcc.target/riscv/rvv/base/float-point-nmadd.c: New test.
2023-08-11 Drew Ross <drross@redhat.com>
Jakub Jelinek <jakub@redhat.com>
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 <pan2.li@intel.com>
* gcc.target/riscv/rvv/base/float-point-madd.c: New test.
2023-08-11 Pan Li <pan2.li@intel.com>
* gcc.target/riscv/rvv/base/float-point-nmsac.c: New test.
2023-08-11 Jakub Jelinek <jakub@redhat.com>
* 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 <apinski@marvell.com>
PR tree-optimization/110954
* gcc.c-torture/execute/pr110954-1.c: New test.
2023-08-11 Martin Uecker <uecker@tugraz.at>
PR c/84510
* gcc.dg/Wuseless-cast.c: New test.
2023-08-11 Pan Li <pan2.li@intel.com>
* gcc.target/riscv/rvv/base/float-point-msac.c: New test.
2023-08-10 Jan Hubicka <jh@suse.cz>
PR middle-end/110923

View File

@ -1,3 +1,7 @@
2023-08-11 Joseph Myers <joseph@codesourcery.com>
* configure: Regenerate.
2023-08-07 Nick Alcock <nick.alcock@oracle.com>
* configure: Regenerate.

View File

@ -1,3 +1,9 @@
2023-08-11 Thomas Neumann <thomas.neumann@in.tum.de>
PR libgcc/110956
* unwind-dw2-fde.c: Associate object with address of unwinding
table.
2023-08-07 John Ericson <git@JohnEricson.me>
* configure: Regenerate.

View File

@ -1,3 +1,63 @@
2023-08-11 Jonathan Wakely <jwakely@redhat.com>
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<C, ContigIter>::_M_overflow): Only switch to the
internal buffer after running out of space.
(_Iter_sink<C, ContigIter>::_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 <jwakely@redhat.com>
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 <jwakely@redhat.com>
PR libstdc++/110860
* include/std/format (__formatter_fp::format): Do not call log10
with zero values.
2023-08-11 Jonathan Wakely <jwakely@redhat.com>
* 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 <jwakely@redhat.com>
* include/bits/stl_iterator.h (__clamped_iter_cat_t): Remove.
2023-08-10 Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/110974