[gcc r13-1148] Daily bump.

[gcc r13-1148] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:bc7e9f76756f2f164bb5dc70b59bc0d838f9fa96

commit r13-1148-gbc7e9f76756f2f164bb5dc70b59bc0d838f9fa96
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jun 17 00:16:23 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 110 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/analyzer/ChangeLog  |  16 +++++++
 gcc/c/ChangeLog         |  23 ++++++++++
 gcc/cp/ChangeLog        |  11 +++++
 gcc/testsuite/ChangeLog |  57 +++++++++++++++++++++++++
 libstdc++-v3/ChangeLog  |  13 ++++++
 7 files changed, 231 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2d8c237df60..0154e462eea 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,113 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* gimple-ssa-warn-access.cc (warn_string_no_nul): Add
+	auto_diagnostic_group to group any warning with its note.
+	(maybe_warn_for_bound): Likewise.
+	(check_access): Likewise.
+	(warn_dealloc_offset): Likewise.
+	(pass_waccess::maybe_warn_memmodel): Likewise.
+	(pass_waccess::maybe_check_dealloc_call): Likewise.
+	(pass_waccess::warn_invalid_pointer): Likewise.
+	(pass_waccess::check_dangling_stores): Likewise.
+
+2022-06-16  Jason Merrill  <jason@redhat.com>
+
+	* opts.cc (common_handle_option) [OPT_fsanitize_]: Set
+	opts_set->x_flag_sanitize.
+
+2022-06-16  Jason Merrill  <jason@redhat.com>
+
+	* flags.h (issue_strict_overflow_warning): Comment #endif.
+
+2022-06-16  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-cache.cc (ranger_cache::apply_inferred_ranges): If name
+	was invaraint before, clear the invariant bit.
+	* gimple-range-gori.cc (gori_map::set_range_invariant): Add a flag.
+	* gimple-range-gori.h (gori_map::set_range_invariant): Adjust prototype.
+
+2022-06-16  Andrew MacLeod  <amacleod@redhat.com>
+
+	* tree-ssa-propagate.cc (before_dom_children): Call value_of_stmt.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/105983
+	* match.pd (y == XXX_MIN || x < y -> x <= y - 1,
+	y != XXX_MIN && x >= y -> x > y - 1): Use :cs instead of :s
+	on non-equality comparisons.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/105984
+	* match.pd (__builtin_mul_overflow_p (x, cst, (stype) 0) ->
+	x > stype_max / cst || x < stype_min / cst): fold_convert @1
+	to TREE_TYPE (@0) just once and test for negative divisor
+	also on that folded constant instead of on @1.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/105951
+	* tree-ssa-ccp.cc (optimize_atomic_bit_test_and,
+	optimize_atomic_op_fetch_cmp_0): Remember gimple_call_fn (call)
+	as last argument to the internal functions.
+	* builtins.cc (expand_ifn_atomic_bit_test_and): Adjust for the
+	extra call argument to ifns.  If expand_atomic_fetch_op fails for the
+	lhs == NULL_TREE case, fall through into the optab code with
+	gen_reg_rtx (mode) as target.  If second expand_atomic_fetch_op
+	fails, construct a CALL_EXPR and expand that.
+	(expand_ifn_atomic_op_fetch_cmp_0): Adjust for the extra call argument
+	to ifns.  If expand_atomic_fetch_op fails, construct a CALL_EXPR and
+	expand that.
+
+2022-06-16  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	PR target/103316
+	* config/rs6000/rs6000-builtin.cc (rs6000_gimple_fold_builtin): Enable
+	gimple folding for RS6000_BIF_VCMPEQUT, RS6000_BIF_VCMPNET,
+	RS6000_BIF_CMPGE_1TI, RS6000_BIF_CMPGE_U1TI, RS6000_BIF_VCMPGTUT,
+	RS6000_BIF_VCMPGTST, RS6000_BIF_CMPLE_1TI, RS6000_BIF_CMPLE_U1TI.
+	* config/rs6000/vector.md (VEC_IC): New mode iterator.  Add support
+	for new Power10 V1TI instructions.
+	(vec_cmp<mode><mode>): Set mode iterator to VEC_IC.
+	(vec_cmpu<mode><mode>): Likewise.
+	(vector_nlt<mode>): Set mode iterator to VEC_IC.
+	(vector_nltv1ti): Remove.
+	(vector_gtu<mode>): Set mode iterator to VEC_IC.
+	(vector_gtuv1ti): Remove.
+	(vector_nltu<mode>): Set mode iterator to VEC_IC.
+	(vector_nltuv1ti): Remove.
+	(vector_geu<mode>): Set mode iterator to VEC_IC.
+	(vector_ngt<mode>): Likewise.
+	(vector_ngtv1ti): Remove.
+	(vector_ngtu<mode>): Set mode iterator to VEC_IC.
+	(vector_ngtuv1ti): Remove.
+	(vector_gtu_<mode>_p): Set mode iterator to VEC_IC.
+	(vector_gtu_v1ti_p): Remove.
+	(vrotl<mode>3): Set mode iterator to VEC_IC.  Emit insns for V1TI.
+	(vrotlv1ti3): Remove.
+	(vashr<mode>3): Set mode iterator to VEC_IC.  Emit insns for V1TI.
+	(vashrv1ti3): Remove.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+	* gengtype-state.cc (read_a_state_token): Do not skip extra
+	character after escaped sequence.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+	PR driver/105564
+	* spellcheck.cc (test_find_closest_string): Add new test.
+	* spellcheck.h (class best_match): Prefer a difference in
+	trailing sign symbol.
+
+2022-06-16  liuhongt  <hongtao.liu@intel.com>
+
+	PR tree-optimization/53533
+	* match.pd: Simplify (B * v + C) * D -> BD * v + CD and
+	(v + B) * C + D -> C * v + BCD when B,C,D are all INTEGER_CST,
+	and there's no overflow or !TYPE_OVERFLOW_UNDEFINED.
+
 2022-06-15  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
 
 	* config/xtensa/xtensa.md (DSC): New split pattern and mode iterator.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 3d567999025..0ebec288c7f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220616
