GCC Middle and Back End API Reference
ana::call_info Class Referenceabstract

#include <call-info.h>

Inheritance diagram for ana::call_info:
Collaboration diagram for ana::call_info:

Public Member Functions

void print (pretty_printer *pp) const final override
 
void add_events_to_path (checker_path *emission_path, const exploded_edge &eedge) const final override
 
const gcallget_call_stmt () const
 
tree get_fndecl () const
 
virtual label_text get_desc (bool can_colorize) const =0
 
call_details get_call_details (region_model *model, region_model_context *ctxt) const
 
virtual bool update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) const
 
virtual bool update_model (region_model *model, const exploded_edge *eedge, region_model_context *ctxt) const =0
 

Protected Member Functions

 call_info (const call_details &cd)
 
 call_info (const call_details &cd, const function &called_fn)
 

Private Attributes

const gcallm_call_stmt
 
tree m_fndecl
 

Detailed Description

Subclass of custom_edge_info for an outcome of a call.
This is still abstract; the update_model and get_desc vfuncs must be
implemented.   

Constructor & Destructor Documentation

◆ call_info() [1/2]

ana::call_info::call_info ( const call_details & cd)
protected

◆ call_info() [2/2]

ana::call_info::call_info ( const call_details & cd,
const function & called_fn )
protected

Member Function Documentation

◆ add_events_to_path()

void ana::call_info::add_events_to_path ( checker_path * emission_path,
const exploded_edge & eedge ) const
finaloverridevirtual

Implements ana::custom_edge_info.

◆ get_call_details()

call_details ana::call_info::get_call_details ( region_model * model,
region_model_context * ctxt ) const

◆ get_call_stmt()

const gcall * ana::call_info::get_call_stmt ( ) const
inline

References m_call_stmt.

◆ get_desc()

virtual label_text ana::call_info::get_desc ( bool can_colorize) const
pure virtual

◆ get_fndecl()

tree ana::call_info::get_fndecl ( ) const
inline

References m_fndecl.

◆ print()

void ana::call_info::print ( pretty_printer * pp) const
finaloverridevirtual

Implements ana::custom_edge_info.

◆ update_model()

virtual bool ana::custom_edge_info::update_model ( region_model * model,
const exploded_edge * eedge,
region_model_context * ctxt ) const
pure virtualinherited

◆ update_state()

virtual bool ana::custom_edge_info::update_state ( program_state * state,
const exploded_edge * eedge,
region_model_context * ctxt ) const
virtualinherited

Field Documentation

◆ m_call_stmt

const gcall* ana::call_info::m_call_stmt
private

Referenced by get_call_stmt().

◆ m_fndecl

tree ana::call_info::m_fndecl
private

Referenced by get_fndecl().


The documentation for this class was generated from the following file: