[gcc r13-5267] Daily bump.

[gcc r13-5267] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:0846336de56119777861e02bf68f92a6af466000

commit r13-5267-g0846336de56119777861e02bf68f92a6af466000
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jan 20 00:17:40 2023 +0000

    Daily bump.

Diff:
---
 contrib/ChangeLog       |  9 ++++++
 gcc/ChangeLog           | 55 +++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/analyzer/ChangeLog  | 42 +++++++++++++++++++++++++++
 gcc/cp/ChangeLog        | 15 ++++++++++
 gcc/fortran/ChangeLog   |  7 +++++
 gcc/testsuite/ChangeLog | 77 +++++++++++++++++++++++++++++++++++++++++++++++++
 libgm2/ChangeLog        | 19 ++++++++++++
 libgomp/ChangeLog       |  5 ++++
 9 files changed, 230 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 45fded44e24..772dfbe5bb6 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,12 @@
+2023-01-19  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	* gcc_update (files_and_dependencies): Add dependencies for
+	gcc/m2/gm2config.h.in, gcc/m2/configure,
+	gcc/m2/gm2-libs/config-host, libgm2/Makefile.in,
+	libgm2/aclocal.m4, libgm2/libm2cor/Makefile.in,
+	libgm2/libm2pim/Makefile.in, libgm2/libm2iso/Makefile.in,
+	libgm2/libm2log/Makefile.in and libgm2/libm2min/Makefile.in.
+
 2023-01-17  Martin Liska  <mliska@suse.cz>
 
 	* update-copyright.py: Ignore test_patches.txt.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ffca6da1def..707456b6adb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,58 @@
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/108447
+	* value-relation.cc (rr_union_table): Fix VREL_UNDEFINED row order.
+	(relation_tests): Add self-tests for relation_{intersect,union}
+	commutativity.
+	* selftest.h (relation_tests): Declare.
+	* function-tests.cc (test_ranges): Call it.
+
+2023-01-19  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR target/108436
+	* config/i386/i386-expand.cc (ix86_expand_builtin): Check
+	invalid third argument to __builtin_ia32_prefetch.
+
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/108459
+	* omp-expand.cc (expand_omp_for_init_counts): Use fold_build1 rather
+	than fold_unary for NEGATE_EXPR.
+
+2023-01-19  Christophe Lyon  <christophe.lyon@arm.com>
+
+	PR target/108411
+	* config/aarch64/aarch64.cc (aarch64_layout_arg): Improve
+	comment. Move assert about alignment a bit later.
+
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/108440
+	* tree-ssa-forwprop.cc: Include gimple-range.h.
+	(simplify_rotate): For the forms with T2 wider than T and shift counts of
+	Y and B - Y add & (B - 1) masking for the rotate count if Y could be equal
+	to B.  For the forms with T2 wider than T and shift counts of
+	Y and (-Y) & (B - 1), don't punt if range could be [B, B2], but only if
+	range doesn't guarantee Y < B or Y = N * B.  If range doesn't guarantee
+	Y < B, also add & (B - 1) masking for the rotate count.  Use lazily created
+	pass specific ranger instead of get_global_range_query.
+	(pass_forwprop::execute): Disable that ranger at the end of pass if it has
+	been created.
+
+2023-01-19  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	* config/aarch64/aarch64-simd.md (aarch64_simd_vec_set<mode>): Use
+	exact_log2 (INTVAL (operands[2])) >= 0 as condition for gating
+	the pattern.
+	(aarch64_simd_vec_copy_lane<mode>): Likewise.
+	(aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Likewise.
+
+2023-01-19  Alexandre Oliva  <oliva@adacore.com>
+
+	PR debug/106746
+	* sched-deps.cc (sched_analyze_2): Skip cselib address lookup
+	within debug insns.
+
 2023-01-18  Martin Jambor  <mjambor@suse.cz>
 
 	PR ipa/107944
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 847dee113d4..c8519a7a377 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230119
+20230120
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 959464a15e4..c489ee87690 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,45 @@
+2023-01-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/108455
+	* analyzer.h (class checker_event): New forward decl.
+	(class state_change_event): Indent.
+	(class warning_event): New forward decl.
+	* checker-event.cc (state_change_event::state_change_event): Add
+	"enode" param.
+	(warning_event::get_desc): Update for new param of
+	evdesc::final_event ctor.
+	* checker-event.h (state_change_event::state_change_event): Add
+	"enode" param.
+	(state_change_event::get_exploded_node): New accessor.
+	(state_change_event::m_enode): New field.
+	(warning_event::warning_event): New "enode" param.
+	(warning_event::get_exploded_node): New accessor.
+	(warning_event::m_enode): New field.
+	* diagnostic-manager.cc
+	(state_change_event_creator::on_global_state_change): Pass
+	src_node to state_change_event ctor.
+	(state_change_event_creator::on_state_change): Likewise.
+	(null_assignment_sm_context::set_next_state): Pass NULL for
+	new param of state_change_event ctor.
+	* infinite-recursion.cc
+	(infinite_recursion_diagnostic::add_final_event): Update for new
+	param of warning_event ctor.
+	* pending-diagnostic.cc (pending_diagnostic::add_final_event):
+	Pass enode to warning_event ctor.
+	* pending-diagnostic.h (evdesc::final_event): Add reference to
+	warning_event.
+	* sm-malloc.cc: Include "analyzer/checker-event.h" and
+	"analyzer/exploded-graph.h".
+	(deref_before_check::deref_before_check): Initialize new fields.
+	(deref_before_check::emit): Reject warnings in which we were
+	unable to determine the enodes of the dereference and the check.
+	Reject warnings interprocedural warnings. Reject warnings in which
+	the dereference doesn't dominate the check.
+	(deref_before_check::describe_state_change): Set m_deref_enode.
+	(deref_before_check::describe_final_event): Set m_check_enode.
+	(deref_before_check::m_deref_enode): New field.
+	(deref_before_check::m_check_enode): New field.
+
 2023-01-13  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/105273
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4ed513b2064..e377041519f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,18 @@
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/108437
+	* cp-tree.h (keep_unused_object_arg): Declare.
+	* call.cc (keep_unused_object_arg): No longer static.
+	* tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF
+	with overload being static member function.
+
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/53932
+	* cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace
+	DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding
+	DECL_VALUE_EXPR.
+
 2023-01-16  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/105593
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 3f3e03c1943..e30b9d524dc 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2023-01-19  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/108434
+	* expr.cc (class_allocatable): Prevent NULL pointer dereference
+	or invalid read.
+	(class_pointer): Likewise.
+
 2023-01-17  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/108421
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5723c8c885a..c26a59fb048 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,80 @@
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/108437
+	* g++.dg/cpp23/subscript12.C: New test.
+	* g++.dg/cpp23/subscript13.C: New test.
+
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/53932
+	* g++.dg/init/pr53932.C: New test.
+
+2023-01-19  H.J. Lu  <hjl.tools@gmail.com>
+
+	* gcc.target/i386/pr108436.c: New test.
+
+2023-01-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/108455
+	* gcc.dg/analyzer/deref-before-check-1.c: Add test coverage
+	involving dominance.
+	* gcc.dg/analyzer/deref-before-check-pr108455-1.c: New test.
+	* gcc.dg/analyzer/deref-before-check-pr108455-git-pack-revindex.c:
+	New test.
+
+2023-01-19  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/108434
+	* gfortran.dg/pr108434.f90: New test.
+
+2023-01-19  Iain Sandoe  <iain@sandoe.co.uk>
+
+	* gm2/complex/run/pass/complex-run-pass.exp: Remove gm2_link_lib.
+	* gm2/iso/run/pass/iso-run-pass.exp: Likewise.
+	* gm2/link/externalscaffold/pass/link-externalscaffold-pass.exp:
+	* gm2/pimlib/logitech/run/pass/pimlib-logitech-run-pass.exp: Likewise.
+	* gm2/pimlib/run/pass/pimlib-run-pass.exp: Likewise.
+	* gm2/projects/iso/run/pass/halma/projects-iso-run-pass-halma.exp:
+	Likewise.
+	* gm2/projects/iso/run/pass/hello/projects-iso-run-pass-hello.exp:
+	Likewise.
+	* gm2/projects/pim/run/pass/hello/projects-pim-run-pass-hello.exp:
+	Likewise.
+	* gm2/sets/run/pass/sets-run-pass.exp: Likewise.
+	* gm2/switches/none/run/pass/gm2-none.exp: Likewise.
+	* gm2/switches/pic/run/pass/switches-pic-run-pass.exp: Likewise.
+	* gm2/projects/pim/run/pass/random/projects-pim-run-pass-random.exp:
+	Likewise, and also ensure that the -g option is appended to avoid it
+	being taken as a path.
+	* lib/gm2.exp: Ensure for each gm2_init_xxxx function that the set of
+	libraries added matches the set of -I and -L options.
+
+2023-01-19  Christophe Lyon  <christophe.lyon@arm.com>
+
+	PR target/108411
+	* g++.target/aarch64/bitfield-abi-warning-align16-O2-extra.C: Add
+	-fno-stack-protector.
+	* g++.target/aarch64/bitfield-abi-warning-align16-O2.C: Likewise.
+	* g++.target/aarch64/bitfield-abi-warning-align32-O2-extra.C: Likewise.
+	* g++.target/aarch64/bitfield-abi-warning-align32-O2.C: Likewise.
+	* g++.target/aarch64/bitfield-abi-warning-align8-O2.C: Likewise.
+	* gcc.target/aarch64/bitfield-abi-warning-align16-O2-extra.c: Likewise.
+	* gcc.target/aarch64/bitfield-abi-warning-align16-O2.c: Likewise.
+	* gcc.target/aarch64/bitfield-abi-warning-align32-O2-extra.c: Likewise.
+	* gcc.target/aarch64/bitfield-abi-warning-align32-O2.c: Likewise.
+	* gcc.target/aarch64/bitfield-abi-warning-align8-O2.c: Likewise.
+
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/108440
+	* c-c++-common/rotate-10.c: New test.
+	* c-c++-common/rotate-11.c: New test.
+
+2023-01-19  Alexandre Oliva  <oliva@adacore.com>
+
+	PR debug/106746
+	* gcc.target/i386/pr106746.c: New.
+
 2023-01-18  Marek Polacek  <polacek@redhat.com>
 
 	PR c/108424
diff --git a/libgm2/ChangeLog b/libgm2/ChangeLog
index d83a6d0e8c2..33576ddd5e3 100644
--- a/libgm2/ChangeLog
+++ b/libgm2/ChangeLog
@@ -1,3 +1,22 @@
+2023-01-19  Richard Biener  <rguenther@suse.de>
+
+	PR modula2/108144
+	* configure.ac: Add GCC_BASE_VER.
+	* configure: Re-generate.
+	* Makefile.am: Use @get_gcc_base_ver@ for gcc_version.
+	* libm2cor/Makefile.am: Likewise.  Use gcc_version instead
+	of version.
+	* libm2iso/Makefile.am: Likewise.
+	* libm2log/Makefile.am: Likewise.
+	* libm2min/Makefile.am: Likewise.
+	* libm2pim/Makefile.am: Likewise.
+	* Makefile.in: Re-generate.
+	* libm2cor/Makefile.in: Likewise.
+	* libm2iso/Makefile.in: Likewise.
+	* libm2log/Makefile.in: Likewise.
+	* libm2min/Makefile.in: Likewise.
+	* libm2pim/Makefile.in: Likewise.
+
 2023-01-17  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	* libm2iso/RTco.cc (_M2_RTco_fini): Call M2RTS_HaltC.
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 02f85d86a56..b0eb10ad361 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,8 @@
+2023-01-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/108459
+	* testsuite/libgomp.c/pr108459.c: New test.
+
 2023-01-17  Martin Liska  <mliska@suse.cz>
 
 	* Makefile.in: Regenerate.