[gcc r12-581] Daily bump.

[gcc r12-581] Daily bump.

[GCC Administrator]

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

commit r12-581-gcfe82a0cbe72baa723f7d89502cdf59c0e87fff4
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri May 7 00:16:33 2021 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 114 ++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 196 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/fortran/ChangeLog   |  17 +++++
 gcc/testsuite/ChangeLog |  62 +++++++++++++++
 include/ChangeLog       |   4 +
 libcpp/ChangeLog        |   9 +++
 libiberty/ChangeLog     |   4 +
 libstdc++-v3/ChangeLog  |  39 ++++++++++
 9 files changed, 446 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d1cc60a78e0..eb05020f98e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,117 @@
+2021-05-06  Martin Jambor  <mjambor@suse.cz>
+
+	* ipa-sra.c (ipa_sra_dump_all_summaries): Dump edge summaries even
+	when there is no function summary.
+	(ipa_sra_summarize_function): produce edge summaries even when
+	bailing out early.
+
+2021-05-06  Tom Tromey  <tom@tromey.com>
+
+	* godump.c (string_hash_eq): Remove.
+	(go_finish): Use htab_eq_string.
+
+2021-05-06  Tom Tromey  <tom@tromey.com>
+
+	* gengtype-state.c (read_state): Use htab_eq_string.
+	(string_eq): Remove.
+
+2021-05-06  Tom Tromey  <tom@tromey.com>
+
+	* gensupport.c (htab_eq_string): Remove.
+
+2021-05-06  Bernd Edlinger  <bernd.edlinger@hotmail.de>
+
+	PR ipa/97937
+	* debug.h (gcc_debug_hooks): Add set_ignored_loc function pointer.
+	* dwarf2out.h (dw_fde_node::ignored_debug): New data item.
+	* dbxout.c (dbx_debug_hooks, xcoff_debug_hooks): Add dummy
+	set_ignored_loc callbacks.
+	* debug.c (do_nothing_debug_hooks): Likewise.
+	* vmsdbgout.c (vmsdbg_debug_hooks): Likewise.
+	* dwarf2out.c (text_section_used, cold_text_section_used): Remove.
+	(in_text_section_p, last_text_label, last_cold_label,
+	switch_text_ranges, switch_cold_ranges): New data items.
+	(dwarf2out_note_section_used): Remove.
+	(dwarf2out_begin_prologue): Set fde->ignored_debug and
+	in_text_section_p.
+	(mark_ignored_debug_section): New helper function.
+	(dwarf2out_end_epilogue, dwarf2out_switch_text_section): Call
+	mark_ignored_debug_section.
+	(dwarf2_debug_hooks): Use dwarf2out_set_ignored_loc.
+	(dwarf2_lineno_debug_hooks): Use dummy for set_ignored_loc.
+	(size_of_aranges): Adjust formula for multi-part text ranges size.
+	(output_aranges): Output multi-part text ranges.
+	(dwarf2out_set_ignored_loc): New callback function.
+	(dwarf2out_finish): Output multi-part text ranges.
+	(dwarf2out_c_finalize): Clear new data items.
+	* final.c (final_start_function_1): Call set_ignored_loc callback.
+	(final_scan_insn_1): Likewise.
+	* ggc-page.c (gt_ggc_mx): New helper function.
+	* stringpool.c (gt_pch_nx): Likewise.
+
+2021-05-06  Richard Biener  <rguenther@suse.de>
+
+	* timevar.def (TV_TREE_INSERT_PHI_NODES): Remove.
+	(TV_TREE_SSA_REWRITE_BLOCKS): Likewise.
+	(TV_TREE_INTO_SSA): New.
+	* tree-into-ssa.c (insert_phi_nodes): Do not account separately.
+	(rewrite_blocks): Likewise.
+	(pass_data_build_ssa): Account to TV_TREE_INTO_SSA.
+
+2021-05-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* tree-ssa-phiopt.c (value_replacement, minmax_replacement,
+	abs_replacement, xor_replacement,
+	cond_removal_in_popcount_clz_ctz_pattern,
+	replace_phi_edge_with_variable): Change type of phi argument from
+	gimple * to gphi *.
+
+2021-05-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-loop-split.c (split_loop): Delay updating SSA form.
+	Output an opt-info message.
+	(do_split_loop_on_cond): Likewise.
+	(tree_ssa_split_loops): Update SSA form here.
+
+2021-05-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-inline.c (tree_function_versioning): Fix DECL_BY_REFERENCE
+	return variable removal.
+
+2021-05-06  Marius Hillenbrand  <mhillen@linux.ibm.com>
+
+	* config/s390/s390-builtins.def (O_M5, O1_M5, ...): Remove unused macros.
+	(s390_vec_permi_s64, s390_vec_permi_b64, s390_vec_permi_u64)
+	(s390_vec_permi_dbl, s390_vpdi): Use the O3_U2 type for the immediate
+	operand.
+	* config/s390/s390.c (s390_const_operand_ok): Remove unused
+	values.
+
+2021-05-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/94589
+	* tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Call
+	spaceship_replacement.
+	(cond_only_block_p, spaceship_replacement): New functions.
+
+2021-05-06  Richard Biener  <rguenther@suse.de>
+
+	PR ipa/100373
+	* tree-emutls.c (gen_emutls_addr): Pass in whether we're
+	dealing with a debug use and only query existing addresses
+	if so.
+	(lower_emutls_1): Avoid splitting out addresses for debug
+	stmts, reset the debug stmt when we fail to find existing
+	lowered addresses.
+	(lower_emutls_phi_arg): Set wi.stmt.
+
+2021-05-06  Christoph Muellner  <cmuellner@gcc.gnu.org>
+
+	PR target/100266
+	* config/riscv/riscv.c (riscv_block_move_loop): Use cbranch helper.
+	* config/riscv/riscv.md (cbranch<mode>4): Generate helpers.
+	(stack_protect_test): Use cbranch helper.
+
 2021-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR target/100402
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 8e159d53420..b5beafed7df 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210506
+20210507
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 534ab11e8bc..5c867361d05 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,199 @@
+2021-05-06  Javier Miranda  <miranda@adacore.com>
+
+	* exp_disp.adb (Build_Class_Wide_Check): Extending the
+	functionality of this routine to climb to the ancestors
+	searching for the enclosing overridden dispatching primitive
+	that has a class-wide precondition to generate the check.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Constraint_Index): Remove redundant problematic
+	analysis.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_unst.adb (Note_Uplevel_Bound): Exclude
+	E_Enumeration_Literal.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_ch4.adb (Expand_N_If_Expression):
+	Apply_Arithmetic_Overflow_Check will not deal with
+	Then/Else_Actions so skip minimizing overflow checks if any
+	actions are present.
+
+2021-05-06  Boris Yakobowski  <yakobowski@adacore.com>
+
+	* gnat1drv.adb (Adjust_Global_Switches): Simplify logic.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/i-c.ads (bool): New type.
+	* libgnat/i-cexten.ads, libgnat/i-cexten__128.ads (bool): Now
+	a subtype of Interfaces.C.bool.
+	* libgnarl/s-interr__vxworks.adb (Interrupt_Manager): Qualify
+	False.
+	* libgnarl/s-interr.adb, libgnarl/s-interr__hwint.adb,
+	libgnarl/s-tasini.adb, libgnarl/s-tasren.adb,
+	libgnarl/s-tassta.adb, libgnarl/s-tpobmu.adb,
+	libgnarl/s-tpobop.adb, libgnarl/s-tpopmo.adb: Replace
+	Assert (False) by Assert (Standard.False).
+
+2021-05-06  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* make.adb (Compute_Executable): Document parameter.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-fatgen.adb (Scaling): Use single handling of
+	underflow.  Add pragma Annotate.
+
+2021-05-06  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_eval.adb (Is_OK_Static_Subtype): Call Is_Static_Subtype,
+	remove redundant checks.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (First_Last_Ref): Simplify "if [condition] then
+	return True" in "return [condition]".
+	(Resolve_Range): Remove calls appearing in IF condition from the
+	THEN statements.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_case.adb (Missing_Choice): Fix typo in comment.
+	(Lit_Of): Simplify with Make_Character_Literal.
+	(Check_Choices): Remove extra spaces in parameter
+	specifications.
+	* sem_case.ads: Same reformatting.
+
+2021-05-06  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_aggr.adb (Expand_Array_Aggregate): If the expression in an
+	Others_Clause has not been analyzed because previous analysis of
+	the enclosing aggregate showed the clause to be ineffective i.e.
+	cover a null range, analyze it now to detect a possible type
+	illegality.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-fatgen.adb (Scaling): Fix off-by-one bug for underflow.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch6.adb (Is_Inline_Pragma): Protect against N not being a
+	list member in both branches.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma
+	Warnings.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch4.adb (Analyze_Selected_Component): Remove explicit call
+	to Set_Raises_Constraint_Error on statically missing component.
+	* sem_eval.adb (Eval_Arithmetic_Op): Likewise for static
+	divisions by integer and real zeros.
+	* sem_util.adb (Apply_Compile_Time_Constraint_Error): Call
+	Set_Raises_Constraint_Error before exiting early in GNATprove
+	mode.
+
+2021-05-06  Justin Squirek  <squirek@adacore.com>
+
+	* checks.adb (Make_Discriminant_Constraint_Check): Add check for
+	null when the type being converted is an access type.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_pakd.adb (Expand_Packed_Eq): Fix handling of PATs.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* osint.adb (Read_Library_Info_From_Full): Cleanup unused
+	initial value.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_characteristics.rst (3.5.7):
+	Mention the IEEE standard explicitly.  Use current format names.
+	Document assumed rounding mode and new features of I/O support.
+	* gnat_rm.texi: Regenerate.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* init.c (__gnat_init_float): Use full version on Linux too.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-fatgen.adb (Valid): Do a bit comparison with 0.0
+	when denormalized numbers are not supported.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_attr.adb (Check_Enum_Image): Reword comment; add
+	Check_Enumeration_Maps parameter.  Now this routine combines
+	both referencing enumeration literals and checking restriction
+	No_Enumeration_Maps, if required.
+	(Analyze_Attribute): Remove duplicated code and instead call
+	Check_Enum_Image.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_attr.adb (Analyze_Image_Attribute): Remove redundant
+	condition; add a missing header box.
+
+2021-05-06  Gary Dismukes  <dismukes@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
+	mention of underscore and fix grammar error in doc for -gnatd.
+	* gnat_ugn.texi: Regenerate.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-exponr, s-exnflt
+	and s-exnlfl.
+	* exp_ch4.adb (Expand_N_Op_Expon): Use RE_Exn_Float for Short_Float.
+	* rtsfind.ads (RTU_Id): Add System_Exn_Flt and System_Exn_LFlt.
+	(RE_Id): Adjust entries for RE_Exn_Float and RE_Exn_Long_Float.
+	(RE_Unit_Table): Likewise.
+	* libgnat/s-exnflt.ads: New file.
+	* libgnat/s-exnlfl.ads: Likewise.
+	* libgnat/s-exnllf.ads: Change to mere instantiation.
+	* libgnat/s-exnllf.adb: Move implementation to...
+	* libgnat/s-exponr.ads: New generic unit.
+	* libgnat/s-exponr.adb: ...here and also make it generic.
+	(Expon): Do the computation in double precision internally.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* lib-writ.adb, osint.adb, osint.ads: Cleanup.
+
+2021-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch3.adb (Expand_Freeze_Array_Type): Remove excessive
+	condition.
+	(Expand_N_Object_Declaration): Likewise.
+	(Build_Equivalent_Aggregate): Likewise.
+	(Initialization_Warning): Likewise; change another excessive
+	condition into assertion.
+	* freeze.adb (Freeze_Entity): Remove excessive condition.
+
+2021-05-06  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_res.adb (Resolve_If_Expression): If the context of the
+	expression is an indexed_component, resolve the expression and
+	its dependent_expressions with the base type of the index, to
+	ensure that an index check is generated when resolving the
+	enclosing indexxed_component, and avoid an improper use of
+	discriminants out of scope, when the index type is
+	discriminant-dependent.
+
+2021-05-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* einfo.ads, exp_prag.adb, exp_util.adb: Fix typos.
+
 2021-05-05  Piotr Trojanek  <trojanek@adacore.com>
 
 	* exp_attr.adb (Expand_N_Attribute_Reference): Fix expansion of
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 17367c4e6a7..042f532f697 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,20 @@
+2021-05-06  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/46691
+	PR fortran/99819
+	* class.c (gfc_build_class_symbol): Remove the error that
+	disables assumed size class arrays. Class array types that are
+	not deferred shape or assumed rank are given a unique name and
+	placed in the procedure namespace.
+	* trans-array.c (gfc_trans_g77_array): Obtain the data pointer
+	for class arrays.
+	(gfc_trans_dummy_array_bias): Suppress the runtime error for
+	extent violations in explicit shape class arrays because it
+	always fails.
+	* trans-expr.c (gfc_conv_procedure_call): Handle assumed size
+	class actual arguments passed to non-descriptor formal args by
+	using the data pointer, stored as the symbol's backend decl.
+
 2021-05-05  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/100274
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 70c5d505c67..dcd47527afd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,65 @@
+2021-05-06  Joseph Myers  <joseph@codesourcery.com>
+
+	PR c++/83873
+	PR preprocessor/97604
+	* g++.dg/cpp1y/digit-sep-neg-2.C,
+	g++.dg/cpp1y/digit-sep-pp-number.C: New tests.
+	* g++.dg/cpp1y/digit-sep-line-neg.C, g++.dg/cpp1y/digit-sep-neg.C:
+	Adjust expected messages.
+
+2021-05-06  Martin Jambor  <mjambor@suse.cz>
+
+	* gcc.dg/ipa/ipa-sra-1.c (main): Revert change done by
+	05193687dde, make the argv again pointer to an array.
+
+2021-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/opt93.adb: Compile only for LP64 targets.
+
+2021-05-06  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* lib/target-supports.exp: Add s390 checks for vect conversions.
+
+2021-05-06  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* gcc.dg/vect/pr56541.c: Add vect_floatint_cvt.
+
+2021-05-06  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/46691
+	PR fortran/99819
+	* gfortran.dg/class_dummy_6.f90: New test.
+	* gfortran.dg/class_dummy_7.f90: New test.
+
+2021-05-06  Christophe Lyon  <christophe.lyon@linaro.org>
+
+	PR testsuite/100355
+	* gcc.c-torture/execute/ieee/cdivchkld.x: New.
+
+2021-05-06  Marius Hillenbrand  <mhillen@linux.ibm.com>
+
+	* gcc.target/s390/zvector/imm-range-error-1.c: Fix test for
+	__builtin_s390_vpdi.
+	* gcc.target/s390/zvector/vec-permi.c: New test for builtin
+	vec_permi.
+
+2021-05-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/94589
+	* gcc.dg/pr94589-1.c: New test.
+	* gcc.dg/pr94589-2.c: New test.
+	* gcc.dg/pr94589-3.c: New test.
+	* gcc.dg/pr94589-4.c: New test.
+	* g++.dg/opt/pr94589-1.C: New test.
+	* g++.dg/opt/pr94589-2.C: New test.
+	* g++.dg/opt/pr94589-3.C: New test.
+	* g++.dg/opt/pr94589-4.C: New test.
+
+2021-05-06  Richard Biener  <rguenther@suse.de>
+
+	PR ipa/100373
+	* gcc.dg/pr100373.c: New testcase.
+
 2021-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc.c-torture/execute/20210505-1.c: New test.
