diff options
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 921b052..7ea99c1 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,90 @@ 2022-12-02 David Malcolm <dmalcolm@redhat.com> + * analyzer.h (struct event_loc_info): New forward decl. + * bounds-checking.cc: Use event_loc_info throughout to bundle the + loc, fndecl, depth triples. + * call-info.cc: Likewise. + * checker-event.cc: Likewise. + * checker-event.h (struct event_loc_info): New decl. Use it + throughout to bundle the loc, fndecl, depth triples. + * checker-path.cc: Likewise. + * checker-path.h: Likewise. + * diagnostic-manager.cc: Likewise. + * engine.cc: Likewise. + * infinite-recursion.cc: Likewise. + * pending-diagnostic.cc: Likewise. + * pending-diagnostic.h: Likewise. + * region-model.cc: Likewise. + * sm-signal.cc: Likewise. + * varargs.cc: Likewise. + +2022-12-02 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107851 + * analyzer.cc (make_label_text_n): Convert param "n" from int to + unsigned HOST_WIDE_INT. + * analyzer.h (make_label_text_n): Likewise for decl. + * bounds-checking.cc: Include "analyzer/checker-event.h" and + "analyzer/checker-path.h". + (out_of_bounds::add_region_creation_events): New. + (concrete_past_the_end::describe_region_creation_event): Replace + with... + (concrete_past_the_end::add_region_creation_events): ...this. + (symbolic_past_the_end::describe_region_creation_event): Delete. + * checker-event.cc (region_creation_event::region_creation_event): + Update for dropping all member data. + (region_creation_event::get_desc): Delete, splitting out into + region_creation_event_memory_space::get_desc, + region_creation_event_capacity::get_desc, and + region_creation_event_debug::get_desc. + (region_creation_event_memory_space::get_desc): New. + (region_creation_event_capacity::get_desc): New. + (region_creation_event_allocation_size::get_desc): New. + (region_creation_event_debug::get_desc): New. + * checker-event.h: Include "analyzer/program-state.h". + (enum rce_kind): Delete. + (class region_creation_event): Drop all member data. + (region_creation_event::region_creation_event): Make protected. + (region_creation_event::get_desc): Delete. + (class region_creation_event_memory_space): New. + (class region_creation_event_capacity): New. + (class region_creation_event_allocation_size): New. + (class region_creation_event_debug): New. + * checker-path.cc (checker_path::add_region_creation_events): Add + "pd" param. Call pending_diangnostic::add_region_creation_events. + Update for conversion of RCE_DEBUG to region_creation_event_debug. + * checker-path.h (checker_path::add_region_creation_events): Add + "pd" param. + * diagnostic-manager.cc (diagnostic_manager::build_emission_path): + Pass pending_diagnostic to + emission_path::add_region_creation_events. + (diagnostic_manager::build_emission_path): Pass path_builder to + add_event_on_final_node. + (diagnostic_manager::add_event_on_final_node): Add "pb" param. + Pass pending_diagnostic to + emission_path::add_region_creation_events. + (diagnostic_manager::add_events_for_eedge): Pass + pending_diagnostic to emission_path::add_region_creation_events. + * diagnostic-manager.h + (diagnostic_manager::add_event_on_final_node): Add "pb" param. + * pending-diagnostic.cc + (pending_diagnostic::add_region_creation_events): New. + * pending-diagnostic.h (struct region_creation): Delete. + (pending_diagnostic::describe_region_creation_event): Delete. + (pending_diagnostic::add_region_creation_events): New vfunc. + * region-model.cc: Include "analyzer/checker-event.h" and + "analyzer/checker-path.h". + (dubious_allocation_size::dubious_allocation_size): Initialize + m_has_allocation_event. + (dubious_allocation_size::describe_region_creation_event): Delete. + (dubious_allocation_size::describe_final_event): Update for + replacement of m_allocation_event with m_has_allocation_event. + (dubious_allocation_size::add_region_creation_events): New. + (dubious_allocation_size::m_allocation_event): Replace with... + (dubious_allocation_size::m_has_allocation_event): ...this. + +2022-12-02 David Malcolm <dmalcolm@redhat.com> + PR analyzer/107948 * region-model-manager.cc (region_model_manager::maybe_fold_binop): Fold (0 - VAL) to -VAL. |