GCC Middle and Back End API Reference
ana::call_summary Class Reference

#include <call-summary.h>

Collaboration diagram for ana::call_summary:

Public Member Functions

 call_summary (per_function_data *per_fn_data, const exploded_node *enode)
 
const program_stateget_state () const
 
tree get_fndecl () const
 
label_text get_desc () const
 
void dump_to_pp (const extrinsic_state &ext_state, pretty_printer *pp, bool simple) const
 
void dump (const extrinsic_state &ext_state, FILE *fp, bool simple) const
 
void dump (const extrinsic_state &ext_state, bool simple) const
 

Private Member Functions

void get_user_facing_desc (pretty_printer *pp) const
 

Private Attributes

per_function_data *const m_per_fn_data
 
const exploded_node *const m_enode
 

Detailed Description

A class summarizing one particular outcome of a function that
we've already analyzed.
This lets us efficiently replay the analysis when we see calls
to the function, providing an approximation of the behavior of
the function without having to execute within the function itself.   

Constructor & Destructor Documentation

◆ call_summary()

ana::call_summary::call_summary ( per_function_data * per_fn_data,
const exploded_node * enode )
inline

Member Function Documentation

◆ dump() [1/2]

void ana::call_summary::dump ( const extrinsic_state & ext_state,
bool simple ) const

◆ dump() [2/2]

void ana::call_summary::dump ( const extrinsic_state & ext_state,
FILE * fp,
bool simple ) const

◆ dump_to_pp()

void ana::call_summary::dump_to_pp ( const extrinsic_state & ext_state,
pretty_printer * pp,
bool simple ) const

◆ get_desc()

label_text ana::call_summary::get_desc ( ) const

◆ get_fndecl()

tree ana::call_summary::get_fndecl ( ) const

◆ get_state()

const program_state & ana::call_summary::get_state ( ) const

◆ get_user_facing_desc()

void ana::call_summary::get_user_facing_desc ( pretty_printer * pp) const
private

Field Documentation

◆ m_enode

const exploded_node* const ana::call_summary::m_enode
private

◆ m_per_fn_data

per_function_data* const ana::call_summary::m_per_fn_data
private

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