GCC Middle and Back End API Reference
|
#include <call-info.h>
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 gcall * | get_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 gcall * | m_call_stmt |
tree | m_fndecl |
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.
|
protected |
|
protected |
|
finaloverridevirtual |
Implements ana::custom_edge_info.
call_details ana::call_info::get_call_details | ( | region_model * | model, |
region_model_context * | ctxt ) const |
|
inline |
References m_call_stmt.
|
pure virtual |
Implemented in ana::succeed_or_fail_call_info.
|
finaloverridevirtual |
Implements ana::custom_edge_info.
|
pure virtualinherited |
Implemented in ana::dynamic_call_info_t, and ana::rewind_info_t.
|
virtualinherited |
|
private |
Referenced by get_call_stmt().
|
private |
Referenced by get_fndecl().