21#ifndef GCC_ANALYZER_CALL_DETAILS_H
22#define GCC_ANALYZER_CALL_DETAILS_H
70 void dump (
bool simple)
const;
80 bool include_terminator,
81 const svalue **out_sval)
const;
86 const svalue *num_bytes_read_sval)
const;
Definition call-details.h:29
uncertainty_t * get_uncertainty() const
void check_for_null_terminated_string_arg(unsigned arg_idx) const
region_model_manager * get_manager() const
const svalue * get_arg_svalue(unsigned idx) const
const svalue * check_for_null_terminated_string_arg(unsigned arg_idx, bool include_terminator, const svalue **out_sval) const
tree get_arg_tree(unsigned idx) const
bool arg_is_pointer_p(unsigned idx) const
Definition call-details.h:48
location_t get_location() const
void dump_to_pp(pretty_printer *pp, bool simple) const
const svalue * get_or_create_conjured_svalue(const region *) const
void complain_about_overlap(unsigned arg_idx_a, unsigned arg_idx_b, const svalue *num_bytes_read_sval) const
tree get_lhs_type() const
Definition call-details.h:41
region_model_context * get_ctxt() const
Definition call-details.h:37
region_model_context * m_ctxt
Definition call-details.h:91
bool arg_is_integral_p(unsigned idx) const
Definition call-details.h:53
const region * get_lhs_region() const
Definition call-details.h:42
call_details(const call_details &cd, region_model_context *ctxt)
const region * m_lhs_region
Definition call-details.h:93
tree get_fndecl_for_call() const
unsigned num_args() const
tree lookup_function_attribute(const char *attr_name) const
call_details(const gcall *call, region_model *model, region_model_context *ctxt)
void dump(bool simple) const
bool maybe_set_lhs(const svalue *result) const
tree get_arg_type(unsigned idx) const
tree m_lhs_type
Definition call-details.h:92
const gcall * m_call
Definition call-details.h:89
const region * deref_ptr_arg(unsigned idx) const
region_model * m_model
Definition call-details.h:90
const gcall * get_call_stmt() const
Definition call-details.h:58
void set_any_lhs_with_defaults() const
const char * get_arg_string_literal(unsigned idx) const
region_model * get_model() const
Definition call-details.h:35
logger * get_logger() const
bool arg_is_size_p(unsigned idx) const
Definition analyzer-logging.h:34
static bool same_tree_p(tree t1, tree t2)
Definition region-model.h:718
Definition region-model-manager.h:32
Definition region-model.h:263
Definition pretty-print.h:241
union tree_node * tree
Definition coretypes.h:97
Definition access-diagram.h:30
unsigned m_arg_idx
Definition call-details.h:121
tree m_called_fndecl
Definition call-details.h:120
const gcall * m_call
Definition call-details.h:119
call_arg_details(const call_details &cd, unsigned arg_idx)
Definition call-details.h:103
tree m_arg_expr
Definition call-details.h:122
bool operator==(const call_arg_details &other) const
Definition call-details.h:111
static control_dependences * cd
Definition tree-ssa-dce.cc:104
#define POINTER_TYPE_P(TYPE)
Definition tree.h:700
#define INTEGRAL_TYPE_P(TYPE)
Definition tree.h:613