diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-21 21:13:18 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-21 21:13:18 -0400 |
| commit | 2503dd59b588d3f941c7df945ed41c40bb3a147f (patch) | |
| tree | ce1afe3a733a33c9753dd8dceb7569bc2a71b45c /gcc/analyzer/store.h | |
| parent | e40a935db29cfd8f1c68b1d0b7219d71b9c5abb0 (diff) | |
| download | gcc-2503dd59b588d3f941c7df945ed41c40bb3a147f.zip gcc-2503dd59b588d3f941c7df945ed41c40bb3a147f.tar.gz gcc-2503dd59b588d3f941c7df945ed41c40bb3a147f.tar.bz2 | |
analyzer: add ability for context to add events to a saved_diagnostic
gcc/analyzer/ChangeLog:
* diagnostic-manager.cc (saved_diagnostic::add_event): New.
(saved_diagnostic::add_any_saved_events): New.
(diagnostic_manager::add_event): New.
(dedupe_winners::emit_best): New.
(diagnostic_manager::emit_saved_diagnostic): Make "sd" param
non-const. Call saved_diagnostic::add_any_saved_events.
* diagnostic-manager.h (saved_diagnostic::add_event): New decl.
(saved_diagnostic::add_any_saved_events): New decl.
(saved_diagnostic::m_saved_events): New field.
(diagnostic_manager::add_event): New decl.
(diagnostic_manager::emit_saved_diagnostic): Make "sd" param
non-const.
* engine.cc (impl_region_model_context::add_event): New.
* exploded-graph.h (impl_region_model_context::add_event): New decl.
* region-model.cc
(noop_region_model_context::add_event): New.
(region_model_context_decorator::add_event): New.
* region-model.h (region_model_context::add_event): New vfunc.
(noop_region_model_context::add_event): New decl.
(region_model_context_decorator::add_event): New decl.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/store.h')
0 files changed, 0 insertions, 0 deletions