[gcc r14-2442] Daily bump.

[gcc r14-2442] Daily bump.

[GCC Administrator]

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

commit r14-2442-gaf3d3ce31a259699f5ad26addcf1c88a2e4eea6d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Wed Jul 12 00:17:09 2023 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 82 +++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/ada/ChangeLog       | 11 ++++++
 gcc/cp/ChangeLog        |  7 ++++
 gcc/fortran/ChangeLog   |  8 +++++
 gcc/m2/ChangeLog        | 93 +++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog | 81 ++++++++++++++++++++++++++++++++++++++++++
 libgcc/ChangeLog        |  6 ++++
 libgomp/ChangeLog       |  9 +++++
 9 files changed, 298 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cd7076bf4e4..111302e0676 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,85 @@
+2023-07-11  Ju-Zhe Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-protos.h (enum insn_type): Add vcompress optimization.
+	* config/riscv/riscv-v.cc (emit_vlmax_compress_insn): Ditto.
+	(shuffle_compress_patterns): Ditto.
+	(expand_vec_perm_const_1): Ditto.
+
+2023-07-11  Uros Bizjak  <ubizjak@gmail.com>
+
+	* cfghooks.cc (verify_flow_info): Change "err" variable to bool.
+	* cfghooks.h (struct cfg_hooks): Change return type of
+	verify_flow_info from integer to bool.
+	* cfgrtl.cc (can_delete_note_p): Change return type from int to bool.
+	(can_delete_label_p): Ditto.
+	(rtl_verify_flow_info): Change return type from int to bool
+	and adjust function body accordingly.  Change "err" variable to bool.
+	(rtl_verify_flow_info_1): Ditto.
+	(free_bb_for_insn): Change return type to void.
+	(rtl_merge_blocks): Change "b_empty" variable to bool.
+	(try_redirect_by_replacing_jump): Change "fallthru" variable to bool.
+	(verify_hot_cold_block_grouping): Change return type from int to bool.
+	Change "err" variable to bool.
+	(rtl_verify_edges): Ditto.
+	(rtl_verify_bb_insns): Ditto.
+	(rtl_verify_bb_pointers): Ditto.
+	(rtl_verify_bb_insn_chain): Ditto.
+	(rtl_verify_fallthru): Ditto.
+	(rtl_verify_bb_layout): Ditto.
+	(purge_all_dead_edges): Change "purged" variable to bool.
+	* cfgrtl.h (free_bb_for_insn): Change return type from int to void.
+	* postreload-gcse.cc (expr_hasher::equal): Change "equiv_p" to bool.
+	(load_killed_in_block_p): Change return type from int to bool
+	and adjust function body accordingly.
+	(oprs_unchanged_p): Return true/false.
+	(rest_of_handle_gcse2): Change return type to void.
+	* tree-cfg.cc (gimple_verify_flow_info): Change return type from
+	int to bool.  Change "err" variable to bool.
+
+2023-07-11  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	* doc/gm2.texi (-Wuninit-variable-checking=) New item.
+
+2023-07-11  Ju-Zhe Zhong  <juzhe.zhong@rivai.ai>
+
+	* doc/md.texi: Add COND_LEN_* operations for loop control with length.
+	* internal-fn.cc (cond_len_unary_direct): Ditto.
+	(cond_len_binary_direct): Ditto.
+	(cond_len_ternary_direct): Ditto.
+	(expand_cond_len_unary_optab_fn): Ditto.
+	(expand_cond_len_binary_optab_fn): Ditto.
+	(expand_cond_len_ternary_optab_fn): Ditto.
+	(direct_cond_len_unary_optab_supported_p): Ditto.
+	(direct_cond_len_binary_optab_supported_p): Ditto.
+	(direct_cond_len_ternary_optab_supported_p): Ditto.
+	* internal-fn.def (COND_LEN_ADD): Ditto.
+	(COND_LEN_SUB): Ditto.
+	(COND_LEN_MUL): Ditto.
+	(COND_LEN_DIV): Ditto.
+	(COND_LEN_MOD): Ditto.
+	(COND_LEN_RDIV): Ditto.
+	(COND_LEN_MIN): Ditto.
+	(COND_LEN_MAX): Ditto.
+	(COND_LEN_FMIN): Ditto.
+	(COND_LEN_FMAX): Ditto.
+	(COND_LEN_AND): Ditto.
+	(COND_LEN_IOR): Ditto.
+	(COND_LEN_XOR): Ditto.
+	(COND_LEN_SHL): Ditto.
+	(COND_LEN_SHR): Ditto.
+	(COND_LEN_FMA): Ditto.
+	(COND_LEN_FMS): Ditto.
+	(COND_LEN_FNMA): Ditto.
+	(COND_LEN_FNMS): Ditto.
+	(COND_LEN_NEG): Ditto.
+	* optabs.def (OPTAB_D): Ditto.
+
+2023-07-11  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/110614
+	* tree-vect-data-refs.cc (vect_supportable_dr_alignment):
+	SLP splats are not suitable for re-align ops.
+
 2023-07-10  Peter Bergner  <bergner@linux.ibm.com>
 
 	* config/rs6000/predicates.md (quad_memory_operand): Remove redundant
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 2dbd21ed6c0..b130beac02a 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230711
+20230712
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6890c5bdf30..3820532fe1f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,14 @@
+2023-07-11  Bob Duff  <duff@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Avoid transforming to
+	a renaming in case of constrained array that comes from source.
+
+2023-07-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Replace_Type_References_Generic.Visible_Component):
+	In the case of private discriminated types, return a discriminant
+	only if it is listed in the discriminant part of the declaration.
+
 2023-07-10  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* adaint.c [_WIN32]: Undefine 'abort' macro.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3db03dbed76..19cf1da8389 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2023-07-11  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/110580
