From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id E18453858429; Sat, 10 Sep 2022 00:18:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E18453858429 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662769084; bh=SoZxeCquzFo4EaJohcoFJhSFtnfRNOOboFreRxz6DhA=; h=From:To:Subject:Date:From; b=YAEOZ6IRhZqECcM5yn8QWHx297xSN433GkHrzq2+2mIN7q6Ea1GuZ/2MS59EfQ0nW IqFcTf7IMH7Dhsl6+PCa0whXrdNlhGZ3yLlaWTYFr54YToY6arrU6ypZ739tazmLiX sCxXWvDwITOKNBnkM3UQraaS3ZzB1Su6Ln6eTs78= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-2576] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 89afb2e86fcb29c559b2957fdcbea0d01740c49b X-Git-Newrev: 861d1a11c0a052ddb3851950d3c0db86b320646d Message-Id: <20220910001804.E18453858429@sourceware.org> Date: Sat, 10 Sep 2022 00:18:04 +0000 (GMT) List-Id: https://gcc.gnu.org/g:861d1a11c0a052ddb3851950d3c0db86b320646d commit r13-2576-g861d1a11c0a052ddb3851950d3c0db86b320646d Author: GCC Administrator Date: Sat Sep 10 00:17:21 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 116 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 68 ++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 4 ++ gcc/testsuite/ChangeLog | 59 ++++++++++++++++++++++++ libgomp/ChangeLog | 28 ++++++++++++ liboffloadmic/ChangeLog | 5 +++ libstdc++-v3/ChangeLog | 28 ++++++++++++ 8 files changed, 309 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 73748ca6913..c27e03a1178 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,119 @@ +2022-09-09 Takayuki 'January June' Suwa + + * config/xtensa/xtensa.md: Rewrite the split pattern that performs + the abovementioned process so that insns that overwrite clobbered + register no longer need to be contiguous. + (DSC): Remove as no longer needed. + +2022-09-09 Takayuki 'January June' Suwa + + * config/xtensa/xtensa.cc (machine_function): New boolean member as + a flag that controls whether to emit the insns for stack pointer + adjustment inside of the pro/epilogue. + (xtensa_emit_adjust_stack_ptr): New function to share the common + codes and to emit insns if not inhibited. + (xtensa_expand_epilogue): Change to use the function mentioned + above when using the CALL0 ABI. + (xtensa_expand_prologue): Ditto. + And also change to set the inhibit flag used by + xtensa_emit_adjust_stack_ptr() to true if the stack pointer is only + used for its own adjustment. + +2022-09-09 David Malcolm + + * doc/invoke.texi (Static Analyzer Options): Add + -Wanalyzer-exposure-through-uninit-copy. + +2022-09-09 David Malcolm + + * Makefile.in (ANALYZER_OBJS): Add + analyzer/known-function-manager.o. + +2022-09-09 Tobias Burnus + + * config/nvptx/mkoffload.cc (struct id_map): Add 'dim' member. + (record_id): Store func name without quotes, store dim separately. + (process): For GOMP_REQUIRES_REVERSE_OFFLOAD, check that -march is + at least sm_35, create '$offload_func_table' global array and init + with reverse-offload function addresses. + * config/nvptx/nvptx.cc (write_fn_proto_1, write_fn_proto): New + force_public attribute to force .visible. + (nvptx_declare_function_name): For "omp target + device_ancestor_nohost" attribut, force .visible/TREE_PUBLIC. + +2022-09-09 Tobias Burnus + + * config/gcn/mkoffload.cc (process_asm): Create .offload_func_table, + similar to pre-existing .offload_var_table. + +2022-09-09 Joseph Myers + + * ginclude/stddef.h [__STDC_VERSION__ > 201710L] (unreachable): + New macro. + +2022-09-09 Kewen Lin + + PR middle-end/106833 + * tree.cc (verify_opaque_type): New function. + (verify_type): Call verify_opaque_type for OPAQUE_TYPE. + +2022-09-09 Kwok Cheung Yeung + + * config/gcn/gcn-builtins.def (FABSVF, LDEXPVF, LDEXPV, FREXPVF_EXP, + FREXPVF_MANT, FREXPV_EXP, FREXPV_MANT): Add new builtins. + * config/gcn/gcn-protos.h (gcn_dconst1over2pi): New prototype. + * config/gcn/gcn-valu.md (MATH_UNOP_1OR2REG, MATH_UNOP_1REG, + MATH_UNOP_TRIG): New iterators. + (math_unop): New attributes. + (2, 2, + 2, 2, + *2_insn, *2_insn, + ldexp3, ldexp3, + frexp_exp2, frexp_mant2, + frexp_exp2, frexp_mant2): New instructions. + (2, 2): New expanders. + * config/gcn/gcn.cc (init_ext_gcn_constants): Update definition of + dconst1over2pi. + (gcn_dconst1over2pi): New. + (gcn_builtin_type_index): Add entry for v64df type. + (v64df_type_node): New. + (gcn_init_builtin_types): Initialize v64df_type_node. + (gcn_expand_builtin_1): Expand new builtins to instructions. + (print_operand): Fix assembler output for 1/(2*PI) constant. + * config/gcn/gcn.md (unspec): Add new entries. + +2022-09-09 Richard Biener + + PR tree-optimization/106722 + * tree-predcom.cc (ref_at_iteration): Do not associate the + constant part of the offset into the MEM_REF offset + operand, across a non-zero offset. + +2022-09-09 Kito Cheng + + * common/config/riscv/riscv-common.cc (RISCV_USE_CUSTOMISED_MULTI_LIB): + Move forward for cover all all necessary functions for suppress + unused function warnings. + (riscv_multi_lib_check): Move forward, and tweak message to suppress + -Werror=format-diag warning. + +2022-09-09 Richard Biener + + PR tree-optimization/106881 + * gimple-predicate-analysis.cc (simple_control_dep_chain): + Add only non-fallthru edges and avoid the same set of edges + as compute_control_dep_chain_pdom does. + +2022-09-09 Jan-Benedict Glaw + + * doc/tm.texi.in (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Document requirement + of TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT being defined as well. + * doc/tm.texi: Regenerate. + +2022-09-09 Martin Liska + + * optc-save-gen.awk: Always compare array option values with memcmp. + 2022-09-08 Jonathan Wakely PR c++/106838 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 56639c30a8b..9f94e785b02 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220909 +20220910 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 7263e741abd..0e3cc72aa6f 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,71 @@ +2022-09-09 David Malcolm + + * analyzer.opt (Wanalyzer-exposure-through-uninit-copy): New. + * checker-path.cc (region_creation_event::region_creation_event): + Add "capacity" and "kind" params. + (region_creation_event::get_desc): Generalize to different kinds + of event. + (checker_path::add_region_creation_event): Convert to... + (checker_path::add_region_creation_events): ...this. + * checker-path.h (enum rce_kind): New. + (region_creation_event::region_creation_event): Add "capacity" and + "kind" params. + (region_creation_event::m_capacity): New field. + (region_creation_event::m_rce_kind): New field. + (checker_path::add_region_creation_event): Convert to... + (checker_path::add_region_creation_events): ...this. + * diagnostic-manager.cc (diagnostic_manager::build_emission_path): + Update for multiple region creation events. + (diagnostic_manager::add_event_on_final_node): Likewise. + (diagnostic_manager::add_events_for_eedge): Likewise. + * region-model-impl-calls.cc (call_details::get_logger): New. + * region-model.cc: Define INCLUDE_MEMORY before including + "system.h". Include "gcc-rich-location.h". + (class record_layout): New. + (class exposure_through_uninit_copy): New. + (contains_uninit_p): New. + (region_model::maybe_complain_about_infoleak): New. + * region-model.h (call_details::get_logger): New decl. + (region_model::maybe_complain_about_infoleak): New decl. + (region_model::mark_as_tainted): New decl. + * sm-taint.cc (region_model::mark_as_tainted): New. + +2022-09-09 David Malcolm + + * analyzer.h (class known_function_manager): New forward decl. + (class known_function): New. + (plugin_analyzer_init_iface::register_known_function): New. + * engine.cc: Include "analyzer/known-function-manager.h". + (plugin_analyzer_init_impl::plugin_analyzer_init_impl): Add + known_fn_mgr param. + (plugin_analyzer_init_impl::register_state_machine): Add + LOC_SCOPE. + (plugin_analyzer_init_impl::register_known_function): New. + (plugin_analyzer_init_impl::m_known_fn_mgr): New. + (impl_run_checkers): Update plugin callback invocation to use + eng's known_function_manager. + * known-function-manager.cc: New file. + * known-function-manager.h: New file. + * region-model-manager.cc + (region_model_manager::region_model_manager): Pass logger to + m_known_fn_mgr's ctor. + * region-model.cc (region_model::update_for_zero_return): New. + (region_model::update_for_nonzero_return): New. + (maybe_simplify_upper_bound): New. + (region_model::maybe_get_copy_bounds): New. + (region_model::get_known_function): New. + (region_model::on_call_pre): Handle plugin-supplied known + functions. + * region-model.h: Include "analyzer/known-function-manager.h". + (region_model_manager::get_known_function_manager): New. + (region_model_manager::m_known_fn_mgr): New. + (call_details::get_model): New accessor. + (region_model::maybe_get_copy_bounds): New decl. + (region_model::update_for_zero_return): New decl. + (region_model::update_for_nonzero_return): New decl. + (region_model::get_known_function): New decl. + (region_model::get_known_function_manager): New. + 2022-09-08 Tim Lange PR analyzer/106625 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 1d75a63f59d..4144df58138 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2022-09-09 Jan-Benedict Glaw + + * c-format.cc (convert_format_name_to_system_name): Fix warning. + 2022-09-07 Joseph Myers * c-common.cc (c_common_reswords): Use D_C2X instead of D_CXXONLY diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b027c5a5d03..4aac34fabe2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,62 @@ +2022-09-09 David Malcolm + + * gcc.dg/plugin/analyzer_kernel_plugin.c: New test. + * gcc.dg/plugin/copy_from_user-1.c: New test. + * gcc.dg/plugin/infoleak-1.c: New test. + * gcc.dg/plugin/infoleak-2.c: New test. + * gcc.dg/plugin/infoleak-3.c: New test. + * gcc.dg/plugin/infoleak-CVE-2011-1078-1.c: New test. + * gcc.dg/plugin/infoleak-CVE-2011-1078-2.c: New test. + * gcc.dg/plugin/infoleak-CVE-2014-1446-1.c: New test. + * gcc.dg/plugin/infoleak-CVE-2017-18549-1.c: New test. + * gcc.dg/plugin/infoleak-CVE-2017-18550-1.c: New test. + * gcc.dg/plugin/infoleak-antipatterns-1.c: New test. + * gcc.dg/plugin/infoleak-fixit-1.c: New test. + * gcc.dg/plugin/infoleak-net-ethtool-ioctl.c: New test. + * gcc.dg/plugin/infoleak-vfio_iommu_type1.c: New test. + * gcc.dg/plugin/plugin.exp (plugin_test_list): Add + analyzer_kernel_plugin.c and the new test cases. + * gcc.dg/plugin/taint-CVE-2011-0521-1-fixed.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-1.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-2-fixed.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-2.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-3-fixed.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-3.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-4.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-5-fixed.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-5.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521-6.c: New test. + * gcc.dg/plugin/taint-CVE-2011-0521.h: New test. + * gcc.dg/plugin/taint-antipatterns-1.c: New test. + * gcc.dg/plugin/test-uaccess.h: New header for tests. + +2022-09-09 David Malcolm + + * gcc.dg/plugin/analyzer_known_fns_plugin.c: New test plugin. + * gcc.dg/plugin/known-fns-1.c: New test. + * gcc.dg/plugin/plugin.exp (plugin_test_list): Add the new plugin + and test. + +2022-09-09 David Malcolm + + PR analyzer/98247 + * gcc.dg/analyzer/flexible-array-member-1.c: New test. + +2022-09-09 Joseph Myers + + * gcc.dg/c11-unreachable-1.c, gcc.dg/c2x-unreachable-1.c: New + tests. + +2022-09-09 Kewen Lin + + PR middle-end/106833 + * gcc.target/powerpc/pr106833.c: New test. + +2022-09-09 Richard Biener + + PR tree-optimization/106722 + * gcc.dg/torture/pr106892.c: New testcase. + 2022-09-08 Tobias Burnus PR fortran/106670 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 887c59bd9a0..e78fc38a0ef 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,31 @@ +2022-09-09 Tobias Burnus + + * plugin/plugin-nvptx.c (GOMP_OFFLOAD_load_image): Read offload + function address table '$offload_func_table' if rev_fn_table + is not NULL. + +2022-09-09 Tobias Burnus + + * plugin/plugin-gcn.c (GOMP_OFFLOAD_load_image): Read + .offload_func_table to populate rev_fn_table when requested. + +2022-09-09 Tobias Burnus + + * libgomp-plugin.h (GOMP_OFFLOAD_load_image): Add + 'uint64_t **rev_fn_table' argument. + * oacc-host.c (host_load_image): Likewise. + * plugin/plugin-gcn.c (GOMP_OFFLOAD_load_image): Likewise; + currently unused. + * plugin/plugin-nvptx.c (GOMP_OFFLOAD_load_image): Likewise. + * target.c (gomp_load_image_to_device): Update call but pass + NULL for now. + +2022-09-09 Jakub Jelinek + + PR libgomp/106894 + * env.c (initialize_env) : Use char ** instead of + char * for dest[1] initialization from params[1]. Formatting fixes. + 2022-09-08 Tobias Burnus PR fortran/106670 diff --git a/liboffloadmic/ChangeLog b/liboffloadmic/ChangeLog index f502750dc89..f33f0168a80 100644 --- a/liboffloadmic/ChangeLog +++ b/liboffloadmic/ChangeLog @@ -1,3 +1,8 @@ +2022-09-09 Tobias Burnus + + * plugin/libgomp-plugin-intelmic.cpp (GOMP_OFFLOAD_load_image): + Add (unused) uint64_t **rev_fn_table argument. + 2022-08-25 Martin Liska * configure: Regenerate. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 578173519de..2e15013bd0a 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,31 @@ +2022-09-09 Jonathan Wakely + + * include/bits/atomic_base.h (__atomic_impl::__compare_exchange): + Rename __weak to __is_weak. + * testsuite/17_intro/names.cc: Add __weak and __strong. + +2022-09-09 Patrick Palka + + PR libstdc++/106803 + * include/std/ranges (views::_ZipTransform::operator()): Correct + return type in the empty case. + (views::_AdjacentTransform::operator()): Likewise. + +2022-09-09 Patrick Palka + + PR libstdc++/106798 + * include/std/ranges (adjacent_view::_Iterator::_Iterator): Fix + typo. + * testsuite/std/ranges/adaptors/adjacent/1.cc (test04): New test. + +2022-09-09 Patrick Palka + + PR libstdc++/106766 + * include/std/ranges (zip_view::_Iterator::operator-): Use + __to_unsigned_like instead of make_unsigned_t. + (zip_view::_Sentinel::operator-): Likewise. + * testsuite/std/ranges/zip/1.cc (test04): New test. + 2022-09-08 François Dumont * testsuite/util/testsuite_performance.h (__gnu_test::MallocInfo): New.