[gcc r14-2204] Daily bump.

[gcc r14-2204] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:14bfda6084eaca07c842566a34316974907958e2

commit r14-2204-g14bfda6084eaca07c842566a34316974907958e2
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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  <erozen@microsoft.com>
+
+	* Makefile.in: Remove -gtoggle for STAGEautoprofile
+	* Makefile.tpl: Remove -gtoggle for STAGEautoprofile
+
 2023-06-25  Lehua Ding  <lehua.ding@rivai.ai>
 
 	* 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  <jh@suse.cz>
+
+	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  <qing.zhao@oracle.com>
+
+	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  <qing.zhao@oracle.com>
+
+	* 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  <aldyh@redhat.com>
+
+	* 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  <aldyh@redhat.com>
+
+	* 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  <ubizjak@gmail.com>
+
+	* 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  <rdapp@ventanamicro.com>
+
+	* tree-ssa-math-opts.cc (divmod_candidate_p): Use
+	element_precision.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	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  <lili.cui@intel.com>
+
+	PR tree-optimization/110148
+	* tree-ssa-reassoc.cc (rewrite_expr_tree_parallel): Handle loop-carried
+	ops in this function.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110452
+	* expr.cc (store_constructor): Handle uniform boolean
+	vectors with integer mode specially.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110461
+	* match.pd (bitop (convert@2 @0) (convert?@3 @1)): Disable
+	for VECTOR_TYPE_P.
+
+2023-06-29  Richard Sandiford  <richard.sandiford@arm.com>
+
+	* 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  <pan2.li@intel.com>
+
+	* 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  <pan2.li@intel.com>
+
+	* 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  <lili.cui@intel.com>
+
+	* 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  <hp@axis.com>
 
 	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  <richard.sandiford@arm.com>
+
+	* gcc-interface/decl.cc (gt_pch_nx): Remove overloads for Entity_Id.
+
 2023-06-27  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* 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  <priour.be@gmail.com>
+
+	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  <dmalcolm@redhat.com>
 
 	* 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  <qing.zhao@oracle.com>
+
+	PR c/77650
+	* c.opt: New option -Wflex-array-member-not-at-end.
+
 2023-06-28  Jason Merrill  <jason@redhat.com>
 
 	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  <qing.zhao@oracle.com>
+
+	PR c/77650
+	* c-decl.cc (finish_struct): Issue warnings for new option.
+
+2023-06-29  Qing Zhao  <qing.zhao@oracle.com>
+
+	* c-decl.cc (finish_struct): Set TYPE_INCLUDES_FLEXARRAY for
+	struct/union type.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	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  <erozen@microsoft.com>
+
+	* Make-lang.in: Pass correct stage cc1 when processing
+	profile data collected while building target libraries
+
 2023-06-16  David Malcolm  <dmalcolm@redhat.com>
 
 	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  <ppalka@redhat.com>
+
+	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  <ppalka@redhat.com>
+
+	PR c++/110463
+	* cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
+	CONSTRUCTOR_MUTABLE_POISON.
+
+2023-06-29  Patrick Palka  <ppalka@redhat.com>
+
+	* 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) <case TEMPLATE_INFO>: Stream
+	TI_PARTIAL_INFO.
+	(trees_in::core_vals) <case TEMPLATE_INFO>: 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) <case TEMPLATE_INFO>: Dump
+	TI_PARTIAL_INFO.
+
+2023-06-29  Eugene Rozenfeld  <erozen@microsoft.com>
+
+	* Make-lang.in: Pass correct stage cc1plus when processing
+	profile data collected while building target libraries
+
 2023-06-28  Patrick Palka  <ppalka@redhat.com>
 
 	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  <qing.zhao@oracle.com>
+
+	* 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  <erozen@microsoft.com>
+
+	* Make-lang.in: Pass correct stage lto when processing
+	profile data collected while building target libraries
+
 2023-06-28  Richard Biener  <rguenther@suse.de>
 
 	* 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  <jh@suse.cz>
+
+	PR tree-optimization/109849
+	* gcc.dg/ipa/pr109849.c: New test.
+
+2023-06-29  Marek Polacek  <polacek@redhat.com>
+
+	* 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  <polacek@redhat.com>
+
+	* gcc.target/i386/pr104610.c: Use -fno-stack-protector.
+	* gcc.target/i386/pr69482-1.c: Likewise.
+
+2023-06-29  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/110468
+	* g++.dg/cpp0x/noexcept79.C: New test.
+
+2023-06-29  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/110463
+	* g++.dg/cpp0x/constexpr-mutable6.C: New test.
+
+2023-06-29  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/77650
+	* gcc.dg/variable-sized-type-flex-array.c: New test.
+
+2023-06-29  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* 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  <oliva@adacore.com>
+
+	* lib/options.exp (check_for_options_with_filter): Handle
+	missing frontend compiler like disabled language.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110452
+	* gcc.target/i386/pr110452.c: New file.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110461
+	* gcc.dg/pr110461.c: New testcase.
+
+2023-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR c/110454
+	* gcc.dg/Wtraditional-conversion-3.c: New testcase.
+
+2023-06-29  Pan Li  <pan2.li@intel.com>
+
+	* 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  <pan2.li@intel.com>
+
+	* 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  <hp@axis.com>
 
 	* 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  <jwakely@redhat.com>
+
+	* 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  <jwakely@redhat.com>
+
+	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  <tromey@adacore.com>
+
+	* testsuite/lib/gdb-test.exp (gdb-test): Relax type-printer
+	regexp.
+
 2023-06-28  Jan Hubicka  <jh@suse.cz>
 
 	PR middle-end/109849