[gcc r13-8762] Daily bump.

[gcc r13-8762] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:6d1801f89309d3c5f6738577e28f1249f9e28fe3

commit r13-8762-g6d1801f89309d3c5f6738577e28f1249f9e28fe3
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon May 13 08:54:26 2024 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 38 +++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/analyzer/ChangeLog  | 60 +++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog | 60 +++++++++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 159 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 29a094e62642..5d5f7a2c66ac 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,41 @@
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR middle-end/114348
+	* diagnostic.cc (output_format): New variable.
+	(fnotice): Bail out if the user requested one of the
+	machine-readable diagnostic output formats on stderr.
+	(diagnostic_output_format_init): Set output_format.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR middle-end/112684
+	* toplev.cc (toplev::main): Don't ICE in
+	-fdiagnostics-generate-patch when exiting after options,
+	since no edit context will have been created.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR driver/111700
+	* input.cc (file_cache::add_file): Update leading comment to
+	clarify that it can fail.
+	(file_cache::lookup_or_add_file): Likewise.
+	(get_source_file_content): Gracefully handle lookup_or_add_file
+	failing.
+
+2024-05-09  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+	PR rtl-optimization/114415
+	* sched-deps.cc (add_insn_mem_dependence): Add memory check for mem argument.
+	(sched_analyze_1): Treat stack pointer modification as memory read.
+	(sched_analyze_2, sched_analyze_insn): Add memory guard for processing pending_read_mems.
+	* sched-int.h (deps_desc): Add comment to pending_read_mems.
+
+2024-05-09  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/111009
+	* range-op.cc (operator_addr_expr::op1_range): Be more restrictive.
+	* value-range.h (contains_zero_p): New.
+
 2024-05-09  Jakub Jelinek  <jakub@redhat.com>
 
 	Backported from master:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 73da64a4ae1e..70e23263719f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240509
+20240513
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index bfe2ffe7201e..5f1171c0da89 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,63 @@
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/114408
+	* engine.cc (impl_run_checkers): Free up any dominance info that
+	we may have created.
+	* kf.cc (class kf_ubsan_handler): New.
+	(register_sanitizer_builtins): New.
+	(register_known_functions): Call register_sanitizer_builtins.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/109251
+	* sm-malloc.cc (deref_before_check::emit): Reject cases where the
+	check is in a loop header within a macro expansion.
+	(deref_before_check::loop_header_p): New.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/111289
+	* varargs.cc (representable_in_integral_type_p): New.
+	(va_arg_compatible_types_p): Add "arg_sval" param.  Handle integer
+	types.
+	(kf_va_arg::impl_call_pre): Pass arg_sval to
+	va_arg_compatible_types_p.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112969
+	* store.cc (binding_cluster::maybe_get_compound_binding): When
+	populating default_map, express the bit-range of the default key
+	for REG relative to REG, rather than to the base region.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/113333
+	* region-model-manager.cc
+	(region_model_manager::maybe_fold_unaryop): Casting all zeroes
+	should give all zeroes.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112790
+	* checker-event.cc (class inlining_info): Move to...
+	* inlining-iterator.h (class inlining_info): ...here.
+	* sm-malloc.cc: Include "analyzer/inlining-iterator.h".
+	(maybe_complain_about_deref_before_check): Reject stmts that were
+	inlined from another function.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112889
+	* store.h (concrete_binding::concrete_binding): Strengthen
+	assertion to require size to be be positive, rather than just
+	non-zero.
+	(concrete_binding::mark_deleted): Use size rather than start bit
+	offset.
+	(concrete_binding::mark_empty): Likewise.
+	(concrete_binding::is_deleted): Likewise.
+	(concrete_binding::is_empty): Likewise.
+
 2023-07-27  Release Manager
 
 	* GCC 13.2.0 released.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index af8293e4f47e..23a89209aeb7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,63 @@
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR driver/111700
+	* c-c++-common/diagnostic-format-sarif-file-pr111700.c: New test.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/114408
+	* gcc.dg/analyzer/deref-before-check-pr114408.c: New test.
+	* c-c++-common/ubsan/analyzer-ice-pr114408.c: New test.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/109251
+	* gcc.dg/analyzer/deref-before-check-pr109251-1.c: New test.
+	* gcc.dg/analyzer/deref-before-check-pr109251-2.c: New test.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/111289
+	* gcc.dg/analyzer/stdarg-pr111289-int.c: New test.
+	* gcc.dg/analyzer/stdarg-pr111289-ptr.c: New test.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112969
+	* gcc.dg/analyzer/compound-assignment-5.c (test_3): Remove
+	xfails, reorder tests.
+	* gcc.dg/analyzer/compound-assignment-pr112969.c: New test.
+	* gcc.dg/plugin/infoleak-pr112969.c: New test.
+	* gcc.dg/plugin/plugin.exp: Add infoleak-pr112969.c to
+	analyzer_kernel_plugin.c tests.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/113333
+	* gcc.dg/analyzer/calloc-1.c: Add tests.
+	* gcc.dg/analyzer/data-model-9.c: Update expected results.
+	* gcc.dg/analyzer/pr96639.c: Update expected results.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112790
+	* gcc.dg/analyzer/deref-before-check-pr112790.c: New test.
+
+2024-05-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/112889
+	* gcc.dg/analyzer/ice-pr112889.c: New test.
+
+2024-05-09  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+	PR rtl-optimization/114415
+	* gcc.target/i386/pr114415.c: New test.
+
+2024-05-09  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/111009
+	* gcc.dg/pr111009.c: New.
+
 2024-05-09  Jakub Jelinek  <jakub@redhat.com>
 
 	Backported from master: