[gcc r14-2371] Daily bump.

[gcc r14-2371] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:738808bd9acf1c8a2030449b038502c4286c004d

commit r14-2371-g738808bd9acf1c8a2030449b038502c4286c004d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jul 7 00:17:17 2023 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 153 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       |  91 ++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog |  41 +++++++++++++
 libcpp/ChangeLog        |   5 ++
 libgcc/ChangeLog        |   5 ++
 libstdc++-v3/ChangeLog  |  12 ++++
 7 files changed, 308 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6236e9d8baf..222dfe3d1b6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,156 @@
+2023-07-06  Jan Hubicka  <jh@suse.cz>
+
+	PR middle-end/25623
+	* tree-ssa-loop-ch.cc (ch_base::copy_headers): Scale loop frequency to maximal number
+	of iterations determined.
+	* tree-ssa-loop-ivcanon.cc (try_unroll_loop_completely): Likewise.
+
+2023-07-06  Jan Hubicka  <jh@suse.cz>
+
+	* cfgloopmanip.cc (scale_loop_profile): Rewrite exit edge
+	probability update to be safe on loops with subloops.
+	Make bound parameter to be iteration bound.
+	* tree-ssa-loop-ivcanon.cc (try_peel_loop): Update call
+	of scale_loop_profile.
+	* tree-vect-loop-manip.cc (vect_do_peeling): Likewise.
+
+2023-07-06  Hao Liu OS  <hliu@os.amperecomputing.com>
+
+	PR tree-optimization/110449
+	* tree-vect-loop.cc (vectorizable_induction): use vec_n to replace
+	vec_loop for the unrolled loop.
+
+2023-07-06  Jan Hubicka  <jh@suse.cz>
+
+	* cfg.cc (set_edge_probability_and_rescale_others): New function.
+	(update_bb_profile_for_threading): Use it; simplify the rest.
+	* cfg.h (set_edge_probability_and_rescale_others): Declare.
+	* profile-count.h (profile_probability::apply_scale): New.
+
+2023-07-06  Claudiu Zissulescu  <claziss@gmail.com>
+
+	* doc/extend.texi (ARC Built-in Functions): Update documentation
+	with missing builtins.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110556
+	* tree-ssa-tail-merge.cc (gimple_equal_p): Check
+	assign code and all operands of non-stores.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110563
+	* tree-vectorizer.h (vect_determine_partial_vectors_and_peeling):
+	Remove second argument.
+	* tree-vect-loop.cc (vect_determine_partial_vectors_and_peeling):
+	Remove for_epilogue_p argument.  Merge assert ...
+	(vect_analyze_loop_2): ... with check done before determining
+	partial vectors by moving it after.
+	* tree-vect-loop-manip.cc (vect_do_peeling): Adjust.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* ggc-common.cc (gt_pch_note_reorder, gt_pch_save): Tighten up a
+	few things re 'reorder' option and strings.
+	* stringpool.cc (gt_pch_p_S): This is now 'gcc_unreachable'.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* gengtype-parse.cc: Clean up obsolete parametrized structs
+	remnants.
+	* gengtype.cc: Likewise.
+	* gengtype.h: Likewise.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* gengtype.cc (struct walk_type_data): Remove 'needs_cast_p'.
+	Adjust all users.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* gengtype-parse.cc (token_names): Add '"user"'.
+	* gengtype.h (gty_token): Add 'UNUSED_PARAM_IS' for use with
+	'FIRST_TOKEN_WITH_VALUE'.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* doc/gty.texi (GTY Options) <string_length>: Enhance.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* gengtype.cc (write_root, write_roots): Explicitly reject
+	'string_length' option.
+	* doc/gty.texi (GTY Options) <string_length>: Document.
+
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* ggc-internal.h (ggc_pch_count_object, ggc_pch_alloc_object)
+	(ggc_pch_write_object): Remove 'bool is_string' argument.
+	* ggc-common.cc: Adjust.
+	* ggc-page.cc: Likewise.
+
+2023-07-06  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* dwarf2out.cc (mem_loc_descriptor): Handle COPYSIGN.
+
+2023-07-06  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* doc/extend.texi: Move x86 inlining rule to a new subsubsection
+	and add description for inling of function with arch and tune
+	attributes.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110515
+	* tree-ssa-pre.cc (compute_avail): Make code dealing
+	with hoisting loads with different alias-sets more
+	robust.
+
+2023-07-06  Ju-Zhe Zhong  <juzhe.zhong@rivai.ai>
+
+	* tree-vect-stmts.cc (vect_get_strided_load_store_ops): Fix ICE.
+
+2023-07-06  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* config/i386/i386.cc (ix86_can_inline_p): If callee has
+	default arch=x86-64 and tune=generic, do not block the
+	inlining to its caller. Also allow callee with different
+	arch= to be inlined if it has always_inline attribute and
+	it's ISA is subset of caller's.
+
+2023-07-06  liuhongt  <hongtao.liu@intel.com>
+
+	* config/i386/i386.cc (ix86_rtx_costs): Adjust rtx_cost for
+	DF/SFmode AND/IOR/XOR/ANDN operations.
+
+2023-07-06  Andrew Pinski  <apinski@marvell.com>
+
+	PR middle-end/110554
+	* tree-vect-generic.cc (expand_vector_condition): For comparisons,
+	just build using boolean_type_node instead of the cond_type.
+	For non-comparisons/non-scalar-bitmask, build a ` != 0` gimple
+	that will feed into the COND_EXPR.
+
+2023-07-06  liuhongt  <hongtao.liu@intel.com>
+
+	PR target/110170
+	* config/i386/i386.md (movdf_internal): Disparage slightly for
+	2 alternatives (r,v) and (v,r) by adding constraint modifier
+	'?'.
+
+2023-07-06  Jeevitha Palanisamy  <jeevitha@linux.ibm.com>
+
+	PR target/106907
+	* config/rs6000/rs6000.cc (rs6000_expand_vector_extract): Remove redundant
+	initialization of new_addr.
+
+2023-07-06  Hao Liu  <hliu@os.amperecomputing.com>
+
+	PR tree-optimization/110474
+	* tree-vect-loop.cc (vect_analyze_loop_2): unscale the VF by suggested
+	unroll factor while selecting the epilog vect loop VF.
+
 2023-07-05  Andrew MacLeod  <amacleod@redhat.com>
 
 	* gimple-range-gori.cc (compute_operand_range): Convert to a tail
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ec0d4f34cd2..2e3c50b9d1e 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230706
+20230707
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c3f590624f0..4f94ccf4583 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,94 @@
+2023-07-06  Claire Dross  <dross@adacore.com>
+
+	* gcc-interface/Make-lang.in: Add object files of specification
+	files.
+
+2023-07-06  Claire Dross  <dross@adacore.com>
+
+	* libgnat/s-vs_int.ads: Instance of Value_I_Spec for Integer.
+	* libgnat/s-vs_lli.ads: Instance of Value_I_Spec for
+	Long_Long_Integer.
+	* libgnat/s-vsllli.ads: Instance of Value_I_Spec for
+	Long_Long_Long_Integer.
+	* libgnat/s-vs_uns.ads: Instance of Value_U_Spec for Unsigned.
+	* libgnat/s-vs_llu.ads: Instance of Value_U_Spec for
+	Long_Long_Unsigned.
+	* libgnat/s-vslllu.ads: Instance of Value_U_Spec for
+	Long_Long_Long_Unsigned.
+	* libgnat/s-imagei.ads: Take instances of Value_*_Spec as
+	parameters.
+	* libgnat/s-imagei.adb: Idem.
+	* libgnat/s-imageu.ads: Idem.
+	* libgnat/s-imageu.adb: Idem.
+	* libgnat/s-valuei.ads: Idem.
+	* libgnat/s-valuei.adb: Idem.
+	* libgnat/s-valueu.ads: Idem.
+	* libgnat/s-valueu.adb: Idem.
+	* libgnat/s-imgint.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-imglli.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-imgllli.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-imglllu.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-imgllu.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-imguns.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-valint.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-vallli.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-valllli.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-vallllu.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-valllu.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-valuns.ads: Adapt instance to new ghost parameters.
+	* libgnat/s-vaispe.ads: Take instance of Value_U_Spec as parameter
+	and remove unused declaration.
+	* libgnat/s-vaispe.adb: Idem.
+	* libgnat/s-vauspe.ads: Remove unused declaration.
+	* libgnat/s-valspe.ads: Factor out the specification part of
+	Val_Util.
+	* libgnat/s-valspe.adb: Idem.
+	* libgnat/s-valuti.ads: Move specification to Val_Spec.
+	* libgnat/s-valuti.adb: Idem.
+	* libgnat/s-valboo.ads: Use Val_Spec.
+	* libgnat/s-valboo.adb: Idem.
+	* libgnat/s-imgboo.adb: Idem.
+	* libgnat/s-imagef.adb: Adapt instances to new ghost parameters.
+	* Makefile.rtl: List new files.
+
+2023-07-06  Viljar Indus  <indus@adacore.com>
+
+	* sem_attr.adb (analyze_attribute.check_array_type): Replace valid
+	indexes with their staticly evaluated values.
+
+2023-07-06  Viljar Indus  <indus@adacore.com>
+
+	* doc/gnat_ugn/the_gnat_compilation_model.rst: Reference "Binding
+	with Non-Ada Main Programs" from "Creating a Stand-alone Library
+	to be used in a non-Ada context".
+	* gnat_ugn.texi: Regenerate.
+
+2023-07-06  Viljar Indus  <indus@adacore.com>
+
+	* sem_util.adb (Is_Fully_Initialized_Type): Avoid recalculating
+	the underlying type twice.
+
+2023-07-06  Viljar Indus  <indus@adacore.com>
+
+	* exp_util.adb (Find_Optional_Prim_Op): Stop deriving primitive
+	operation if there is no underlying type to derive it from.
+
+2023-07-06  Yannick Moy  <moy@adacore.com>
+
+	* errout.ads: Add explain code.
+	* sem_prag.adb (Check_Library_Level_Entity): Refine error message
+	and add explain code.
+
+2023-07-06  Steve Baird  <baird@adacore.com>
+
+	* exp_ch7.adb (Make_Final_Call): Add assertion that if no
+	finalization call is generated, then the type of the object being
+	finalized does not require finalization.
+	* freeze.adb (Freeze_Entity): If freezing an already-frozen
+	subtype, do not assume that nothing needs to be done. In the case
+	of a frozen subtype of a non-frozen type or subtype (which is
+	possible), freeze the non-frozen entity.
+
 2023-07-04  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* exp_ch5.adb (Expand_Assign_Array): Adjust comment above the
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9b5fa702553..24119be6913 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,44 @@
+2023-07-06  Jan Hubicka  <jh@suse.cz>
+
+	PR middle-end/25623
+	* gfortran.dg/pr25623-2.f90: New test.
+
+2023-07-06  Hao Liu OS  <hliu@os.amperecomputing.com>
+
+	* gcc.target/aarch64/pr110449.c: New testcase.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110556
+	* gcc.dg/torture/pr110556.c: New testcase.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110515
+	* g++.dg/opt/pr110515.C: New testcase.
+
+2023-07-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110544
+	* gcc.dg/vect/pr71264.c: Remove scan for vectorization.
+
+2023-07-06  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* gcc.target/i386/inline_attr_arch.c: New test.
+	* gcc.target/i386/inline_target_clones.c: Ditto.
+
+2023-07-06  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/pr110170-2.c: New test.
+
+2023-07-06  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/pr110170-3.c: New test.
+
+2023-07-06  Hao Liu  <hliu@os.amperecomputing.com>
+
+	* gcc.target/aarch64/pr110474.c: New testcase.
+
 2023-07-05  Robin Dapp  <rdapp@ventanamicro.com>
 
 	* gcc.target/riscv/rvv/autovec/vls-vlmax/vec_extract-1.c: Add
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 390d8e1a265..52c752335e7 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,8 @@
+2023-07-06  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* include/symtab.h (struct ht_identifier): Document different
+	rationale.
+
 2023-06-23  Marek Polacek  <polacek@redhat.com>
 
 	* include/cpplib.h (c_lang): Add CXX26 and GNUCXX26.
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 680a7b28ca4..856337a9778 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,8 @@
+2023-07-06  Kito Cheng  <kito.cheng@sifive.com>
+
+	* config/riscv/sfp-machine.h (FP_INIT_ROUNDMODE): Check zfinx.
+	(FP_HANDLE_EXCEPTIONS): Ditto.
+
 2023-06-19  Andrew Stubbs  <ams@codesourcery.com>
 
 	* config/gcn/lib2-divmod-di.c: Reimplement like lib2-divmod.c.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 0dd595dfbbc..324bdeadf34 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,15 @@
+2023-07-06  Tianqiang Shuai  <1101282468@qq.com>
+
+	* config/io/basic_file_stdio.cc (xwrite) [USE_STDIO_PURE]: Fix
+	first argument.
+
+2023-07-06  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/110574
+	* doc/xml/manual/configure.xml: Describe stdio_pure argument to
+	--enable-cstdio.
+	* doc/html/manual/configure.html: Regenerate.
+
 2023-07-05  Thomas Rodgers  <trodgers@redhat.com>
 
 	* testsuite/25_algorithms/pstl/alg_sorting/set.cc: Delete