Daily bump.

7 files changed, 321 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8d3fd54..ec3ac9b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,91 @@
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/111069
+	* common.opt (fabi-version=): Document version 19.
+	* doc/invoke.texi (-fabi-version=): Likewise.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* config/riscv/autovec-opt.md (*cond_<optab><mode><vconvert>):
+	New combine pattern.
+	(*cond_<float_cvt><vconvert><mode>): Ditto.
+	(*cond_<optab><vnconvert><mode>): Ditto.
+	(*cond_<float_cvt><vnconvert><mode>): Ditto.
+	(*cond_<optab><mode><vnconvert>): Ditto.
+	(*cond_<float_cvt><mode><vnconvert>2): Ditto.
+	* config/riscv/autovec.md (<optab><mode><vconvert>2): Adjust.
+	(<float_cvt><vconvert><mode>2): Adjust.
+	(<optab><vnconvert><mode>2): Adjust.
+	(<float_cvt><vnconvert><mode>2): Adjust.
+	(<optab><mode><vnconvert>2): Adjust.
+	(<float_cvt><mode><vnconvert>2): Adjust.
+	* config/riscv/riscv-v.cc (needs_fp_rounding): Add INT->FP extend.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* config/riscv/autovec-opt.md (*cond_extend<v_double_trunc><mode>):
+	New combine pattern.
+	(*cond_trunc<mode><v_double_trunc>): Ditto.
+	* config/riscv/autovec.md: Adjust.
+	* config/riscv/riscv-v.cc (needs_fp_rounding): Add FP extend.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* config/riscv/autovec-opt.md (*cond_<optab><v_double_trunc><mode>):
+	New combine pattern.
+	(*cond_<optab><v_quad_trunc><mode>): Ditto.
+	(*cond_<optab><v_oct_trunc><mode>): Ditto.
+	(*cond_trunc<mode><v_double_trunc>): Ditto.
+	* config/riscv/autovec.md (<optab><v_quad_trunc><mode>2): Adjust.
+	(<optab><v_oct_trunc><mode>2): Ditto.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* config/riscv/autovec.md: Adjust.
+	* config/riscv/riscv-protos.h (expand_cond_len_unop): Ditto.
+	(expand_cond_len_binop): Ditto.
+	* config/riscv/riscv-v.cc (needs_fp_rounding): Ditto.
+	(expand_cond_len_op): Ditto.
+	(expand_cond_len_unop): Ditto.
+	(expand_cond_len_binop): Ditto.
+	(expand_cond_len_ternop): Ditto.
+
+2023-09-01  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-v.cc (autovectorize_vector_modes): Enable
+	VECT_COMPARE_COSTS by default.
+
+2023-09-01  Robin Dapp  <rdapp@ventanamicro.com>
+
+	* config/riscv/autovec.md (vec_extract<mode>qi): New expander.
+
+2023-09-01  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-opts.h (enum riscv_autovec_lmul_enum): Add
+	dynamic enum.
+	* config/riscv/riscv.opt: Add dynamic compile option.
+
+2023-09-01  Pan Li  <pan2.li@intel.com>
+
+	* config/riscv/autovec-vls.md (<optab><mode>3): New pattern for
+	vls floating-point autovec.
+	* config/riscv/vector-iterators.md: New iterator for
+	floating-point V and VLS.
+	* config/riscv/vector.md: Add VLS to floating-point binop.
+
+2023-09-01  Andrew Pinski  <apinski@marvell.com>
+
+	PR tree-optimization/19832
+	* match.pd: Add pattern to optimize
+	`(a != b) ? a OP b : c`.
+
+2023-09-01  Lulu Cheng  <chenglulu@loongson.cn>
+	    Guo Jie  <guojie@loongson.cn>
+
+	PR target/110484
+	* config/loongarch/loongarch.cc (loongarch_emit_stack_tie): Use the
+	frame_pointer_needed to determine whether to use the $fp register.
+
 2023-08-31  Andrew Pinski  <apinski@marvell.com>
 
 	PR tree-optimization/110915
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 5e591a0..1827d0b 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230901
+20230902
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 2622c29..c9277bf 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,27 @@
+2023-09-01  benjamin priour  <priour.be@gmail.com>
+
+	PR analyzer/105948
+	PR analyzer/94355
+	* analyzer.h (is_placement_new_p): New declaration.
+	* call-details.cc
+	(call_details::deref_ptr_arg): New function.
+	Dereference the argument at given index if possible.
+	* call-details.h: Declaration of the above function.
+	* kf-lang-cp.cc (is_placement_new_p): Returns true if the gcall
+	is recognized as a placement new.
+	(kf_operator_delete::impl_call_post): Unbinding a region and its
+	descendents now poisons with POISON_KIND_DELETED.
+	(register_known_functions_lang_cp): Known function "operator
+	delete" is now registered only once independently of its number of
+	arguments.
+	* region-model.cc (region_model::eval_condition): Now
+	recursively calls itself if any of the operand is wrapped in a
+	cast.
+	* sm-malloc.cc (malloc_state_machine::on_stmt):
+	Add placement new recognition.
+	* svalue.cc (poison_kind_to_str): Wording for the new PK.
+	* svalue.h (enum poison_kind): Add value POISON_KIND_DELETED.
+
 2023-08-31  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
 	* kf.cc: Change spelling to macOS.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 2ae494e..3559e4c 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/111069
