https://gcc.gnu.org/g:2e353c687dbd343ce592c5ec089774b2c699798a
commit r13-8764-g2e353c687dbd343ce592c5ec089774b2c699798a
Author: Jakub Jelinek <ja...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-03-27 David Malcolm <dmalc...@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 <dmalc...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-01-31 David Malcolm <dmalc...@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 <dmalc...@redhat.com>
PR analyzer/112969
@@ -58,6 +84,64 @@
(concrete_binding::is_deleted): Likewise.
(concrete_binding::is_empty): Likewise.
+2024-05-09 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-08-03 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/110882
+ * region.cc (int_size_in_bits): Fail on zero-sized types.
+
+2024-05-09 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-07-19 David Malcolm <dmalc...@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 <m...@tim-lange.me>
+
+ Backported from master:
+ 2023-06-09 Tim Lange <m...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-06-09 David Malcolm <dmalc...@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 <vibh...@gmail.com>
+
+ Backported from master:
+ 2023-10-25 Vibhav Pant <vibh...@gmail.com>
+
+ * jit-recording.cc (recording::global::write_to_dump): Fix
+ dump of string literal initializers.
+
2024-04-05 Iain Sandoe <i...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-03-27 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/114473
+ * gcc.dg/analyzer/call-summaries-pr114473.c: New test.
+
2024-05-09 David Malcolm <dmalc...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2024-01-31 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/113253
+ * gcc.dg/analyzer/deref-before-check-pr113253.c: New test.
+
2024-05-09 David Malcolm <dmalc...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-08-03 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/108171
+ * gcc.dg/analyzer/pr108171.c: New test.
+
+2024-05-09 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-08-03 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/110882
+ * gcc.dg/analyzer/pr110882.c: New test.
+
+2024-05-09 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-07-19 David Malcolm <dmalc...@redhat.com>
+
+ PR analyzer/110700
+ * gcc.dg/analyzer/taint-divisor-2.c: New test.
+
+2024-05-09 David Malcolm <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-06-30 David Malcolm <dmalc...@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 <dmalc...@redhat.com>
+
+ Backported from master:
+ 2023-06-30 David Malcolm <dmalc...@redhat.com>
+ Marek Polacek <pola...@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 <m...@tim-lange.me>
+
+ Backported from master:
+ 2023-06-09 Tim Lange <m...@tim-lange.me>
+
+ PR analyzer/110014
+ * gcc.dg/analyzer/realloc-pr110014.c: New tests.
+
+2024-05-09 Tim Lange <m...@tim-lange.me>
+
+ Backported from master:
+ 2023-06-09 Tim Lange <m...@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 <vmaka...@redhat.com>
PR rtl-optimization/114415
