From 2e353c687dbd343ce592c5ec089774b2c699798a Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Mon, 13 May 2024 15:09:04 +0200 Subject: Manually add ChangeLog entries for various commits from 2024-05-09. --- 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 5f1171c..d3a520c 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 + + Backported from master: + 2024-03-27 David Malcolm + + 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 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 + + Backported from master: + 2024-01-31 David Malcolm + 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 PR analyzer/112969 @@ -58,6 +84,64 @@ (concrete_binding::is_deleted): Likewise. (concrete_binding::is_empty): Likewise. +2024-05-09 David Malcolm + + Backported from master: + 2023-08-03 David Malcolm + + PR analyzer/110882 + * region.cc (int_size_in_bits): Fail on zero-sized types. + +2024-05-09 David Malcolm + + Backported from master: + 2023-07-19 David Malcolm + + 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 + + Backported from master: + 2023-06-09 Tim Lange + + 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 + + Backported from master: + 2023-06-09 David Malcolm + + 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 986c831..0770807 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,11 @@ +2024-05-09 Vibhav Pant + + Backported from master: + 2023-10-25 Vibhav Pant + + * jit-recording.cc (recording::global::write_to_dump): Fix + dump of string literal initializers. + 2024-04-05 Iain Sandoe Backported from master: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 23a8920..878fb8f 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 + + Backported from master: + 2024-03-27 David Malcolm + + PR analyzer/114473 + * gcc.dg/analyzer/call-summaries-pr114473.c: New test. + 2024-05-09 David Malcolm 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 + + Backported from master: + 2024-01-31 David Malcolm + + PR analyzer/113253 + * gcc.dg/analyzer/deref-before-check-pr113253.c: New test. + 2024-05-09 David Malcolm PR analyzer/112969 @@ -48,6 +64,69 @@ PR analyzer/112889 * gcc.dg/analyzer/ice-pr112889.c: New test. +2024-05-09 David Malcolm + + Backported from master: + 2023-08-03 David Malcolm + + PR analyzer/108171 + * gcc.dg/analyzer/pr108171.c: New test. + +2024-05-09 David Malcolm + + Backported from master: + 2023-08-03 David Malcolm + + PR analyzer/110882 + * gcc.dg/analyzer/pr110882.c: New test. + +2024-05-09 David Malcolm + + Backported from master: + 2023-07-19 David Malcolm + + PR analyzer/110700 + * gcc.dg/analyzer/taint-divisor-2.c: New test. + +2024-05-09 David Malcolm + + Backported from master: + 2023-06-30 David Malcolm + + 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 + + Backported from master: + 2023-06-30 David Malcolm + Marek Polacek + + 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 + + Backported from master: + 2023-06-09 Tim Lange + + PR analyzer/110014 + * gcc.dg/analyzer/realloc-pr110014.c: New tests. + +2024-05-09 Tim Lange + + Backported from master: + 2023-06-09 Tim Lange + + 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 PR rtl-optimization/114415 -- cgit v1.1