diff --git a/ChangeLog b/ChangeLog index 629f74d362f7e..c5ab5b88a24ae 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2023-08-22 Filip Kastl + + * MAINTAINERS: Update my email address. + 2023-08-11 Eric Feng * MAINTAINERS: Add myself. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a685d4aada56a..d2a501fb50b3e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,77 @@ +2023-08-22 Juzhe-Zhong + + * 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 + + * config/riscv/t-riscv: Add riscv-vsetvl.def + +2023-08-22 Vineet Gupta + + * config/riscv/riscv.opt: Add --param names + riscv-autovec-preference and riscv-autovec-lmul + +2023-08-22 Raphael Moreira Zinsly + + * config/riscv/t-linux: Add MULTIARCH_DIRNAME. + +2023-08-22 Tobias Burnus + + * 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 + + PR c++/106652 + * doc/extend.texi (_Float): Drop obsolete sentence that the + types aren't supported in C++. + +2023-08-22 Juzhe-Zhong + + * 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 + + * 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 + + 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 + Kewen.Lin + + * 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 + + PR analyzer/105899 + * doc/invoke.texi: Remove -Wanalyzer-unterminated-string. + 2023-08-22 Pan Li * config/riscv/riscv-vector-builtins-bases.cc diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 0415c90afee35..47b00c6c0bd5f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230822 +20230823 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index af009c165ae43..d28960f97ce90 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,102 @@ +2023-08-22 David Malcolm + + 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 + + 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 + + * kf.cc (class kf_fopen): New. + (register_known_functions): Register it. + +2023-08-22 David Malcolm + + 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 + + * 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 + + * 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 + + * 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 PR analyzer/110543 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 5a09cee07dcf9..81d46e889472e 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2023-08-22 Tobias Burnus + + * c-parser.cc (c_parser_omp_clause_defaultmap): Parse + 'all' as category. + 2023-08-17 Jose E. Marchesi PR c/106537 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 0e8ccbbd9bf2e..757c17d342312 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,27 @@ +2023-08-22 Jason Merrill + + * 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 + + 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 + + * parser.cc (cp_parser_omp_clause_defaultmap): Parse + 'all' as category. + 2023-08-15 Chung-Lin Tang Thomas Schwinge diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f8d18285c8674..5996d5211317f 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,23 @@ +2023-08-22 Tobias Burnus + + * 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 + + 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 PR fortran/110360 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index af67aa0643714..ce13c71955737 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,84 @@ +2023-08-22 David Malcolm + + 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 + + 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 + + * 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 + + 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 + + PR fortran/49588 + * gfortran.dg/data_vector_section.f90: New test. + +2023-08-22 Juzhe-Zhong + Kewen.Lin + + * 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 + + * gcc.target/i386/invariant-ternlog-1.c: Only scan %rdx under + TARGET_64BIT. + +2023-08-22 Lehua Ding + + * 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 + + 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 + + * gcc.dg/analyzer/fopen-1.c: New test. + +2023-08-22 David Malcolm + + 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 * gcc.target/riscv/rvv/base/float-point-wredusum.c: New test. diff --git a/include/ChangeLog b/include/ChangeLog index de54b7bb2424d..edee0faa493ea 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,9 @@ +2023-08-22 Jason Merrill + + PR c++/109751 + * demangle.h (enum demangle_component_type): Add + DEMANGLE_COMPONENT_FRIEND. + 2023-08-07 Vladimir Mezentsev * collectorAPI.h: New file. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index f87644fd7f02d..9652157c11d72 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,15 @@ +2023-08-22 Francois-Xavier Coudert + + * testsuite/lib/libgomp.exp: Add effective target. + * testsuite/libgomp.c/simd-math-1.c: Avoid calling nonstandard + functions. + +2023-08-22 Tobias Burnus + + * 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 PR middle-end/111017 diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index 1e907b30b74ca..71b6dec118ab9 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,3 +1,12 @@ +2023-08-22 Jason Merrill + + 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 * configure: Regenerate.