[gcc r13-56] Daily bump.

[gcc r13-56] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:66d1e440e14377a373d0e3d67f478cca4fd14dea

commit r13-56-g66d1e440e14377a373d0e3d67f478cca4fd14dea
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Apr 30 00:16:27 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 166 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       |   4 ++
 gcc/cp/ChangeLog        |  90 ++++++++++++++++++++++++++
 gcc/fortran/ChangeLog   |   4 ++
 gcc/testsuite/ChangeLog |  88 +++++++++++++++++++++++++
 libstdc++-v3/ChangeLog  |  18 ++++++
 7 files changed, 371 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1599c454b23..a9a307db9f9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,169 @@
+2022-04-29  Martin Jambor  <mjambor@suse.cz>
+
+	PR ipa/100413
+	* cgraph.cc (cgraph_node::remove): Release body of the node this
+	is clone_of if appropriate.
+
+2022-04-29  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/51954
+	* config/i386/i386.md (adcl/neg -> sbb peephole): New peephole2.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	* gimple-expr.cc (is_gimple_condexpr): Adjust comment.
+	(canonicalize_cond_expr_cond): Move here from gimple.cc,
+	allow both COND_EXPR and GIMPLE_COND forms.
+	* gimple-expr.h (canonicalize_cond_expr_cond): Declare.
+	* gimple.cc (canonicalize_cond_expr_cond): Remove here.
+	* gimple.h (canonicalize_cond_expr_cond): Likewise.
+	* gimple-loop-versioning.cc (loop_versioning::version_loop):
+	Use is_gimple_condexpr_for_cond.
+	* tree-parloops.cc (gen_parallel_loop): Likewise.
+	* tree-ssa-ifcombine.cc (ifcombine_ifandif): Check for
+	a proper cond expr after canonicalize_cond_expr_cond.
+	Use is_gimple_condexpr_for_cond where appropriate.
+	* tree-ssa-loop-manip.cc (determine_exit_conditions): Likewise.
+	* tree-vect-loop-manip.cc (slpeel_add_loop_guard): Likewise.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	* gimple-iterator.h (gsi_after_labels): Add overload for
+	gimple_seq.
+	(gsi_start_1): Rename to gsi_start and take a reference.
+	(gsi_last_1): Likewise.
+	* gimple-iterator.cc (gsi_for_stmt): Use gsi_start.
+	* omp-low.cc (lower_rec_input_clauses): Likewise.
+	(lower_omp_scan): Likewise.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/105431
+	* tree-ssa-math-opts.cc (powi_as_mults_1): Make n unsigned.
+	(powi_as_mults): Use absu_hwi.
+	(gimple_expand_builtin_powi): Remove now pointless n != -n
+	check.
+
+2022-04-29  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op.cc (empty_range_varying): Move to range-op.h.
+	(range_true): Move to range.h.
+	(range_false): Same.
+	(range_true_and_false): Same.
+	(enum bool_range_state): Move to range-op.h.
+	(relop_early_resolve): Same.
+	(operator_equal::op1_op2_relation): Abstract code to...
+	(equal_op1_op2_relation): ...here.
+	(operator_not_equal::op1_op2_relation): Abstract code to...
+	(not_equal_op1_op2_relation): ...here.
+	(operator_lt::op1_op2_relation): Abstract code to...
+	(lt_op1_op2_relation): ...here.
+	(operator_le::op1_op2_relation): Abstract code to...
+	(le_op1_op2_relation): ...here.
+	(operator_gt::op1_op2_relation): Abstract code to...
+	(gt_op1_op2_relation): ...here.
+	(operator_ge::op1_op2_relation): Abstract code to...
+	(ge_op1_op2_relation): ...here.
+	(class range_op_table): Move to range-op.h.
+	* range-op.h (equal_op1_op2_relation): Moved from range-op.cc.
+	(not_equal_op1_op2_relation): Same.
+	(lt_op1_op2_relation): Same.
+	(le_op1_op2_relation): Same.
+	(gt_op1_op2_relation): Same.
+	(ge_op1_op2_relation): Same.
+	(enum bool_range_state): Same.
+	(get_bool_state): Same.
+	(empty_range_varying): Same.
+	(relop_early_resolve): Same.
+	(class range_op_table): Same.
+	* range.h (range_true): Same.
+	(range_false): Same.
+	(range_true_and_false): Same.
+
+2022-04-29  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-fold.cc (size_must_be_zero_p): Use reference
+	instead of pointer
+	* gimple-ssa-evrp-analyze.cc
+	(evrp_range_analyzer::record_ranges_from_incoming_edge): Rename
+	intersect to legacy_verbose_intersect.
+	* ipa-cp.cc (ipcp_vr_lattice::meet_with_1): Use reference instead
+	of pointer.
+	* tree-ssa-dom.cc (dom_jt_simplifier::simplify): Use value_range
+	instead of value_range_equiv.
+	* tree-vrp.cc (extract_range_from_plus_minus_expr): Use reference
+	instead of pointer.
+	(find_case_label_range): Same.
+	* value-range-equiv.cc (value_range_equiv::intersect): Rename to...
+	(value_range_equiv::legacy_verbose_intersect): ...this.
+	(value_range_equiv::union_): Rename to...
+	(value_range_equiv::legacy_verbose_union_): ...this.
+	* value-range-equiv.h (class value_range_equiv): Rename union and
+	intersect to legacy_verbose_{intersect,union}.
+	* value-range.cc (irange::union_): Rename to...
+	(irange::legacy_verbose_union_): ...this.
+	(irange::intersect): Rename to...
+	(irange::legacy_verbose_intersect): ...this.
+	* value-range.h (irange::union_): Rename union_ to
+	legacy_verbose_union.
+	(irange::intersect): Rename intersect to legacy_verbose_intersect.
+	* vr-values.cc (vr_values::update_value_range): Same.
+	(vr_values::extract_range_for_var_from_comparison_expr): Same.
+	(vr_values::extract_range_from_cond_expr): Rename union_ to
+	legacy_verbose_union.
+	(vr_values::extract_range_from_phi_node): Same.
+
+2022-04-29  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-ssa-evrp-analyze.cc
+	(evrp_range_analyzer::set_ssa_range_info): Use *range_info methods
+	that take a range.
+	* gimple-ssa-sprintf.cc (try_substitute_return_value): Same.
+	* ipa-prop.cc (ipcp_update_vr): Same.
+	* tree-inline.cc (remap_ssa_name): Same.
+	* tree-ssa-copy.cc (fini_copy_prop): Same.
+	* tree-ssa-math-opts.cc (optimize_spaceship): Same.
+	* tree-ssa-phiopt.cc (replace_phi_edge_with_variable): Same.
+	* tree-ssa-pre.cc (insert_into_preds_of_block): Same.
+	* tree-ssa-sccvn.cc (eliminate_dom_walker::eliminate_stmt): Same.
+	* tree-ssa-strlen.cc (set_strlen_range): Same.
+	(strlen_pass::handle_builtin_string_cmp): Same.
+	* tree-ssanames.cc (set_range_info): Make static.
+	(duplicate_ssa_name_range_info): Make static and add a new variant
+	calling the static.
+	* tree-ssanames.h (set_range_info): Remove version taking wide ints.
+	(duplicate_ssa_name_range_info): Remove version taking a
+	range_info_def and replace with a version taking SSA names.
+	* tree-vect-loop-manip.cc (vect_gen_vector_loop_niters): Use *range_info methods
+	that take a range.
+	(vect_do_peeling): Same.
+	* tree-vrp.cc (vrp_asserts::remove_range_assertions): Same.
+	* vr-values.cc (simplify_truth_ops_using_ranges): Same.
+
+2022-04-29  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range.h (irange::irange): Use set_undefined.
+
+2022-04-29  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-range-cache.h (non_null_ref::adjust_range): Do not use
+	irange::intersect (wide_int, wide_int).
+	* gimple-range-fold.cc (adjust_pointer_diff_expr): Same.
+	(adjust_imagpart_expr): Same.
+	* value-range.h (irange::intersect (wide_int, wide_int)): Make
+	private.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/104322
+	* tree-vect-loop.cc (vectorizable_reduction): Remove dead code.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/105376
+	* tree.cc (build_real): Special case dconst* arguments
+	for decimal floating point types.
+
 2022-04-28  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 
 	* doc/gcov.texi (Profiling and Test Coverage in Freestanding
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4041ef76b79..bbfd1ea75c2 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220429
+20220430
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 3a7b8ed8f92..fc01eba671b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2022-04-29  Martin Liska  <mliska@suse.cz>
+
+	* gnatvsn.ads: Bump Library_Version to 13.
+
 2022-04-27  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 
 	* tracebak.c: Add support for ARM RTEMS. Add support for RTEMS to PPC
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6304c14a893..572ff76cfe0 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,93 @@
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/91618
+	PR c++/96604
+	* friend.cc (do_friend): Call check_explicit_specialization here.
+	* decl.cc (grokdeclarator): Not here.
+	* decl2.cc (check_classfn): Or here.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/104470
+	* cp-tree.h (enum tsubst_flags): Add tf_dguide.
+	* pt.cc (tsubst_aggr_type): Check it.
+	(tsubst_baselink, tsubst_copy): Check it.
+	(maybe_dependent_member_ref): Check it.
+	(instantiate_alias_template): Handle it.
+	(build_deduction_guide): Set it.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/82980
+	* lambda.cc (type_deducible_expression_p): Allow more types.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	* decl.cc (cp_finish_decl): Only consider auto for vars.
+
+2022-04-29  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/67048
+	* parser.cc (cp_parser_enum_specifier): Warn about empty unnamed enum
+	only when it's followed by a semicolon.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/80351
+	* decl.cc (cp_finish_decl): Check completeness of deduced type.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/102987
+	* error.cc (dump_decl) [USING_DECL]: Respect flags.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	* error.cc (dump_decl): Check TFF_UNQUALIFIED_NAME.
+
+2022-04-29  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/104319
+	* parser.cc (cp_parser_template_argument): Treat >= like C++98 >>
+	after a type id by setting maybe_type_id and aborting tentative
+	parse.
+	(cp_parser_enclosed_template_argument_list): Handle
+	CPP_GREATER_EQ like misspelled CPP_GREATER CPP_RQ and
+	CPP_RSHIFT_EQ like misspelled CPP_GREATER CPP_GREATER_EQ
+	or CPP_RSHIFT CPP_EQ or CPP_GREATER CPP_GREATER CPP_EQ.
+	(cp_parser_next_token_ends_template_argument_p): Return true
+	also for CPP_GREATER_EQ and CPP_RSHIFT_EQ.
+
+2022-04-29  Iain Sandoe  <iain@sandoe.co.uk>
+
+	PR c++/105426
+	* coroutines.cc (register_local_var_uses): Allow promotion of unnamed
+	temporaries to coroutine frame copies.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	* semantics.cc (check_trait_type): Don't check completeness
+	of element type of array of unknown bound.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/102651
+	PR c++/49387
+	* rtti.cc (get_tinfo_decl_direct): Don't complete_type.
+	(emit_tinfo_decl): Update tdesc type if needed.
+
+2022-04-29  Zhao Wei Liew  <zhaoweiliew@gmail.com>
+
+	PR c++/25689
+	* call.cc (extract_call_expr): Return a NULL_TREE on failure
+	instead of asserting.
+	(build_new_method_call): Suppress -Wparentheses diagnostic for
+	MODIFY_EXPR.
+	* semantics.cc (is_assignment_op_expr_p): Add function to check
+	if an expression is a call to an op= operator expression.
+	(maybe_convert_cond): Handle the case of a op= operator expression
+	for the -Wparentheses diagnostic.
+
 2022-04-28  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/105425
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 017f3e6d2da..fa58d47461c 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,7 @@
+2022-04-29  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+	* gfortran.texi: Fix exchanged period and letter.
+
 2022-04-28  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
 	* gfortran.texi: Mention r16_ieee and r16_ibm.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2a7aa6b2e5c..1423689c653 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,91 @@
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/104470
+	* g++.dg/cpp2a/explicit11.C: Second example also ill-formed.
+	* g++.dg/cpp2a/class-deduction-alias12.C: New test.
+
+2022-04-29  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/67048
+	* g++.dg/cpp0x/enum42.C: New test.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/80351
+	* g++.dg/cpp0x/constexpr-77482.C: Adjust message.
+	* g++.dg/cpp1y/auto-fn27.C: Likewise.
+	* g++.dg/cpp1y/lambda-generic-variadic22.C: Likewise.
+	* g++.dg/cpp1z/decomp54.C: Likewise.
+	* g++.dg/cpp0x/initlist-const1.C: New test.
+	* g++.dg/warn/Wunused-var-37.C: New test.
+	* g++.dg/warn/Wunused-var-38.C: New test.
+	* g++.dg/warn/Wunused-var-39.C: New test.
+
+2022-04-29  Martin Jambor  <mjambor@suse.cz>
+
+	PR ipa/100413
+	* g++.dg/ipa/pr100413.C: New test.
+
+2022-04-29  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	PR tree-optimization/105219
+	* gcc.dg/vect/pr105219.c: Add aarch64 target option.
+
+2022-04-29  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/83596
+	* g++.dg/cpp1z/nontype5.C: New test.
+
+2022-04-29  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/78244
+	* g++.dg/cpp0x/Wnarrowing20.C: New test.
+
+2022-04-29  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/71424
+	* g++.dg/cpp0x/initlist-array15.C: New test.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/102987
+	* g++.dg/diagnostic/using1.C: Check pretty-printing.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp0x/alias-decl-1.C: Expect qualified name.
+
+2022-04-29  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/104319
+	* g++.dg/parse/template28.C: Adjust expected diagnostics.
+	* g++.dg/parse/template30.C: New test.
+
+2022-04-29  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/51954
+	* gcc.target/i386/pr51954.c: New test.
+
+2022-04-29  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/105376
+	* gcc.dg/pr105376.c: New testcase.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/ext/unary_trait_incomplete.C: Adjust.
+
+2022-04-29  Jason Merrill  <jason@redhat.com>
+
+	PR c++/102651
+	PR c++/49387
+	* g++.dg/rtti/typeid-complete1.C: New test.
+
+2022-04-29  Zhao Wei Liew  <zhaoweiliew@gmail.com>
+
+	PR c++/25689
+	* g++.dg/warn/Wparentheses-31.C: New test.
+
 2022-04-28  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 
 	* gcc.dg/gcov-info-to-gcda.c: Test __gcov_filename_to_gcfn().
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index c174262986c..323ebc9f6cf 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,21 @@
+2022-04-29  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/105417
+	* config/abi/post/powerpc64-linux-gnu/baseline_symbols.txt:
+	Regenerate.
+	* src/c++11/compatibility-ldbl-alt128.cc [_GLIBCXX_USE_DUAL_ABI]:
+	Define __gnu_ieee128::num_get<C>::_M_extract_int[abi:cxx11]<I>
+	symbols as aliases for corresponding symbols without abi-tag.
+
+2022-04-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	* config/abi/post/i386-solaris/baseline_symbols.txt: Regenerate.
+	* config/abi/post/i386-solaris/amd64/baseline_symbols.txt:
+	Likewise.
+	* config/abi/post/sparc-solaris/baseline_symbols.txt: Likewise.
+	* config/abi/post/sparc-solaris/sparcv9/baseline_symbols.txt:
+	Likewise.
+
 2022-04-28  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR libstdc++/99290