diff --git a/include/ChangeLog b/include/ChangeLog
index db80ae17ced..8fef1f9e60d 100644
--- a/include/ChangeLog
+++ b/include/ChangeLog
@@ -1,3 +1,7 @@
+2021-05-06  Tom Tromey  <tom@tromey.com>
+
+	* hashtab.h (htab_eq_string): Declare.
+
 2021-03-31  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/88115
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 1974e37dc59..cb31a760527 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,12 @@
+2021-05-06  Joseph Myers  <joseph@codesourcery.com>
+
+	PR c++/83873
+	PR preprocessor/97604
+	* lex.c (lex_number): Reject adjacent digit separators here.  Do
+	not allow digit separators before '.' or an exponent with sign.
+	* expr.c (cpp_classify_number): Do not check for adjacent digit
+	separators here.
+
 2021-05-03  H.J. Lu  <hjl.tools@gmail.com>
 
 	PR bootstrap/99703
diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog
index fa64ab3b8dd..d1dae213fd7 100644
--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,7 @@
+2021-05-06  Tom Tromey  <tom@tromey.com>
+
+	* hashtab.c (htab_eq_string): New function.
+
 2021-05-04  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* configure.ac: Make test for variables more robust.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index f6dbad089ed..53164d67778 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,42 @@
