GCC Middle and Back End API Reference
|
#include <call-summary.h>
Public Member Functions | |
call_summary (per_function_data *per_fn_data, const exploded_node *enode) | |
const program_state & | get_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 |
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.
|
inline |
void ana::call_summary::dump | ( | const extrinsic_state & | ext_state, |
bool | simple ) const |
void ana::call_summary::dump | ( | const extrinsic_state & | ext_state, |
FILE * | fp, | ||
bool | simple ) const |
void ana::call_summary::dump_to_pp | ( | const extrinsic_state & | ext_state, |
pretty_printer * | pp, | ||
bool | simple ) const |
label_text ana::call_summary::get_desc | ( | ) | const |
tree ana::call_summary::get_fndecl | ( | ) | const |
const program_state & ana::call_summary::get_state | ( | ) | const |
|
private |
|
private |
|
private |