diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-06-08 00:18:05 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-06-08 00:18:05 +0000 |
| commit | 6e5f77fdc7fc61d854660c238b719c1c83067613 (patch) | |
| tree | 31fa02b29b192fedf2e5f7e06c088632cbf39249 /gcc/analyzer | |
| parent | d039eef925878e41e3df1448cac6add51dba6333 (diff) | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 50f20caeb32..0e453ef84f7 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,62 @@ +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * engine.cc (impl_region_model_context::on_state_leak): Pass nullptr + to get_representative_path_var. + * region-model.cc (region_model::get_representative_path_var_1): + Add logger param and use it in both overloads. + (region_model::get_representative_path_var): Likewise. + (region_model::get_representative_tree): Likewise. + (selftest::test_get_representative_path_var): Pass nullptr to + get_representative_path_var. + * region-model.h (region_model::get_representative_tree): Add + optional logger param to both overloads. + (region_model::get_representative_path_var): Add logger param to + both overloads. + (region_model::get_representative_path_var_1): Likewise. + * store.cc (binding_cluster::get_representative_path_vars): Add + logger param and use it. + (store::get_representative_path_vars): Likewise. + * store.h (binding_cluster::get_representative_path_vars): Add + logger param. + (store::get_representative_path_vars): Likewise. + +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + * call-summary.cc + (call_summary_replay::convert_region_from_summary_1): Update + for removal of cast_region::m_original_region. + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): Likewise. + * region-model.cc (region_model::get_store_value): Likewise. + * region.cc (region::get_base_region): Likewise. + (region::descendent_of_p): Likewise. + (region::maybe_get_frame_region): Likewise. + (region::get_memory_space): Likewise. + (region::calc_offset): Likewise. + (cast_region::accept): Delete. + (cast_region::dump_to_pp): Update for removal of + cast_region::m_original_region. + (cast_region::add_dump_widget_children): Delete. + * region.h (struct cast_region::key_t): Rename "original_region" + to "parent". + (cast_region::cast_region): Likewise. Update for removal of + cast_region::m_original_region. + (cast_region::accept): Delete. + (cast_region::add_dump_widget_children): Delete. + (cast_region::get_original_region): Delete. + (cast_region::m_original_region): Delete. + * sm-taint.cc (region_model::check_region_for_taint): Remove + special-casing for RK_CAST. + +2024-06-07 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/105892 + * analyzer.opt (Wanalyzer-undefined-behavior-ptrdiff): New option. + * analyzer.opt.urls: Regenerate. + * region-model.cc (class undefined_ptrdiff_diagnostic): New. + (check_for_invalid_ptrdiff): New. + (region_model::get_gassign_result): Call it for POINTER_DIFF_EXPR. + 2024-06-01 David Malcolm <dmalcolm@redhat.com> PR analyzer/106203 |