+2021-05-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/stl_algobase.h (__copy_move, __copy_move_backward):
+	Improve static_assert messages.
+	* testsuite/25_algorithms/copy/58982.cc: Adjust expected output.
+	* testsuite/25_algorithms/copy_n/58982.cc: Likewise.
+
+2021-05-06  Patrick Palka  <ppalka@redhat.com>
+
+	* include/std/ranges (filter_view::_Iterator::base): Make the
+	const& overload unconstrained and return a const reference as
+	per LWG 3533.  Make unconditionally noexcept.
+	(transform_view::_Iterator::base): Likewise.
+	(elements_view::_Iterator::base): Likewise.
+
+2021-05-06  Patrick Palka  <ppalka@redhat.com>
+
+	* include/bits/stl_iterator.h (move_iterator::base): Make the
+	const& overload unconstrained and return a const reference as
+	per LWG 3391.  Make unconditionally noexcept.
+	(counted_iterator::base): Likewise.
+	* testsuite/24_iterators/move_iterator/lwg3391.cc: New test.
+	* testsuite/24_iterators/move_iterator/move_only.cc: Adjust
+	has_member_base concept to decay-copy the result of base().
+
+2021-05-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/type_traits (remove_cvref_t): Define in terms of
+	remove_cvref.
+	* testsuite/20_util/remove_cvref/value.cc: Check alias.
+
+2021-05-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	Revert:
+	2021-05-05  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/charconv (__from_chars_alnum): Pass unsigned
+	char to std::isdigit.
+
 2021-05-05  Patrick Palka  <ppalka@redhat.com>
 
 	* include/bits/ranges_util.h (enable_borrowed_range<subrange>):