[gcc r13-8764] Manually add ChangeLog entries for various commits from 2024-05-09.

[gcc r13-8764] Manually add ChangeLog entries for various commits from 2024-05-09.

[Jakub Jelinek]

https://gcc.gnu.org/g:2e353c687dbd343ce592c5ec089774b2c699798a

commit r13-8764-g2e353c687dbd343ce592c5ec089774b2c699798a
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon May 13 15:09:04 2024 +0200

    Manually add ChangeLog entries for various commits from 2024-05-09.

Diff:
---
 gcc/analyzer/ChangeLog  | 84 +++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/jit/ChangeLog       |  8 +++++
 gcc/testsuite/ChangeLog | 79 ++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 171 insertions(+)

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 5f1171c0da89..d3a520c19848 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -7,6 +7,19 @@
 	(register_sanitizer_builtins): New.
 	(register_known_functions): Call register_sanitizer_builtins.
 
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2024-03-27  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/114473
+	* call-summary.cc
+	(call_summary_replay::convert_svalue_from_summary): Assert that
+	the types match.
+	(call_summary_replay::convert_region_from_summary): Likewise.
+	(call_summary_replay::convert_region_from_summary_1): Add missing
+	cast for the deref of RK_SYMBOLIC case.
+
 2024-05-09  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/109251
@@ -23,6 +36,19 @@
 	(kf_va_arg::impl_call_pre): Pass arg_sval to
 	va_arg_compatible_types_p.
 
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2024-01-31  David Malcolm  <dmalcolm@redhat.com>
+	PR analyzer/113253
+	* region-model.cc (region_model::on_stmt_pre): Add gcc_unreachable
+	for debug statements.
+	* state-purge.cc
+	(state_purge_per_ssa_name::state_purge_per_ssa_name): Skip any
+	debug stmts in the FOR_EACH_IMM_USE_FAST list.
+	* supergraph.cc (supergraph::supergraph): Don't add debug stmts
+	to the supernodes.
+
 2024-05-09  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/112969
@@ -58,6 +84,64 @@
 	(concrete_binding::is_deleted): Likewise.
 	(concrete_binding::is_empty): Likewise.
 
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-08-03  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/110882
+	* region.cc (int_size_in_bits): Fail on zero-sized types.
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-07-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/110700
+	* region-model-manager.cc
+	(region_model_manager::get_or_create_int_cst): Assert that we have
+	an integral or pointer type.
+	* sm-taint.cc (taint_state_machine::check_for_tainted_divisor):
+	Don't check non-integral types.
+
+2024-05-09  Tim Lange  <mail@tim-lange.me>
+
+	Backported from master:
+	2023-06-09  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/109577
+	* constraint-manager.cc (class sval_finder): Visitor to find
+	childs in svalue trees.
+	(constraint_manager::sval_constrained_p): Add new function to
+	check whether a sval might be part of an constraint.
+	* constraint-manager.h: Add sval_constrained_p function.
+	* region-model.cc (class size_visitor): Reverse behavior to not
+	emit a warning on not explicitly considered cases.
+	(region_model::check_region_size):
+	Adapt to size_visitor changes.
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-06-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/110112
+	* region-model.cc (region_model::get_initial_value_for_global):
+	Move code to region::calc_initial_value_at_main.
+	* region.cc (region::get_initial_value_at_main): New function.
+	(region::calc_initial_value_at_main): New function, based on code
+	in region_model::get_initial_value_for_global.
+	(region::region): Initialize m_cached_init_sval_at_main.
+	(decl_region::get_svalue_for_constructor): Add a cache, splitting
+	out body to...
+	(decl_region::calc_svalue_for_constructor): ...this new function.
+	* region.h (region::get_initial_value_at_main): New decl.
+	(region::calc_initial_value_at_main): New decl.
+	(region::m_cached_init_sval_at_main): New field.
+	(decl_region::decl_region): Initialize m_ctor_svalue.
+	(decl_region::calc_svalue_for_constructor): New decl.
+	(decl_region::m_ctor_svalue): New field.
+
 2023-07-27  Release Manager
 
 	* GCC 13.2.0 released.
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog
index 986c831a2729..07708072688f 100644
--- a/gcc/jit/ChangeLog
+++ b/gcc/jit/ChangeLog
@@ -1,3 +1,11 @@
+2024-05-09  Vibhav Pant  <vibhavp@gmail.com>
+
+	Backported from master:
+	2023-10-25  Vibhav Pant  <vibhavp@gmail.com>
+
+	* jit-recording.cc (recording::global::write_to_dump): Fix
+	dump of string literal initializers.
+
 2024-04-05  Iain Sandoe  <iain@sandoe.co.uk>
 
 	Backported from master:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 23a89209aeb7..878fb8f22549 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -9,6 +9,14 @@
 	* 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>
+
+	Backported from master:
+	2024-03-27  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/114473
+	* gcc.dg/analyzer/call-summaries-pr114473.c: New test.
+
 2024-05-09  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/109251
@@ -21,6 +29,14 @@
 	* 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>
+
+	Backported from master:
+	2024-01-31  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/113253
+	* gcc.dg/analyzer/deref-before-check-pr113253.c: New test.
+
 2024-05-09  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/112969
@@ -48,6 +64,69 @@
 	PR analyzer/112889
 	* gcc.dg/analyzer/ice-pr112889.c: New test.
 
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-08-03  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/108171
+	* gcc.dg/analyzer/pr108171.c: New test.
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-08-03  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/110882
+	* gcc.dg/analyzer/pr110882.c: New test.
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-07-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/110700
+	* gcc.dg/analyzer/taint-divisor-2.c: New test.
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-06-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR jit/110466
+	* jit.dg/jit.exp (jit-check-debug-info): Gracefully handle too
+	early versions of gdb that don't support our dwarf version, via
+	"unsupported".
+
+2024-05-09  David Malcolm <dmalcolm@redhat.com>
+
+	Backported from master:
+	2023-06-30  David Malcolm  <dmalcolm@redhat.com>
+		    Marek Polacek  <polacek@redhat.com>
+
+	PR jit/110466
+	* jit.dg/test-expressions.c (run_test_of_comparison): Fix size
+	param to gcc_jit_type_get_vector.
+	(verify_comparisons): Use a typedef rather than __vector.
+
+2024-05-09  Tim Lange  <mail@tim-lange.me>
+
+	Backported from master:
+	2023-06-09  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/110014
+	* gcc.dg/analyzer/realloc-pr110014.c: New tests.
+
+2024-05-09  Tim Lange  <mail@tim-lange.me>
+
+	Backported from master:
+	2023-06-09  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/109577
+	* gcc.dg/analyzer/allocation-size-2.c: Change expected output
+	and add new test case.
+	* gcc.dg/analyzer/pr109577.c: New test.
+
 2024-05-09  Vladimir N. Makarov  <vmakarov@redhat.com>
 
 	PR rtl-optimization/114415