+	* c-opts.cc (c_common_post_options): Change latest_abi_version to 19.
+
 2023-08-31  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
 	* c.opt: Change spelling to macOS.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 320e889..9191726 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,53 @@
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/111069
+	* cp-tree.h (determine_local_discriminator): Add NAME argument with
+	NULL_TREE default.
+	(struct cp_decomp): New type.
+	(cp_finish_decl): Add DECOMP argument defaulted to nullptr.
+	(cp_maybe_mangle_decomp): Remove declaration.
+	(cp_finish_decomp): Add cp_decomp * argument, remove tree and unsigned
+	args.
+	(cp_convert_range_for): Likewise.
+	* decl.cc (determine_local_discriminator): Add NAME argument, use it
+	if non-NULL, otherwise compute it the old way.
+	(maybe_commonize_var): Don't return early for structured bindings.
+	(cp_finish_decl): Add DECOMP argument, if non-NULL, call
+	cp_maybe_mangle_decomp.
+	(cp_maybe_mangle_decomp): Make it static with a forward declaration.
+	Call determine_local_discriminator.  Replace FIRST and COUNT arguments
+	with DECOMP argument.
+	(cp_finish_decomp): Replace FIRST and COUNT arguments with DECOMP
+	argument.
+	* mangle.cc (find_decomp_unqualified_name): Remove.
+	(write_unqualified_name): Don't call find_decomp_unqualified_name.
+	(mangle_decomp): Handle mangling of static function/block scope
+	structured bindings.  Don't call decl_mangling_context twice.  Call
+	check_abi_tags, call write_abi_tags for abi version >= 19 and emit
+	-Wabi warnings if needed.
+	(write_guarded_var_name): Handle structured bindings.
+	(mangle_ref_init_variable): Use write_guarded_var_name.
+	* parser.cc (cp_parser_range_for): Adjust do_range_for_auto_deduction
+	and cp_convert_range_for callers.
+	(do_range_for_auto_deduction): Replace DECOMP_FIRST_NAME and
+	DECOMP_CNT arguments with DECOMP.  Adjust cp_finish_decomp caller.
+	(cp_convert_range_for): Replace DECOMP_FIRST_NAME and
+	DECOMP_CNT arguments with DECOMP.  Don't call cp_maybe_mangle_decomp,
+	adjust cp_finish_decl and cp_finish_decomp callers.
+	(cp_parser_decomposition_declaration): Don't call
+	cp_maybe_mangle_decomp, adjust cp_finish_decl and cp_finish_decomp
+	callers.
+	(cp_convert_omp_range_for): Adjust do_range_for_auto_deduction
+	and cp_finish_decomp callers.
+	(cp_finish_omp_range_for): Don't call cp_maybe_mangle_decomp,
+	adjust cp_finish_decl and cp_finish_decomp callers.
+	* pt.cc (tsubst_omp_for_iterator): Adjust tsubst_decomp_names
+	caller.
+	(tsubst_decomp_names): Replace FIRST and CNT arguments with DECOMP.
+	(tsubst_expr): Don't call cp_maybe_mangle_decomp, adjust
+	tsubst_decomp_names, cp_finish_decl, cp_finish_decomp and
+	cp_convert_range_for callers.
+
 2023-08-30  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/91319
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index c719594..37ab771 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2023-09-01  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/31059
+	* trans-array.cc (gfc_conv_ss_startstride): For array bounds checking,
+	consider also array constructors in expressions, and use their shape.
+
 2023-08-31  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
 	* gfortran.texi: Likewise.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f97bb3c..a93acd9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,150 @@
