[gcc r13-1718] Daily bump.

[gcc r13-1718] Daily bump.

[GCC Administrator]

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

commit r13-1718-gbdc7b765f8728cbb769fe1eeef773eda15578aee
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Jul 16 00:16:30 2022 +0000

    Daily bump.

Diff:
---
 ChangeLog               |   4 ++
 gcc/ChangeLog           | 111 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/analyzer/ChangeLog  |  34 +++++++++++++++
 gcc/c-family/ChangeLog  |  14 ++++++
 gcc/cp/ChangeLog        |  25 +++++++++++
 gcc/fortran/ChangeLog   |   6 +++
 gcc/go/ChangeLog        |   5 +++
 gcc/testsuite/ChangeLog |  49 +++++++++++++++++++++
 libcpp/ChangeLog        |   7 +++
 libstdc++-v3/ChangeLog  |  17 ++++++++
 11 files changed, 273 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 2c32b6403f0..171f4903445 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-07-15  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* MAINTAINERS: Add myself to Write After Approval.
+
 2022-07-04  Martin Liska  <mliska@suse.cz>
 
 	* MAINTAINERS: fix sorting of names
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 323b46f2ffd..dc8d2e74c34 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,114 @@
+2022-07-15  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR target/85620
+	* config/i386/i386.cc (ix86_function_ok_for_sibcall): Return
+	false if callee has indirect_return attribute and caller
+	doesn't.
+
+2022-07-15  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/106273
+	* config/i386/i386.md (*andn<dwi>3_doubleword_bmi): Update the
+	constraints to reflect the output is earlyclobber, unless it is
+	the same register (pair) as one of the operands.
+
+2022-07-15  David Malcolm  <dmalcolm@redhat.com>
+
+	* doc/invoke.texi (Static Analyzer Options): Add the new fd
+	warnings to the initial gccoptlist, and to the list of those
+	disabled by -fanalyzer-checker=taint.
+
+2022-07-15  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* config/aarch64/aarch64-builtins.cc
+	(enum aarch64_type_qualifiers): Remove qualifier_internal.
+	(aarch64_init_simd_builtin_functions): Remove qualifier_internal check.
+
+2022-07-15  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* config/aarch64/aarch64-builtins.cc
+	(v1di_UP): Add V1DI mode to _UP macros.
+	* config/aarch64/aarch64-modes.def (VECTOR_MODE): Add V1DI mode.
+	* config/aarch64/aarch64-simd-builtin-types.def: Use V1DI mode.
+	* config/aarch64/aarch64-simd.md
+	(vec_extractv2dfv1df): Replace with...
+	(vec_extract<mode><V1half>): ...this.
+	* config/aarch64/aarch64.cc
+	(aarch64_classify_vector_mode): Add V1DI mode.
+	* config/aarch64/iterators.md
+	(VQ_2E, V1HALF, V1half): New.
+	(nunits): Add V1DI mode.
+
+2022-07-15  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/106278
+	* config/i386/i386-features.cc (general_scalar_chain::convert_insn):
+	Fix indentation whitespace.
+	(timode_scalar_chain::fix_debug_reg_uses): Likewise.
+	(timode_scalar_chain::convert_insn): Delete dead code.
+	Update TImode REG_EQUAL_NOTE even if the SET_DEST is already V1TI.
+	Fix indentation whitespace.
+	(convertible_comparison_p): Likewise.
+	(timode_scalar_to_vector_candidate_p): Likewise.
+
+2022-07-15  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-pretty-print.cc (dump_ssaname_info): Use pp_vrange.
+
+2022-07-15  Aldy Hernandez  <aldyh@redhat.com>
+
+	* Makefile.in (OBJS): Add value-range-pretty-print.o.
+	* pretty-print.h (pp_vrange): New.
+	* value-range.cc (vrange::dump): Call pp version.
+	(unsupported_range::dump): Move to its own file.
+	(dump_bound_with_infinite_markers): Same.
+	(irange::dump): Same.
+	(irange::dump_bitmasks): Same.
+	(vrange::debug): Remove.
+	* value-range.h: Remove virtual designation for dump methods.
+	Remove dump_bitmasks method.
+	* value-range-pretty-print.cc: New file.
+	* value-range-pretty-print.h: New file.
+
+2022-07-15  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range.cc (irange::accept): New.
+	(unsupported_range::accept): New.
+	* value-range.h (class vrange_visitor): New.
+	(class vrange): Add accept method.
+	(class unsupported_range): Same.
+	(class Value_Range): Same.
+
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* diagnostic-format-json.cc (json_from_location_range): Adjust
+	to new label_text API.
+	* diagnostic-format-sarif.cc (sarif_builder::make_location_object):
+	Likewise.
+	* diagnostic-show-locus.cc (struct pod_label_text): Likewise.
+	(layout::print_any_labels): Likewise.
+	* tree-diagnostic-path.cc (class path_label): Likewise.
+	(struct event_range): Likewise.
+	(default_tree_diagnostic_path_printer): Likewise.
+	(default_tree_make_json_for_path): Likewise.
+
+2022-07-15  konglin1  <lingling.kong@intel.com>
+
+	PR target/106113
+	* config/i386/i386-builtin.def (BDESC): Fix [u]comi{ss,sd}
+	comparison due to intrinsics changed over time.
+	* config/i386/i386-expand.cc (ix86_ssecom_setcc):
+	Add unordered check and mode for sse comi codegen.
+	(ix86_expand_sse_comi): Add unordered check and check a different
+	CCmode.
+	(ix86_expand_sse_comi_round):Extract unordered check and mode part
+	in ix86_ssecom_setcc.
+
+2022-07-15  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	* config/aarch64/aarch64.cc (aarch64_vectorize_vec_perm_const): Use
+	op_mode instead of vmode in calls to force_reg for op0 and op1.
+
 2022-07-14  H.J. Lu  <hjl.tools@gmail.com>
 
 	PR tree-optimization/103798
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 5d08726610c..cedfb434cc2 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220715
+20220716
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 06d845465fa..4f010eb75d7 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,37 @@
+2022-07-15  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/106284
+	* sm-taint.cc (taint_state_machine::on_condition): Handle range
+	checks optimized by build_range_check.
+
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* call-info.cc (call_info::print): Adjust to new label_text API.
+	* checker-path.cc (checker_event::dump): Likewise.
+	(region_creation_event::get_desc): Likewise.
+	(state_change_event::get_desc): Likewise.
+	(superedge_event::should_filter_p): Likewise.
+	(start_cfg_edge_event::get_desc): Likewise.
+	(call_event::get_desc): Likewise.
+	(return_event::get_desc): Likewise.
+	(warning_event::get_desc): Likewise.
+	(checker_path::dump): Likewise.
+	(checker_path::debug): Likewise.
+	* diagnostic-manager.cc (diagnostic_manager::prune_for_sm_diagnostic):
+	Likewise.
+	(diagnostic_manager::prune_interproc_events): Likewise.
+	* engine.cc (feasibility_state::maybe_update_for_edge):
+	Likewise.
+	* program-state.cc (sm_state_map::to_json): Likewise.
+	* region-model-impl-calls.cc (region_model::impl_call_analyzer_describe): Likewise.
+	(region_model::impl_call_analyzer_dump_capacity): Likewise.
+	* region.cc (region::to_json): Likewise.
+	* sm-malloc.cc (inform_nonnull_attribute): Likewise.
+	* store.cc (binding_map::to_json): Likewise.
+	(store::to_json): Likewise.
+	* supergraph.cc (superedge::dump): Likewise.
+	* svalue.cc (svalue::to_json): Likewise.
+
 2022-07-07  David Malcolm  <dmalcolm@redhat.com>
 
 	* checker-path.cc (start_cfg_edge_event::get_desc): Update for
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index d46eb18718e..ade553f42fa 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,17 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/104477
+	* c-common.cc (c_common_reswords): Add
+	__reference_constructs_from_temporary and
+	__reference_converts_from_temporary.
+	* c-common.h (enum rid): Add RID_REF_CONSTRUCTS_FROM_TEMPORARY and
+	RID_REF_CONVERTS_FROM_TEMPORARY.
+
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* c-format.cc (class range_label_for_format_type_mismatch):
+	Adjust to new label_text API.
+
 2022-07-11  Lewis Hyatt  <lhyatt@gmail.com>
 
 	PR preprocessor/106252
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index aa317e867be..ce6f8ea0f21 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,28 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/104477
+	* call.cc (ref_conv_binds_directly_p): Rename to ...
+	(ref_conv_binds_directly): ... this.  Add a new bool parameter.  Change
+	the return type to tristate.
+	* constraint.cc (diagnose_trait_expr): Handle
+	CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY.
+	* cp-tree.h: Include "tristate.h".
+	(enum cp_trait_kind): Add CPTK_REF_CONSTRUCTS_FROM_TEMPORARY
+	and CPTK_REF_CONVERTS_FROM_TEMPORARY.
+	(ref_conv_binds_directly_p): Rename to ...
+	(ref_conv_binds_directly): ... this.
+	(ref_xes_from_temporary): Declare.
+	* cxx-pretty-print.cc (pp_cxx_trait_expression): Handle
+	CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY.
+	* method.cc (ref_xes_from_temporary): New.
+	* parser.cc (cp_parser_primary_expression): Handle
+	RID_REF_CONSTRUCTS_FROM_TEMPORARY and RID_REF_CONVERTS_FROM_TEMPORARY.
+	(cp_parser_trait_expr): Likewise.
+	(warn_for_range_copy): Adjust to call ref_conv_binds_directly.
+	* semantics.cc (trait_expr_value): Handle
+	CPTK_REF_CONSTRUCTS_FROM_TEMPORARY and CPTK_REF_CONVERTS_FROM_TEMPORARY.
+	(finish_trait_expr): Likewise.
+
 2022-07-13  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/105912
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f02b65fbc59..cfe1e6df7f0 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-07-15  Steve Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/104313
+	* trans-decl.cc (gfc_generate_return): Do not generate conflicting
+	fake results for functions with no result variable under -ff2c.
+
 2022-07-14  Harald Anlauf  <anlauf@gmx.de>
 	    Steven G. Kargl  <kargl@gcc.gnu.org>
 
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index 5fdf423fec7..6ad883f8b2e 100644
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,8 @@
+2022-07-15  Ian Lance Taylor  <iant@golang.org>
+
+	* go-gcc.cc (Gcc_backend::call_expression): Handle a void
+	argument, as for f(g()) where g returns a zero-sized type.
+
 2022-06-02  David Malcolm  <dmalcolm@redhat.com>
 
 	* go-lang.cc (go_get_sarif_source_language): New.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cfdf6462425..cc8ea71642a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,52 @@
