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

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 5f1171c0da89749ca49f44b25e80422adfcb6bac..d3a520c19848a04867ef96a71264c7bcf90dfe39 100644 (file)
--- 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 986c831a2729bb14b370f8a97fbecf412d4ae84a..07708072688f5120d75a67d98b3c000d7aa98a36 100644 (file)
--- 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 23a89209aeb7d39e0afed1f8677eaa99954a8f75..878fb8f22549ea1f9d6b70c3254be9be5a9a227d 100644 (file)
--- 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