diff options
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 26c070ac19b..24d9c537b35 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,79 @@ +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + * region.h (code_region::get_element): Remove stray decl. + (function_region::get_element): Likewise. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106225 + * sm-taint.cc (taint_state_machine::on_stmt): Move handling of + assignments from division to... + (taint_state_machine::check_for_tainted_divisor): ...this new + function. Reject warning when the divisor is known to be non-zero. + * sm.cc: Include "analyzer/program-state.h". + (sm_context::get_old_region_model): New. + * sm.h (sm_context::get_old_region_model): New decl. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106204 + * region-model.cc (within_short_circuited_stmt_p): Move extraction + of assign_stmt to caller. + (due_to_ifn_deferred_init_p): New. + (region_model::check_for_poison): Move extraction of assign_stmt + from within_short_circuited_stmt_p to here. Share logic with + call to due_to_ifn_deferred_init_p. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + * diagnostic-manager.cc (saved_diagnostic::dump_dot_id): New. + (saved_diagnostic::dump_as_dot_node): New. + * diagnostic-manager.h (saved_diagnostic::dump_dot_id): New decl. + (saved_diagnostic::dump_as_dot_node): New decl. + * engine.cc (exploded_node::dump_dot): Add nodes for saved + diagnostics. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + * checker-path.cc (state_change_event::get_desc): Call maybe_free + on label_text temporaries. + * diagnostic-manager.cc + (diagnostic_manager::prune_for_sm_diagnostic): Likewise. + * engine.cc (exploded_graph::~exploded_graph): Fix leak of + m_per_point_data and m_per_call_string_data values. Simplify + cleanup of m_per_function_stats and m_per_point_data values. + (feasibility_state::maybe_update_for_edge): Fix leak of result of + superedge::get_description. + * region-model-manager.cc + (region_model_manager::~region_model_manager): Move cleanup of + m_setjmp_values to match the ordering of the fields within + region_model_manager. Fix leak of values within + m_repeated_values_map, m_bits_within_values_map, + m_asm_output_values_map, and m_const_fn_result_values_map. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/105285 + * store.cc (binding_cluster::get_any_binding): Handle accessing + sub_svalues of clusters where the base region has a symbolic + binding. + +2022-07-27 David Malcolm <dmalcolm@redhat.com> + + * diagnostic-manager.cc (epath_finder::process_worklist_item): + Call dump_feasible_path when a path that reaches the the target + enode is found. + (epath_finder::dump_feasible_path): New. + * engine.cc (feasibility_state::dump_to_pp): New. + * exploded-graph.h (feasibility_state::dump_to_pp): New decl. + * feasible-graph.cc (feasible_graph::dump_feasible_path): New. + * feasible-graph.h (feasible_graph::dump_feasible_path): New + decls. + * program-point.cc (function_point::print): Fix missing trailing + newlines. + * program-point.h (program_point::print_source_line): Remove + unimplemented decl. + 2022-05-06 Release Manager * GCC 12.1.0 released. |