GCC Middle and Back End API Reference
|
#include <region-model.h>
Some region_model activity could lead to warnings (e.g. attempts to use an uninitialized value). This abstract base class encapsulates an interface for the region model to use when emitting such warnings. Having this as an abstract base class allows us to support the various operations needed by program_state in the analyzer within region_model, whilst keeping them somewhat modularized.
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::region_model_context_decorator, and ana::noop_region_model_context.
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::region_model_context_decorator, and ana::noop_region_model_context.
Referenced by ana::region_model_context_decorator::add_note().
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::bifurcate().
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::get_eg().
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::get_ext_state().
|
inline |
References get_state_map_by_name(), and ggc_alloc().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::get_logger().
|
inline |
References get_state_map_by_name(), ggc_alloc(), and NULL.
|
pure virtual |
Implemented in ana::noop_region_model_context, ana::impl_region_model_context, and ana::region_model_context_decorator.
Referenced by get_fd_map(), get_malloc_map(), ana::region_model_context_decorator::get_state_map_by_name(), and get_taint_map().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::get_stmt().
|
inline |
References get_state_map_by_name(), ggc_alloc(), and NULL.
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::get_uncertainty().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::maybe_did_work().
|
pure virtual |
Implemented in ana::noop_region_model_context, ana::impl_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_bounded_ranges().
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_condition().
Implemented in ana::impl_region_model_context, ana::region_model_context_decorator, and ana::noop_region_model_context.
Referenced by ana::region_model_context_decorator::on_escaped_function().
|
pure virtual |
Implemented in ana::noop_region_model_context, ana::impl_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_liveness_change().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_phi().
|
pure virtual |
Implemented in ana::noop_region_model_context, ana::impl_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_pop_frame().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_svalue_leak().
|
pure virtual |
|
pure virtual |
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::on_unknown_change().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::purge_state_involving().
Implemented in ana::impl_region_model_context, ana::noop_region_model_context, and ana::region_model_context_decorator.
Referenced by ana::region_model_context_decorator::terminate_path().
|
pure virtual |
Implemented in ana::region_model_context_decorator, ana::annotating_context, ana::impl_region_model_context, and ana::noop_region_model_context.
Referenced by ana::region_model_context_decorator::warn(), and ana::annotating_context::warn().