GCC Middle and Back End API Reference
|
#include <call-info.h>
Public Member Functions | |
label_text | get_desc (bool can_colorize) const final override |
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 |
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 | |
success_call_info (const call_details &cd) | |
Protected Attributes | |
bool | m_success |
Private Attributes | |
const gcall * | m_call_stmt |
tree | m_fndecl |
Subclass of call_info for a "success" outcome of a call, adding a "when `FNDECL' succeeds" message. This is still abstract: the custom_edge_info::update_model vfunc must be implemented.
|
inlineprotected |
|
finaloverridevirtualinherited |
Implements ana::custom_edge_info.
|
inherited |
|
inlineinherited |
References ana::call_info::m_call_stmt.
|
finaloverridevirtualinherited |
Implements ana::call_info.
|
inlineinherited |
References ana::call_info::m_fndecl.
|
finaloverridevirtualinherited |
Implements ana::custom_edge_info.
|
pure virtualinherited |
Implemented in ana::dynamic_call_info_t, and ana::rewind_info_t.
|
virtualinherited |
|
privateinherited |
Referenced by ana::call_info::get_call_stmt().
|
privateinherited |
Referenced by ana::call_info::get_fndecl().
|
protectedinherited |