aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2022-09-10 00:17:21 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2022-09-10 00:17:21 +0000
commit861d1a11c0a052ddb3851950d3c0db86b320646d (patch)
tree7c0360d20cbdfdf8fbe4773f2f4eb55efe6747d5
parent89afb2e86fcb29c559b2957fdcbea0d01740c49b (diff)
Daily bump.
-rw-r--r--gcc/ChangeLog116
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/analyzer/ChangeLog68
-rw-r--r--gcc/c-family/ChangeLog4
-rw-r--r--gcc/testsuite/ChangeLog59
-rw-r--r--libgomp/ChangeLog28
-rw-r--r--liboffloadmic/ChangeLog5
-rw-r--r--libstdc++-v3/ChangeLog28
8 files changed, 309 insertions, 1 deletions
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 <jjsuwa_sys3175@yahoo.co.jp>
+
+ * 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 <jjsuwa_sys3175@yahoo.co.jp>
+
+ * 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 <dmalcolm@redhat.com>
+
+ * doc/invoke.texi (Static Analyzer Options): Add
+ -Wanalyzer-exposure-through-uninit-copy.
+
+2022-09-09 David Malcolm <dmalcolm@redhat.com>
+
+ * Makefile.in (ANALYZER_OBJS): Add
+ analyzer/known-function-manager.o.
+
+2022-09-09 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
+
+ * config/gcn/mkoffload.cc (process_asm): Create .offload_func_table,
+ similar to pre-existing .offload_var_table.
+
+2022-09-09 Joseph Myers <joseph@codesourcery.com>
+
+ * ginclude/stddef.h [__STDC_VERSION__ > 201710L] (unreachable):
+ New macro.
+
+2022-09-09 Kewen Lin <linkw@linux.ibm.com>
+
+ 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 <kcy@codesourcery.com>
+
+ * 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.
+ (<math_unop><mode>2, <math_unop><mode>2<exec>,
+ <math_unop><mode>2, <math_unop><mode>2<exec>,
+ *<math_unop><mode>2_insn, *<math_unop><mode>2<exec>_insn,
+ ldexp<mode>3, ldexp<mode>3<exec>,
+ frexp<mode>_exp2, frexp<mode>_mant2,
+ frexp<mode>_exp2<exec>, frexp<mode>_mant2<exec>): New instructions.
+ (<math_unop><mode>2, <math_unop><mode>2<exec>): 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 <rguenther@suse.de>
+
+ 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 <kito.cheng@sifive.com>
+
+ * 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 <rguenther@suse.de>
+
+ 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 <jbglaw@lug-owl.de>
+
+ * 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 <mliska@suse.cz>
+
+ * optc-save-gen.awk: Always compare array option values with memcmp.
+
2022-09-08 Jonathan Wakely <jwakely@redhat.com>
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 <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ * 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 <mail@tim-lange.me>
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 <jbglaw@lug-owl.de>
+
+ * c-format.cc (convert_format_name_to_system_name): Fix warning.
+
2022-09-07 Joseph Myers <joseph@codesourcery.com>
* 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 <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ PR analyzer/98247
+ * gcc.dg/analyzer/flexible-array-member-1.c: New test.
+
+2022-09-09 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc.dg/c11-unreachable-1.c, gcc.dg/c2x-unreachable-1.c: New
+ tests.
+
+2022-09-09 Kewen Lin <linkw@linux.ibm.com>
+
+ PR middle-end/106833
+ * gcc.target/powerpc/pr106833.c: New test.
+
+2022-09-09 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106722
+ * gcc.dg/torture/pr106892.c: New testcase.
+
2022-09-08 Tobias Burnus <tobias@codesourcery.com>
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 <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
+
+ * plugin/plugin-gcn.c (GOMP_OFFLOAD_load_image): Read
+ .offload_func_table to populate rev_fn_table when requested.
+
+2022-09-09 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <jakub@redhat.com>
+
+ PR libgomp/106894
+ * env.c (initialize_env) <case PARSE_BIND>: Use char ** instead of
+ char * for dest[1] initialization from params[1]. Formatting fixes.
+
2022-09-08 Tobias Burnus <tobias@codesourcery.com>
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 <tobias@codesourcery.com>
+
+ * plugin/libgomp-plugin-intelmic.cpp (GOMP_OFFLOAD_load_image):
+ Add (unused) uint64_t **rev_fn_table argument.
+
2022-08-25 Martin Liska <mliska@suse.cz>
* 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 <jwakely@redhat.com>
+
+ * 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 <ppalka@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ 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 <fdumont@gcc.gnu.org>
* testsuite/util/testsuite_performance.h (__gnu_test::MallocInfo): New.