Daily bump.

7 files changed, 304 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a685d4a..d2a501f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,77 @@
+2023-08-22  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-vsetvl.cc (change_insn): Clang format.
+	(vector_infos_manager::all_same_ratio_p): Ditto.
+	(vector_infos_manager::all_same_avl_p): Ditto.
+	(pass_vsetvl::refine_vsetvls): Ditto.
+	(pass_vsetvl::cleanup_vsetvls): Ditto.
+	(pass_vsetvl::commit_vsetvls): Ditto.
+	(pass_vsetvl::local_eliminate_vsetvl_insn): Ditto.
+	(pass_vsetvl::global_eliminate_vsetvl_insn): Ditto.
+	(pass_vsetvl::compute_probabilities): Ditto.
+
+2023-08-22  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/t-riscv: Add riscv-vsetvl.def
+
+2023-08-22  Vineet Gupta  <vineetg@rivosinc.com>
+
+	* config/riscv/riscv.opt: Add --param names
+	riscv-autovec-preference and riscv-autovec-lmul
+
+2023-08-22  Raphael Moreira Zinsly  <rzinsly@ventanamicro.com>
+
+	* config/riscv/t-linux: Add MULTIARCH_DIRNAME.
+
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+	* tree-core.h (enum omp_clause_defaultmap_kind): Add
+	OMP_CLAUSE_DEFAULTMAP_CATEGORY_ALL.
+	* gimplify.cc (gimplify_scan_omp_clauses): Handle it.
+	* tree-pretty-print.cc (dump_omp_clause): Likewise.
+
+2023-08-22  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106652
+	* doc/extend.texi (_Float<n>): Drop obsolete sentence that the
+	types aren't supported in C++.
+
+2023-08-22  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* doc/md.texi: Add LEN_FOLD_EXTRACT_LAST pattern.
+	* internal-fn.cc (fold_len_extract_direct): Ditto.
+	(expand_fold_len_extract_optab_fn): Ditto.
+	(direct_fold_len_extract_optab_supported_p): Ditto.
+	* internal-fn.def (LEN_FOLD_EXTRACT_LAST): Ditto.
+	* optabs.def (OPTAB_D): Ditto.
+
+2023-08-22  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-stmts.cc (vectorizable_store): Do not bump
+	DR_GROUP_STORE_COUNT here.  Remove early out.
+	(vect_transform_stmt): Only call vectorizable_store on
+	the last element of an interleaving chain.
+
+2023-08-22  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/94864
+	PR tree-optimization/94865
+	PR tree-optimization/93080
+	* match.pd (bit_insert @0 (BIT_FIELD_REF @1 ..) ..): New pattern
+	for vector insertion from vector extraction.
+
+2023-08-22  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+	    Kewen.Lin  <linkw@linux.ibm.com>
+
+	* tree-vect-loop.cc (vect_verify_loop_lens): Add exists check.
+	(vectorizable_live_operation): Add live vectorization for length loop
+	control.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* doc/invoke.texi: Remove -Wanalyzer-unterminated-string.
+
 2023-08-22  Pan Li  <pan2.li@intel.com>
 
 	* config/riscv/riscv-vector-builtins-bases.cc
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 0415c90..47b00c6 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230822
+20230823
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index af009c1..d28960f 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,102 @@
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* kf-analyzer.cc (class kf_analyzer_get_strlen): Move to kf.cc.
+	(register_known_analyzer_functions): Use make_kf_strlen.
+	* kf.cc (class kf_strlen::impl_call_pre): Replace with
+	implementation of kf_analyzer_get_strlen from kf-analyzer.cc.
+	Handle "UNKNOWN" return from check_for_null_terminated_string_arg
+	by falling back to a conjured svalue.
+	(make_kf_strlen): New.
+	(register_known_functions): Use make_kf_strlen.
+	* known-function-manager.h (make_kf_strlen): New decl.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* call-details.cc (call_details::call_details): New ctor.
+	* call-details.h (call_details::call_details): New ctor decl.
+	(struct call_arg_details): Move here from region-model.cc.
+	* region-model.cc (region_model::check_call_format_attr): New.
+	(region_model::check_call_args): Call it.
+	(struct call_arg_details): Move it to call-details.h.
+	* region-model.h (region_model::check_call_format_attr): New decl.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* kf.cc (class kf_fopen): New.
+	(register_known_functions): Register it.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* analyzer.opt (Wanalyzer-unterminated-string): Delete.
+	* call-details.cc
+	(call_details::check_for_null_terminated_string_arg): Convert
+	return type from void to const svalue *.  Add param "out_sval".
+	* call-details.h
+	(call_details::check_for_null_terminated_string_arg): Likewise.
+	* kf-analyzer.cc (kf_analyzer_get_strlen::impl_call_pre): Wire up
+	to result of check_for_null_terminated_string_arg.
+	* region-model.cc (get_strlen): Delete.
+	(class unterminated_string_arg): Delete.
+	(struct fragment): New.
+	(class iterable_cluster): New.
+	(region_model::get_store_bytes): New.
+	(get_tree_for_byte_offset): New.
+	(region_model::scan_for_null_terminator): New.
+	(region_model::check_for_null_terminated_string_arg): Convert
+	return type from void to const svalue *.  Add param "out_sval".
+	Reimplement in terms of scan_for_null_terminator, dropping the
+	special-case for -Wanalyzer-unterminated-string.
+	* region-model.h (region_model::get_store_bytes): New decl.
+	(region_model::scan_for_null_terminator): New decl.
+	(region_model::check_for_null_terminated_string_arg): Convert
+	return type from void to const svalue *.  Add param "out_sval".
+	* store.cc (concrete_binding::get_byte_range): New.
+	* store.h (concrete_binding::get_byte_range): New decl.
+	(store_manager::get_concrete_binding): New overload.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* region-model.cc (region_model_context_decorator::add_event):
+	Handle m_inner being NULL.
+	* region-model.h (class region_model_context_decorator): Likewise.
+	(annotating_context::warn): Likewise.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* diagnostic-manager.cc (saved_diagnostic::add_event): New.
+	(saved_diagnostic::add_any_saved_events): New.
+	(diagnostic_manager::add_event): New.
+	(dedupe_winners::emit_best): New.
+	(diagnostic_manager::emit_saved_diagnostic): Make "sd" param
+	non-const.  Call saved_diagnostic::add_any_saved_events.
+	* diagnostic-manager.h (saved_diagnostic::add_event): New decl.
+	(saved_diagnostic::add_any_saved_events): New decl.
+	(saved_diagnostic::m_saved_events): New field.
+	(diagnostic_manager::add_event): New decl.
+	(diagnostic_manager::emit_saved_diagnostic): Make "sd" param
+	non-const.
+	* engine.cc (impl_region_model_context::add_event): New.
+	* exploded-graph.h (impl_region_model_context::add_event): New decl.
+	* region-model.cc
+	(noop_region_model_context::add_event): New.
+	(region_model_context_decorator::add_event): New.
+	* region-model.h (region_model_context::add_event): New vfunc.
+	(noop_region_model_context::add_event): New decl.
+	(region_model_context_decorator::add_event): New decl.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* region-model.cc
+	(class check_external_function_for_access_attr::annotating_ctxt):
+	Convert to an annotating_context.
+	* region-model.h (class note_adding_context): Rename to...
+	(class annotating_context): ...this, updating the "warn" method.
+	(note_adding_context::make_note): Replace with...
+	(annotating_context::add_annotations): ...this.
+
 2023-08-14  benjamin priour  <vultkayn@gcc.gnu.org>
 
 	PR analyzer/110543
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 5a09cee..81d46e8 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+	* c-parser.cc (c_parser_omp_clause_defaultmap): Parse
+	'all' as category.
+
 2023-08-17  Jose E. Marchesi  <jose.marchesi@oracle.com>
 
 	PR c/106537
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0e8ccbb..757c17d 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,27 @@
+2023-08-22  Jason Merrill  <jason@redhat.com>
+
+	* pt.cc (outer_template_args): Handle non-template argument.
+	* constraint.cc (maybe_substitute_reqs_for): Pass decl to it.
+	* cp-tree.h (outer_template_args): Adjust.
+
+2023-08-22  Jason Merrill  <jason@redhat.com>
+
+	PR c++/109751
+	* cp-tree.h (member_like_constrained_friend_p): Declare.
+	* decl.cc (member_like_constrained_friend_p): New.
+	(function_requirements_equivalent_p): Check it.
+	(duplicate_decls): Check it.
+	(grokfndecl): Check friend template constraints.
+	* mangle.cc (decl_mangling_context): Check it.
+	(write_unqualified_name): Check it.
+	* pt.cc (uses_outer_template_parms_in_constraints): Fix for friends.
+	(tsubst_friend_function): Don't check satisfaction.
+
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+	* parser.cc (cp_parser_omp_clause_defaultmap): Parse
+	'all' as category.
+
 2023-08-15  Chung-Lin Tang  <cltang@codesourcery.com>
 	    Thomas Schwinge  <thomas@codesourcery.com>
 
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f8d1828..5996d52 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,23 @@
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.h (enum gfc_omp_defaultmap_category):
+	Add OMP_DEFAULTMAP_CAT_ALL.
+	* openmp.cc (gfc_match_omp_clauses): Parse
+	'all' as category.
+	* trans-openmp.cc (gfc_trans_omp_clauses): Handle it.
+
+2023-08-22  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/49588
+	* data.cc (gfc_advance_section): Derive next index set and next offset
+	into DATA variable also for array references using vector sections.
+	Use auxiliary array to keep track of offsets into indexing vectors.
+	(gfc_get_section_index): Set up initial indices also for DATA variables
+	with array references using vector sections.
+	* data.h (gfc_get_section_index): Adjust prototype.
+	(gfc_advance_section): Likewise.
+	* resolve.cc (check_data_variable): Pass vector offsets.
+
 2023-08-16  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/110360
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index af67aa0..ce13c71 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,84 @@
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* gcc.dg/analyzer/null-terminated-strings-1.c: Update expected
+	results on symbolic values.
+	* gcc.dg/analyzer/strlen-1.c: New test.
+
+2023-08-22  Jason Merrill  <jason@redhat.com>
+
+	PR c++/109751
+	* g++.dg/cpp2a/concepts-friend11.C: Now works.  Add template.
+	* g++.dg/cpp2a/concepts-friend15.C: New test.
+	* g++.dg/cpp2a/concepts-friend11a.C: New file.
+
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/gomp/defaultmap-1.f90: Update dg-error.
+	* c-c++-common/gomp/defaultmap-5.c: New test.
+	* c-c++-common/gomp/defaultmap-6.c: New test.
+	* gfortran.dg/gomp/defaultmap-10.f90: New test.
+	* gfortran.dg/gomp/defaultmap-9.f90: New test.
+
+2023-08-22  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/94864
+	PR tree-optimization/94865
+	PR tree-optimization/93080
+	* gcc.target/i386/pr94864.c: New testcase.
+	* gcc.target/i386/pr94865.c: Likewise.
+	* gcc.target/i386/avx512fp16-vmovsh-1a.c: XFAIL.
+	* gcc.dg/tree-ssa/forwprop-40.c: Likewise.
+	* gcc.dg/tree-ssa/forwprop-41.c: Likewise.
+
+2023-08-22  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/49588
+	* gfortran.dg/data_vector_section.f90: New test.
+
+2023-08-22  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+	    Kewen.Lin  <linkw@linux.ibm.com>
+
+	* gcc.target/riscv/rvv/autovec/partial/live-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/live_run-1.c: New test.
+
+2023-08-22  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/invariant-ternlog-1.c: Only scan %rdx under
+	TARGET_64BIT.
+
+2023-08-22  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-1.c: Adjust.
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-2.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-3.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-4.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-5.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/cond/cond_fms_fnms-6.c: Ditto.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* gcc.dg/analyzer/attr-format-1.c: New test.
+	* gcc.dg/analyzer/sprintf-1.c: Update expected results for
+	now-passing tests.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/fopen-1.c: New test.
+
+2023-08-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105899
+	* gcc.dg/analyzer/error-1.c: Update expected results to reflect
+	reimplementation of unterminated string detection.  Add test
+	coverage for uninitialized buffers.
+	* gcc.dg/analyzer/null-terminated-strings-1.c: Likewise.
+	* gcc.dg/analyzer/putenv-1.c: Likewise.
+	* gcc.dg/analyzer/strchr-1.c: Likewise.
+	* gcc.dg/analyzer/strcpy-1.c: Likewise.
+	* gcc.dg/analyzer/strdup-1.c: Likewise.
+
 2023-08-22  Pan Li  <pan2.li@intel.com>
 
 	* gcc.target/riscv/rvv/base/float-point-wredusum.c: New test.