+2022-07-15  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR target/85620
+	* gcc.target/i386/pr85620-2.c: Updated.
+	* gcc.target/i386/pr85620-5.c: New test.
+	* gcc.target/i386/pr85620-6.c: Likewise.
+	* gcc.target/i386/pr85620-7.c: Likewise.
+
+2022-07-15  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/106273
+	* gcc.target/i386/pr106273.c: New test case.
+
+2022-07-15  Steve Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/104313
+	* gfortran.dg/pr104313.f: New test.
+
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/104477
+	* g++.dg/ext/reference_constructs_from_temporary1.C: New test.
+	* g++.dg/ext/reference_converts_from_temporary1.C: New test.
+
+2022-07-15  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/106284
+	* gcc.dg/analyzer/torture/taint-read-index-2.c: New test.
+
+2022-07-15  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* gcc.dg/pr106278.c: New test case.
+
+2022-07-15  konglin1  <lingling.kong@intel.com>
+
+	PR target/106113
+	* gcc.target/i386/avx-vcomisd-pr106113-2.c: New test.
+	* gcc.target/i386/avx-vcomiss-pr106113-2.c: Ditto.
+	* gcc.target/i386/avx-vucomisd-pr106113-2.c: Ditto.
+	* gcc.target/i386/avx-vucomiss-pr106113-2.c: Ditto.
+	* gcc.target/i386/sse-comiss-pr106113-1.c: Ditto.
+	* gcc.target/i386/sse-comiss-pr106113-2.c: Ditto.
+	* gcc.target/i386/sse-ucomiss-pr106113-1.c: Ditto.
+	* gcc.target/i386/sse-ucomiss-pr106113-2.c: Ditto.
+	* gcc.target/i386/sse2-comisd-pr106113-1.c: Ditto.
+	* gcc.target/i386/sse2-comisd-pr106113-2.c: Ditto.
+	* gcc.target/i386/sse2-ucomisd-pr106113-1.c: Ditto.
+	* gcc.target/i386/sse2-ucomisd-pr106113-2.c: Ditto.
+
 2022-07-14  H.J. Lu  <hjl.tools@gmail.com>
 
 	PR tree-optimization/103798
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index fe02298eb2a..4905bd57e1b 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,10 @@
+2022-07-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/line-map.h (label_text::take_or_copy): Remove.
+	(label_text::moved_from): Rename to release.
+	(label_text::m_buffer, label_text::m_owned): Make private.
+	(label_text::get, label_text::is_owned): New accessors.
+
 2022-07-13  Marek Polacek  <polacek@redhat.com>
 
 	PR preprocessor/106272
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 5f0bbd72445..1980646dd80 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,20 @@
+2022-07-15  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/104477
+	* include/std/type_traits (reference_constructs_from_temporary,
+	reference_converts_from_temporary): New class templates.
+	(reference_constructs_from_temporary_v,
+	reference_converts_from_temporary_v): New variable templates.
+	(__cpp_lib_reference_from_temporary): Define for C++23.
+	* include/std/version (__cpp_lib_reference_from_temporary): Define for
+	C++23.
+	* testsuite/20_util/variable_templates_for_traits.cc: Test
+	reference_constructs_from_temporary_v and
+	reference_converts_from_temporary_v.
+	* testsuite/20_util/reference_from_temporary/value.cc: New test.
+	* testsuite/20_util/reference_from_temporary/value2.cc: New test.
+	* testsuite/20_util/reference_from_temporary/version.cc: New test.
+
 2022-07-12  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR libstdc++/106248