+2023-09-01  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/31059
+	* gfortran.dg/bounds_check_fail_5.f90: New test.
+
+2023-09-01  benjamin priour  <priour.be@gmail.com>
+
+	PR analyzer/105948
+	PR analyzer/94355
+	* g++.dg/analyzer/out-of-bounds-placement-new.C: Added a directive.
+	* g++.dg/analyzer/placement-new.C: Added tests.
+	* g++.dg/analyzer/new-2.C: New test.
+	* g++.dg/analyzer/noexcept-new.C: New test.
+	* g++.dg/analyzer/placement-new-size.C: New test.
+
+2023-09-01  Hans-Peter Nilsson  <hp@axis.com>
+
+	PR testsuite/111264
+	* gcc.dg/plugin/analyzer_cpython_plugin.c: Make declarations
+	C++11-compatible.
+
+2023-09-01  Jonathan Wakely  <jwakely@redhat.com>
+
+	* g++.dg/pr110879.C: Moved to...
+	* g++.dg/opt/pr110879.C: ...here.
+
+2023-09-01  Vladimir Palevich  <palevichva@gmail.com>
+
+	PR libstdc++/110879
+	* g++.dg/pr110879.C: New test.
+
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/111069
+	* g++.dg/cpp2a/decomp8.C: New test.
+	* g++.dg/cpp2a/decomp9.C: New test.
+	* g++.dg/abi/macro0.C: Expect __GXX_ABI_VERSION 1019 rather than
+	1018.
+
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/19832
+	* g++.dg/opt/vectcond-1.C: Add -Wno-psabi to dg-options.
+
+2023-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/110915
+	* gcc.dg/pr110915-1.c: Add -Wno-psabi to dg-options.  Move vector
+	macro definition after limits.h inclusion.
+	* gcc.dg/pr110915-2.c: Likewise.
+	* gcc.dg/pr110915-3.c: Likewise.
+	* gcc.dg/pr110915-4.c: Likewise.
+	* gcc.dg/pr110915-5.c: Likewise.
+	* gcc.dg/pr110915-6.c: Likewise.
+	* gcc.dg/pr110915-7.c: Likewise.
+	* gcc.dg/pr110915-8.c: Likewise.
+	* gcc.dg/pr110915-9.c: Likewise.
+	* gcc.dg/pr110915-10.c: Likewise.
+	* gcc.dg/pr110915-11.c: Likewise.
+	* gcc.dg/pr110915-12.c: Likewise.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-1.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-2.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-rv32-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-rv32-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-rv64-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int-rv64-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2int_run-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-1.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-2.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-rv32-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-rv32-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-rv64-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float-rv64-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2float_run-2.c: New test.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-1.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-2.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-rv32-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-rv32-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-rv64-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float-rv64-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_float2float_run-2.c: New test.
+
+2023-09-01  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/binop/narrow-3.c: Adjust.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-1.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-2.h: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-rv32-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-rv32-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-rv64-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int-rv64-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/cond/cond_convert_int2int_run-2.c: New test.
+
+2023-09-01  Robin Dapp  <rdapp@ventanamicro.com>
+
+	* gcc.target/riscv/rvv/autovec/partial/live-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/live_run-2.c: New test.
+
+2023-09-01  Robin Dapp  <rdapp@ventanamicro.com>
+
+	* gcc.dg/vect/vect-outer-4c-big-array.c: Adjust regex pattern.
+	* gcc.dg/vect/vect-reduc-dot-s16a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-s8a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-s8b.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-u16a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-u16b.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-u8a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-dot-u8b.c: Ditto.
+	* gcc.dg/vect/vect-reduc-pattern-1a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-pattern-1b-big-array.c: Ditto.
+	* gcc.dg/vect/vect-reduc-pattern-1c-big-array.c: Ditto.
+	* gcc.dg/vect/vect-reduc-pattern-2a.c: Ditto.
+	* gcc.dg/vect/vect-reduc-pattern-2b-big-array.c: Ditto.
+	* gcc.dg/vect/wrapv-vect-reduc-dot-s8b.c: Ditto.
+
+2023-09-01  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/vls/def.h:
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-add-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-add-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-add-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-div-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-div-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-div-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-mul-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-mul-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-mul-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-sub-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-sub-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls/floating-point-sub-3.c: New test.
+
+2023-09-01  Andrew Pinski  <apinski@marvell.com>
+
+	PR tree-optimization/19832
+	* g++.dg/opt/vectcond-1.C: New test.
+	* gcc.dg/tree-ssa/phi-opt-same-1.c: New test.
+
 2023-08-31  Andrew Pinski  <apinski@marvell.com>
 
 	PR tree-optimization/110915