region-model.h File Reference
#include "bitmap.h"#include "stringpool.h"#include "attribs.h"#include "selftest.h"#include "analyzer/svalue.h"#include "analyzer/region.h"#include "analyzer/known-function-manager.h"#include "analyzer/region-model-manager.h"#include "analyzer/pending-diagnostic.h"
Include dependency graph for region-model.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | ana::one_way_id_map< T > |
| class | ana::region_to_value_map |
| struct | ana::purge_stats |
| class | ana::visitor |
| class | ana::region_model |
| class | ana::region_model_context |
| class | ana::noop_region_model_context |
| class | ana::tentative_region_model_context |
| class | ana::region_model_context_decorator |
| class | ana::annotating_context |
| struct | ana::model_merger |
| class | ana::rejected_constraint |
| class | ana::rejected_op_constraint |
| class | ana::rejected_default_case |
| class | ana::rejected_ranges_constraint |
| class | ana::engine |
Namespaces | |
| namespace | inchash |
| namespace | ana |
Typedefs | |
| typedef void(* | ana::pop_frame_callback) (const region_model *model, const region_model *prev_model, const svalue *retval, region_model_context *ctxt) |
Functions | |
| void | inchash::add_path_var (path_var pv, hash &hstate) |
| void | debug (const region_model &rmodel) |
Function Documentation
◆ debug()
|
extern |
