From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id F3CEA3858D35; Fri, 30 Jun 2023 00:18:20 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F3CEA3858D35 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1688084302; bh=S4DyCLzbiXPSMaldVfwVEFmfeiwdEmOHR/PG5Be2v+k=; h=From:To:Subject:Date:From; b=Ow/qSdQkDMn9ES6QDgiV6D3YEi521Ni5l3VDwZvlndcI2d1BQu/cKaA2+CzhcADAQ jfNHq/zI7PEErqmFcBWIwrtGNfici7Yne/+fYDrVDCKxjYrftLMpw6sErbc5qfmX0Y FGIEMPaYNsLoy2OT97ZmyTDCzIqn971e0uxFrL9U= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r14-2204] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 1eb90f46c16453f72dc119ba20b07053a15b452d X-Git-Newrev: 14bfda6084eaca07c842566a34316974907958e2 Message-Id: <20230630001821.F3CEA3858D35@sourceware.org> Date: Fri, 30 Jun 2023 00:18:20 +0000 (GMT) List-Id: https://gcc.gnu.org/g:14bfda6084eaca07c842566a34316974907958e2 commit r14-2204-g14bfda6084eaca07c842566a34316974907958e2 Author: GCC Administrator Date: Fri Jun 30 00:17:51 2023 +0000 Daily bump. Diff: --- ChangeLog | 5 ++ gcc/ChangeLog | 152 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 4 ++ gcc/analyzer/ChangeLog | 12 ++++ gcc/c-family/ChangeLog | 5 ++ gcc/c/ChangeLog | 21 +++++++ gcc/cp/ChangeLog | 45 ++++++++++++++ gcc/lto/ChangeLog | 11 ++++ gcc/testsuite/ChangeLog | 74 +++++++++++++++++++++++ libstdc++-v3/ChangeLog | 21 +++++++ 11 files changed, 351 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 96a4056e42c..6c3f4b159d4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2023-06-29 Eugene Rozenfeld + + * Makefile.in: Remove -gtoggle for STAGEautoprofile + * Makefile.tpl: Remove -gtoggle for STAGEautoprofile + 2023-06-25 Lehua Ding * MAINTAINERS: Add Lehua Ding to write after approval diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ab319b88dd9..55d20f576ed 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,155 @@ +2023-06-29 Jan Hubicka + + PR tree-optimization/109849 + * ipa-fnsummary.cc (decompose_param_expr): Skip + functions returning its parameter. + (set_cond_stmt_execution_predicate): Return early + if predicate was constructed. + +2023-06-29 Qing Zhao + + PR c/77650 + * doc/extend.texi: Document GCC extension on a structure containing + a flexible array member to be a member of another structure. + +2023-06-29 Qing Zhao + + * print-tree.cc (print_node): Print new bit type_include_flexarray. + * tree-core.h (struct tree_type_common): Use bit no_named_args_stdarg_p + as type_include_flexarray for RECORD_TYPE or UNION_TYPE. + * tree-streamer-in.cc (unpack_ts_type_common_value_fields): Stream + in bit no_named_args_stdarg_p properly for its corresponding type. + * tree-streamer-out.cc (pack_ts_type_common_value_fields): Stream + out bit no_named_args_stdarg_p properly for its corresponding type. + * tree.h (TYPE_INCLUDES_FLEXARRAY): New macro TYPE_INCLUDES_FLEXARRAY. + +2023-06-29 Aldy Hernandez + + * tree-vrp.cc (maybe_set_nonzero_bits): Move from here... + * tree-ssa-dom.cc (maybe_set_nonzero_bits): ...to here. + * tree-vrp.h (maybe_set_nonzero_bits): Remove. + +2023-06-29 Aldy Hernandez + + * value-range.cc (frange::set): Do not call verify_range. + (frange::normalize_kind): Verify range. + (frange::union_nans): Do not call verify_range. + (frange::union_): Same. + (frange::intersect): Same. + (irange::irange_single_pair_union): Call normalize_kind if + necessary. + (irange::union_): Same. + (irange::intersect): Same. + (irange::set_range_from_nonzero_bits): Verify range. + (irange::set_nonzero_bits): Call normalize_kind if necessary. + (irange::get_nonzero_bits): Tweak comment. + (irange::intersect_nonzero_bits): Call normalize_kind if + necessary. + (irange::union_nonzero_bits): Same. + * value-range.h (irange::normalize_kind): Verify range. + +2023-06-29 Uros Bizjak + + * cselib.h (rtx_equal_for_cselib_1): + Change return type from int to bool. + (references_value_p): Ditto. + (rtx_equal_for_cselib_p): Ditto. + * expr.h (can_store_by_pieces): Ditto. + (try_casesi): Ditto. + (try_tablejump): Ditto. + (safe_from_p): Ditto. + * sbitmap.h (bitmap_equal_p): Ditto. + * cselib.cc (references_value_p): Change return type + from int to void and adjust function body accordingly. + (rtx_equal_for_cselib_1): Ditto. + * expr.cc (is_aligning_offset): Ditto. + (can_store_by_pieces): Ditto. + (mostly_zeros_p): Ditto. + (all_zeros_p): Ditto. + (safe_from_p): Ditto. + (is_aligning_offset): Ditto. + (try_casesi): Ditto. + (try_tablejump): Ditto. + (store_constructor): Change "need_to_clear" and + "const_bounds_p" variables to bool. + * sbitmap.cc (bitmap_equal_p): Change return type from int to bool. + +2023-06-29 Robin Dapp + + * tree-ssa-math-opts.cc (divmod_candidate_p): Use + element_precision. + +2023-06-29 Richard Biener + + PR tree-optimization/110460 + * tree-vect-stmts.cc (get_related_vectype_for_scalar_type): + Only allow integral, pointer and scalar float type scalar_type. + +2023-06-29 Lili Cui + + PR tree-optimization/110148 + * tree-ssa-reassoc.cc (rewrite_expr_tree_parallel): Handle loop-carried + ops in this function. + +2023-06-29 Richard Biener + + PR middle-end/110452 + * expr.cc (store_constructor): Handle uniform boolean + vectors with integer mode specially. + +2023-06-29 Richard Biener + + PR middle-end/110461 + * match.pd (bitop (convert@2 @0) (convert?@3 @1)): Disable + for VECTOR_TYPE_P. + +2023-06-29 Richard Sandiford + + * vec.h (gt_pch_nx): Add overloads for va_gc_atomic. + (array_slice): Relax va_gc constructor to handle all vectors + with a vl_embed layout. + +2023-06-29 Pan Li + + * config/riscv/riscv.cc (riscv_emit_mode_set): Add emit for FRM. + (riscv_mode_needed): Likewise. + (riscv_entity_mode_after): Likewise. + (riscv_mode_after): Likewise. + (riscv_mode_entry): Likewise. + (riscv_mode_exit): Likewise. + * config/riscv/riscv.h (NUM_MODES_FOR_MODE_SWITCHING): Add number + for FRM. + * config/riscv/riscv.md: Add FRM register. + * config/riscv/vector-iterators.md: Add FRM type. + * config/riscv/vector.md (frm_mode): Define new attr for FRM mode. + (fsrm): Define new insn for fsrm instruction. + +2023-06-29 Pan Li + + * config/riscv/riscv-protos.h (enum floating_point_rounding_mode): + Add macro for static frm min and max. + * config/riscv/riscv-vector-builtins-bases.cc + (class binop_frm): New class for floating-point with frm. + (BASE): Add vfadd for frm. + * config/riscv/riscv-vector-builtins-bases.h: Likewise. + * config/riscv/riscv-vector-builtins-functions.def + (vfadd_frm): Likewise. + * config/riscv/riscv-vector-builtins-shapes.cc + (struct alu_frm_def): New struct for alu with frm. + (SHAPE): Add alu with frm. + * config/riscv/riscv-vector-builtins-shapes.h: Likewise. + * config/riscv/riscv-vector-builtins.cc + (function_checker::report_out_of_range_and_not): New function + for report out of range and not val. + (function_checker::require_immediate_range_or): New function + for checking in range or one val. + * config/riscv/riscv-vector-builtins.h: Add function decl. + +2023-06-29 Cui, Lili + + * common/config/i386/cpuinfo.h (get_intel_cpu): Remove model value 0xa8 + from Rocketlake, move model value 0xbf from Alderlake to Raptorlake. + 2023-06-28 Hans-Peter Nilsson PR target/110144 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d3dd503874a..e742d0ec698 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230629 +20230630 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4111a2b6628..fb2c3d9f9d0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2023-06-29 Richard Sandiford + + * gcc-interface/decl.cc (gt_pch_nx): Remove overloads for Entity_Id. + 2023-06-27 Eric Botcazou * gcc-interface/Makefile.in (LIBIBERTY): Fix condition. diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index a477da563f5..6b38d388941 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,15 @@ +2023-06-29 benjamin priour + + PR analyzer/110198 + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): Take an + optional boolean value to bypass poisoning checks + * region-model-manager.h: Update declaration of the above function. + * region-model.cc (region_model::get_store_value): No longer returns + on OOB, but rather gives a boolean to get_or_create_initial_value. + (region_model::check_region_access): Update docstring. + (region_model::check_region_for_write): Update docstring. + 2023-06-24 David Malcolm * access-diagram.cc: Add #define INCLUDE_VECTOR. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 395d88dd6b4..6419820ef69 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2023-06-29 Qing Zhao + + PR c/77650 + * c.opt: New option -Wflex-array-member-not-at-end. + 2023-06-28 Jason Merrill PR c++/110344 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 708c1c24ffd..ed332e5a529 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,24 @@ +2023-06-29 Qing Zhao + + PR c/77650 + * c-decl.cc (finish_struct): Issue warnings for new option. + +2023-06-29 Qing Zhao + + * c-decl.cc (finish_struct): Set TYPE_INCLUDES_FLEXARRAY for + struct/union type. + +2023-06-29 Richard Biener + + PR c/110454 + * c-typeck.cc (convert_argument): Sink formal_prec compute + to where TYPE_PRECISION is valid to use. + +2023-06-29 Eugene Rozenfeld + + * Make-lang.in: Pass correct stage cc1 when processing + profile data collected while building target libraries + 2023-06-16 David Malcolm PR c/107583 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 70d1b63eac1..8e2526f1bf0 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,48 @@ +2023-06-29 Patrick Palka + + PR c++/110468 + * init.cc (maybe_instantiate_nsdmi_init): Mask out all + tsubst flags except for tf_warning_or_error. + +2023-06-29 Patrick Palka + + PR c++/110463 + * cp-gimplify.cc (cp_fold) : Propagate + CONSTRUCTOR_MUTABLE_POISON. + +2023-06-29 Patrick Palka + + * cp-tree.h (tree_template_info::partial): New data member. + (TI_PARTIAL_INFO): New tree accessor. + (most_specialized_partial_spec): Add defaulted bool parameter. + * module.cc (trees_out::core_vals) : Stream + TI_PARTIAL_INFO. + (trees_in::core_vals) : Likewise. + * parser.cc (specialization_of): Adjust after making + most_specialized_partial_spec return TEMPLATE_INFO instead + of TREE_LIST. + * pt.cc (process_partial_specialization): Set TI_PARTIAL_INFO + of 'decl' to point back to the partial TEMPLATE_DECL. Likewise + (and pass rechecking=true to most_specialization_partial_spec). + (instantiate_class_template): Likewise. + (instantiate_template): Set TI_PARTIAL_INFO to the result of + most_specialization_partial_spec after forming a variable + template specialization. + (most_specialized_partial_spec): Add 'rechecking' parameter. + Exit early if the template is not primary. Use the TI_PARTIAL_INFO + of the corresponding TEMPLATE_INFO as a cache unless 'rechecking' + is true. Don't bother setting TREE_TYPE of each TREE_LIST. + (instantiate_decl): Adjust after making + most_specialized_partial_spec return TEMPLATE_INFO instead of + TREE_LIST. + * ptree.cc (cxx_print_xnode) : Dump + TI_PARTIAL_INFO. + +2023-06-29 Eugene Rozenfeld + + * Make-lang.in: Pass correct stage cc1plus when processing + profile data collected while building target libraries + 2023-06-28 Patrick Palka PR c++/89442 diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index d4d9d88cec4..4df6a2e534b 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,14 @@ +2023-06-29 Qing Zhao + + * lto-common.cc (compare_tree_sccs_1): Compare bit + TYPE_NO_NAMED_ARGS_STDARG_P or TYPE_INCLUDES_FLEXARRAY properly + for its corresponding type. + +2023-06-29 Eugene Rozenfeld + + * Make-lang.in: Pass correct stage lto when processing + profile data collected while building target libraries + 2023-06-28 Richard Biener * lto-common.cc (compare_tree_sccs_1): Use TYPE_PRECISION_RAW. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fd1d40ba524..fedcb1794e2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,77 @@ +2023-06-29 Jan Hubicka + + PR tree-optimization/109849 + * gcc.dg/ipa/pr109849.c: New test. + +2023-06-29 Marek Polacek + + * gcc.dg/plugin/crash-test-ice-sarif.c: Use -fno-report-bug. Adjust + scan-sarif-file. + * gcc.dg/plugin/crash-test-ice-stderr.c: Use -fno-report-bug. + * gcc.dg/plugin/crash-test-write-though-null-sarif.c: Use + -fno-report-bug. Adjust scan-sarif-file. + * gcc.dg/plugin/crash-test-write-though-null-stderr.c: Use + -fno-report-bug. + +2023-06-29 Marek Polacek + + * gcc.target/i386/pr104610.c: Use -fno-stack-protector. + * gcc.target/i386/pr69482-1.c: Likewise. + +2023-06-29 Patrick Palka + + PR c++/110468 + * g++.dg/cpp0x/noexcept79.C: New test. + +2023-06-29 Patrick Palka + + PR c++/110463 + * g++.dg/cpp0x/constexpr-mutable6.C: New test. + +2023-06-29 Qing Zhao + + PR c/77650 + * gcc.dg/variable-sized-type-flex-array.c: New test. + +2023-06-29 Roger Sayle + + * gcc.target/i386/pieces-memcmp-2.c: Specify that 128-bit + comparisons are desired, to see if 256-bit instructions are + generated inappropriately (fixes test on -march=cascadelake). + +2023-06-29 Alexandre Oliva + + * lib/options.exp (check_for_options_with_filter): Handle + missing frontend compiler like disabled language. + +2023-06-29 Richard Biener + + PR middle-end/110452 + * gcc.target/i386/pr110452.c: New file. + +2023-06-29 Richard Biener + + PR middle-end/110461 + * gcc.dg/pr110461.c: New testcase. + +2023-06-29 Richard Biener + + PR c/110454 + * gcc.dg/Wtraditional-conversion-3.c: New testcase. + +2023-06-29 Pan Li + + * gcc.target/riscv/rvv/base/float-point-frm-insert-1.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-2.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-3.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-4.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm-insert-5.c: New test. + +2023-06-29 Pan Li + + * gcc.target/riscv/rvv/base/float-point-frm-error.c: New test. + * gcc.target/riscv/rvv/base/float-point-frm.c: New test. + 2023-06-28 Hans-Peter Nilsson * lib/target-supports.exp (check_effective_target_lra): Remove diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 4b9d67c486b..86807fb0827 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,24 @@ +2023-06-29 Jonathan Wakely + + * src/c++20/tzdb.cc (USE_ATOMIC_SHARED_PTR): Define consistently + with USE_ATOMIC_LIST_HEAD. + (list_mutex): Replace global object with function. Use local + static object when std::mutex constructor isn't constexpr. + +2023-06-29 Jonathan Wakely + + PR libstdc++/110462 + * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Check that + copy_file_range can be called with loff_t* arguments. + * configure: Regenerate. + * src/filesystem/ops-common.h (copy_file_copy_file_range): + Use loff_t for offsets. + +2023-06-29 Tom Tromey + + * testsuite/lib/gdb-test.exp (gdb-test): Relax type-printer + regexp. + 2023-06-28 Jan Hubicka PR middle-end/109849