GCC Middle and Back End API Reference
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 "text-art/widget.h"
#include "text-art/dump.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()

void debug ( const region_model & rmodel)
extern