Daily bump.

diff --git a/ChangeLog b/ChangeLog
index 629f74d362f7e5eaa96b80b837394dfd7b70c0df..c5ab5b88a24aee2c9581a52e420e86ad40523063 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-08-22  Filip Kastl  <fkastl@suse.cz>
+
+       * MAINTAINERS: Update my email address.
+
 2023-08-11  Eric Feng  <ef2648@columbia.edu>
 
        * MAINTAINERS: Add myself.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a685d4aada56abc20c45d316eb76e09b586b6b32..d2a501fb50b3e971f5e0f2f48eb1647c296b2e3f 100644 (file)
--- 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 0415c90afee352906a8f1b6d3ae3988952bacd0d..47b00c6c0bd5f37f1a37ce14190bbb7e0d8ffb8e 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230822
+20230823

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index af009c165ae431250daf4c4fba68172849c48b80..d28960f97ce90089d3d856ba305f9f869b21361b 100644 (file)
--- 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 5a09cee07dcf900b40e80340cb04bdedc26307d6..81d46e889472e5ef4653cb98d401602cae58c57e 100644 (file)
--- 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 0e8ccbbd9bf2eccefb0f7c72c0597a249abcbac3..757c17d34231262bb40de43580cf8939b055c7b8 100644 (file)
--- 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 f8d18285c8674abdc8f876a4a4b16b95517d1f7c..5996d5211317f81259eb5d5488ff7db319ce3798 100644 (file)
--- 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 af67aa0643714ebf7dabc6ed9724081d97c1f0c9..ce13c71955737b4bcee5b882b37b2b59ec9e8576 100644 (file)
--- 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.

diff --git a/include/ChangeLog b/include/ChangeLog
index de54b7bb2424de143cebda83a09f19f58d24a0f9..edee0faa493eae5bccad7d09165c25dd82ca8289 100644 (file)
--- a/include/ChangeLog
+++ b/include/ChangeLog
@@ -1,3 +1,9 @@
+2023-08-22  Jason Merrill  <jason@redhat.com>
+
+       PR c++/109751
+       * demangle.h (enum demangle_component_type): Add
+       DEMANGLE_COMPONENT_FRIEND.
+
 2023-08-07  Vladimir Mezentsev  <vladimir.mezentsev@oracle.com>
 
        * collectorAPI.h: New file.

diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f87644fd7f02de0431ec164ff369e19cfcfec15e..9652157c11d72fa6ef9bd590690d73314287a196 100644 (file)
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,15 @@
+2023-08-22  Francois-Xavier Coudert  <fxcoudert@gmail.com>
+
+       * testsuite/lib/libgomp.exp: Add effective target.
+       * testsuite/libgomp.c/simd-math-1.c: Avoid calling nonstandard
+       functions.
+
+2023-08-22  Tobias Burnus  <tobias@codesourcery.com>
+
+       * libgomp.texi (OpenMP 5.2 status): Add depobj with
+       destroy-var argument as 'N'. Mark defaultmap with
+       'all' category as 'Y'.
+
 2023-08-19  Tobias Burnus  <tobias@codesourcery.com>
 
        PR middle-end/111017

diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog
index 1e907b30b74cae5aedc44a94f0f09e19575dcbe2..71b6dec118ab9d01e6b1ec9a5ef11646944478f1 100644 (file)
--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,12 @@
+2023-08-22  Jason Merrill  <jason@redhat.com>
+
+       PR c++/109751
+       * cp-demangle.c (d_make_comp): Handle DEMANGLE_COMPONENT_FRIEND.
+       (d_count_templates_scopes): Likewise.
+       (d_print_comp_inner): Likewise.
+       (d_unqualified_name): Handle member-like friend mangling.
+       * testsuite/demangle-expected: Add test.
+
 2023-08-07  John Ericson  <git@JohnEricson.me>
 
        * configure: Regenerate.