+20220617
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index eca4b946894..f69a5b68b42 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,19 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* varargs.cc (va_arg_type_mismatch::emit): Associate the warning
+	with CWE-686 ("Function Call With Incorrect Argument Type").
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* varargs.cc: Include "diagnostic-metadata.h".
+	(va_list_exhausted::emit): Associate the warning with
+	CWE-685 ("Function Call With Incorrect Number of Arguments").
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* sm-file.cc (double_fclose::emit): Associate the warning with
+	CWE-1341 ("Multiple Releases of Same Resource or Handle").
+
 2022-06-15  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/105962
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 5be39413b62..077b726d09c 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,26 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* c-decl.cc (implicitly_declare): Add auto_diagnostic_group to
+	group the warning with any note.
+	(warn_about_goto): Likewise to group error or warning with note.
+	Bail out if the warning wasn't emitted, to avoid emitting orphan
+	notes.
+	(lookup_label_for_goto): Add auto_diagnostic_group to
+	group the error with the note.
+	(check_earlier_gotos): Likewise.
+	(c_check_switch_jump_warnings): Likewise for any error/warning.
+	Conditionalize emission of the notes.
+	(diagnose_uninitialized_cst_member): Likewise for warning,
+	conditionalizing emission of the note.
+	(grokdeclarator): Add auto_diagnostic_group to group the "array
+	type has incomplete element type" error with any note.
+	(parser_xref_tag): Add auto_diagnostic_group to group warnings
+	with their notes.  Conditionalize emission of notes.
+	(start_struct): Add auto_diagnostic_group to group the
+	"redefinition of" errors with any note.
+	(start_enum): Likewise for "redeclaration of %<enum %E%>" error.
+	(check_for_loop_decls): Likewise for pre-C99 error.
+
 2022-06-07  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-parser.cc (c_parser_omp_clause_linear): Parse OpenMP 5.2
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6223cc224ac..658525d6034 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2022-06-16  Nathan Sidwell  <nathan@acm.org>
+
+	* decl2.cc (finish_objects): Add startp parameter, adjust.
+	(generate_ctor_or_dtor_function): Detect empty fn, and don't
+	generate unnecessary code.  Remove objc startup here ...
+	(c_parse_final_cleanyps): ... do it here.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+	* decl2.cc (struct priority_map_traits): Remove unused param.
+
 2022-06-15  Nathan Sidwell  <nathan@acm.org>
 
 	* module.cc (module_state::write_readme): Use less confusing
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c8664b31445..5cdb3905d17 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,60 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/stdarg-1.c
+	(__analyzer_called_by_test_type_mismatch_1): Verify that
+	-Wanalyzer-va-arg-type-mismatch is associated with CWE-686.
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/stdarg-1.c
+	(__analyzer_called_by_test_not_enough_args): Verify that
+	-Wanalyzer-va-list-exhausted is associated with CWE-685.
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/file-1.c (test_1): Verify that double-fclose is
+	associated with CWE-1341.
+
+2022-06-16  Nathan Sidwell  <nathan@acm.org>
+
+	* g++.dg/modules/init-2_b.C: Add init check.
+	* g++.dg/modules/init-2_c.C: Add init check.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/105983
+	* gcc.dg/tree-ssa/pr105983.c: New test.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/105984
+	* gcc.c-torture/execute/pr105984.c: New test.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/105951
+	* gcc.target/i386/pr105951-1.c: New test.
+	* gcc.target/i386/pr105951-2.c: New test.
+
+2022-06-16  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	PR target/103316
+	* gcc.target/powerpc/pr103316.c: New.
+	* gcc.target/powerpc/fold-vec-cmp-int128.c: New.
+
+2022-06-16  Jia-wei Chen  <jiawei@iscas.ac.cn>
+
+	* gcc.target/riscv/pr105666.c: New options.
+
+2022-06-16  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/pr53533-1.c: New test.
+	* gcc.target/i386/pr53533-2.c: New test.
+	* gcc.target/i386/pr53533-3.c: New test.
+	* gcc.target/i386/pr53533-4.c: New test.
+	* gcc.target/i386/pr53533-5.c: New test.
+	* gcc.dg/vect/slp-11a.c: Adjust testcase.
+
 2022-06-15  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
 
 	* gcc.target/xtensa/sibcalls.c: New.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 80ca871a558..c061aeb17b2 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,16 @@
+2022-06-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/105995
+	* include/bits/basic_string.h (_M_use_local_data): Initialize
+	the entire SSO buffer.
+	* testsuite/21_strings/basic_string/cons/char/105995.cc: New test.
+
+2022-06-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/101482
+	* include/ext/vstring.h (operator==): Always check lengths
+	before comparing.
+
 2022-06-15  François Dumont  <fdumont@gcc.gnu.org>
 
 	PR libstdc++/105717