+	* pt.cc (lookup_template_variable): Pass all levels of arguments
+	to coerce_template_parms, and use the parameters from the most
+	general template.
+
 2023-07-10  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/110523
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index b6a902acf79..bc4ad57e071 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,11 @@
+2023-07-11  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/110288
+	* symbol.cc (gfc_copy_formal_args_intr): When deriving the formal
+	argument attributes from the actual ones for intrinsic procedure
+	calls, take special care of CHARACTER arguments that we do not
+	wrongly treat them formally as deferred-length.
+
 2023-07-08  Steve Kargl  <sgk@troutmask.apl.washington.edu>
 
 	PR fortran/99139
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 53cce9c929d..d5faf14182e 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,96 @@
+2023-07-11  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	* gm2-compiler/M2BasicBlock.def (InitBasicBlocksFromRange): New
+	parameter ScopeSym.
+	* gm2-compiler/M2BasicBlock.mod (ConvertQuads2BasicBlock): New
+	parameter ScopeSym.
+	(InitBasicBlocksFromRange): New	parameter ScopeSym.  Call
+	ConvertQuads2BasicBlock with ScopeSym.
+	(DisplayBasicBlocks): Uncomment.
+	* gm2-compiler/M2Code.mod: Replace VariableAnalysis with
+	ScopeBlockVariableAnalysis.
+	(InitialDeclareAndOptiomize): Add parameter scope.
+	(SecondDeclareAndOptimize): Add parameter scope.
+	* gm2-compiler/M2GCCDeclare.mod (DeclareConstructor): Add scope
+	parameter to DeclareTypesConstantsProceduresInRange.
+	(DeclareTypesConstantsProceduresInRange): New parameter scope.
+	Pass scope to DisplayQuadRange.  Reformatted.
+	* gm2-compiler/M2GenGCC.def (ConvertQuadsToTree): New parameter
+	scope.
+	* gm2-compiler/M2GenGCC.mod (ConvertQuadsToTree): New parameter
+	scope.
+	* gm2-compiler/M2Optimize.mod (KnownReachable): New parameter
+	scope.
+	* gm2-compiler/M2Options.def (SetUninitVariableChecking): Add
+	arg parameter.
+	* gm2-compiler/M2Options.mod (SetUninitVariableChecking): Add
+	arg parameter and set boolean UninitVariableChecking and
+	UninitVariableConditionalChecking.
+	(UninitVariableConditionalChecking): New boolean set to FALSE.
+	* gm2-compiler/M2Quads.def (IsGoto): New procedure function.
+	(DisplayQuadRange): Add scope parameter.
+	(LoopAnalysis): Add scope parameter.
+	* gm2-compiler/M2Quads.mod: Import PutVarArrayRef.
+	(IsGoto): New procedure function.
+	(LoopAnalysis): Add scope parameter and use MetaErrorT1 instead
+	of WarnStringAt.
+	(BuildStaticArray): Call PutVarArrayRef.
+	(BuildDynamicArray): Call PutVarArrayRef.
+	(DisplayQuadRange): Add scope parameter.
+	(GetM2OperatorDesc): Add relational condition cases.
+	* gm2-compiler/M2Scope.def (ScopeProcedure): Add parameter.
+	* gm2-compiler/M2Scope.mod (DisplayScope): Pass scopeSym to
+	DisplayQuadRange.
+	(ForeachScopeBlockDo): Pass scopeSym to p.
+	* gm2-compiler/M2SymInit.def (VariableAnalysis): Rename to ...
+	(ScopeBlockVariableAnalysis): ... this.
+	* gm2-compiler/M2SymInit.mod (ScopeBlockVariableAnalysis): Add
+	scope parameter.
+	(bbEntry): New pointer to record.
+	(bbArray): New array.
+	(bbFreeList): New variable.
+	(errorList): New list.
+	(IssueConditional): New procedure.
+	(GenerateNoteFlow): New procedure.
+	(IssueWarning): New procedure.
+	(IsUniqueWarning): New procedure.
+	(CheckDeferredRecordAccess): Re-implement.
+	(CheckBinary): Add warning and lst parameters.
+	(CheckUnary): Add warning and lst parameters.
+	(CheckXIndr): Add warning and lst parameters.
+	(CheckIndrX): Add warning and lst parameters.
+	(CheckBecomes): Add warning and lst parameters.
+	(CheckComparison): Add warning and lst parameters.
+	(CheckReadBeforeInitQuad): Add warning and lst parameters to all
+	Check procedures.  Add all case quadruple clauses.
+	(FilterCheckReadBeforeInitQuad): Add warning and lst parameters.
+	(CheckReadBeforeInitFirstBasicBlock): Add warning and lst parameters.
+	(bbArrayKill): New procedure.
+	(DumpBBEntry): New procedure.
+	(DumpBBArray): New procedure.
+	(DumpBBSequence): New procedure.
+	(TestBBSequence): New procedure.
+	(CreateBBPermultations): New procedure.
+	(ScopeBlockVariableAnalysis): New procedure.
+	(GetOp3): New procedure.
+	(GenerateCFG): New procedure.
+	(NewEntry): New procedure.
+	(AppendEntry): New procedure.
+	(init): Initialize bbFreeList and errorList.
+	* gm2-compiler/SymbolTable.def (PutVarArrayRef): New procedure.
+	(IsVarArrayRef): New procedure function.
+	* gm2-compiler/SymbolTable.mod (SymVar): ArrayRef new field.
+	(MakeVar): Set ArrayRef to FALSE.
+	(PutVarArrayRef): New procedure.
+	(IsVarArrayRef): New procedure function.
+	* gm2-gcc/init.cc (_M2_M2SymInit_init): New prototype.
+	(init_PerCompilationInit): Add call to _M2_M2SymInit_init.
+	* gm2-gcc/m2options.h (M2Options_SetUninitVariableChecking):
+	New definition.
+	* gm2-lang.cc (gm2_langhook_handle_option): Add new case
+	OPT_Wuninit_variable_checking_.
+	* lang.opt: Wuninit-variable-checking= new entry.
+
 2023-07-03  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/110125
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e710abdb1b3..5c0e05b5af2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,84 @@
+2023-07-11  Ju-Zhe Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-4.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-5.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress-6.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-4.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-5.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-6.c: New test.
+
+2023-07-11  David Edelsohn  <dje.gcc@gmail.com>
+
+	* gcc.dg/analyzer/out-of-bounds-diagram-4.c: Skip on AIX.
+	* gcc.dg/analyzer/out-of-bounds-diagram-5-ascii.c: Same.
+	* gcc.dg/analyzer/out-of-bounds-diagram-5-unicode.c: Same.
+	* gcc.dg/analyzer/out-of-bounds-diagram-7.c: Same.
+	* gcc.dg/analyzer/out-of-bounds-diagram-13.c: Same.
+	* gcc.dg/analyzer/out-of-bounds-diagram-15.c: Same.
+
+2023-07-11  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/110288
+	* gfortran.dg/findloc_10.f90: New test.
+
+2023-07-11  Carl Love  <cel@us.ibm.com>
+
+	* gcc.target/powerpc/vsx-vector-6-func-1op.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-1op-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-1op.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2lop.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2lop-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2lop.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2op.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2op-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-2op.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-3op.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-3op-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-3op.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp-all.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp-all-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp-all.c: New test
+	file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp.h: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp-run.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6-func-cmp.c: New test file.
+	* gcc.target/powerpc/vsx-vector-6.h: Remove test file.
+	* gcc.target/powerpc/vsx-vector-6.p7.c: Remove test file.
+	* gcc.target/powerpc/vsx-vector-6.p8.c: Remove test file.
+	* gcc.target/powerpc/vsx-vector-6.p9.c: Remove test file.
+
+2023-07-11  Maciej W. Rozycki  <macro@embecosm.com>
+
+	* gcc.dg/vect/pr97428.c: Limit to `vect_double' targets.
+
+2023-07-11  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	* gm2/switches/uninit-variable-checking/cascade/fail/cascadedif.mod: New test.
+	* gm2/switches/uninit-variable-checking/cascade/fail/switches-uninit-variable-checking-cascade-fail.exp:
+	New test.
+
+2023-07-11  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/110580
+	* g++.dg/cpp1y/var-templ83.C: New test.
+
+2023-07-11  liuhongt  <hongtao.liu@intel.com>
+
+	PR target/110170
+	* g++.target/i386/pr110170.C: Fix typo.
+
+2023-07-11  Xi Ruoyao  <xry111@xry111.site>
+
+	* g++.dg/vect/pr110557.cc: Use long long instead of long for
+	64-bit type.
+	(test): Remove an unnecessary cast.
+
 2023-07-10  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/110523
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 856337a9778..e62674676d1 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,9 @@
+2023-07-11  Florian Weimer  <fweimer@redhat.com>
+
+	PR libgcc/110179
+	* unwind-dw2-fde-dip.c (find_fde_tail): Add cast to avoid
+	implicit conversion of pointer value to integer.
+
 2023-07-06  Kito Cheng  <kito.cheng@sifive.com>
 
 	* config/riscv/sfp-machine.h (FP_INIT_ROUNDMODE): Check zfinx.
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 3bbcf41dc5a..5ff1d3b2a88 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,12 @@
+2023-07-11  Tobias Burnus  <tobias@codesourcery.com>
+
+	* allocator.c (omp_init_allocator): Use malloc for
+	omp_high_bw_mem_space when the memkind lib is unavailable
+	instead of returning omp_null_allocator.
+	* libgomp.texi (OpenMP 5.0): Fix typo.
+	(Memory allocation with libmemkind): Document implementation
+	in more detail.
+
 2023-06-22  Tobias Burnus  <tobias@codesourcery.com>
 
 	* libgomp.texi: Use @var for ICV vars.