Home | History | Annotate | Download | only in analyzer

Lines Matching defs:region_model_manager

65 /* class region_model_manager.  */
67 /* region_model_manager's ctor.  */
69 region_model_manager::region_model_manager (logger *logger)
87 /* region_model_manager's dtor.  Delete all of the managed svalues
90 region_model_manager::~region_model_manager ()
163 region_model_manager::too_complex_p (const complexity &c) const
175 region_model_manager::reject_if_too_complex (svalue *sval)
195    region_model_manager member functions.
217 region_model_manager::get_or_create_constant_svalue (tree cst_expr)
235 region_model_manager::get_or_create_int_cst (tree type, poly_int64 val)
246 region_model_manager::get_or_create_null_ptr (tree pointer_type)
259 region_model_manager::get_or_create_unknown_svalue (tree type)
286 region_model_manager::create_unique_svalue (tree type)
297 region_model_manager::get_or_create_initial_value (const region *reg)
327 region_model_manager::get_or_create_setjmp_svalue (const setjmp_record &r,
343 region_model_manager::get_or_create_poisoned_svalue (enum poison_kind kind,
359 region_model_manager::get_ptr_svalue (tree ptr_type, const region *pointee)
376 /* Subroutine of region_model_manager::get_or_create_unaryop.
381 region_model_manager::maybe_fold_unaryop (tree type, enum tree_code op,
485 region_model_manager::get_or_create_unaryop (tree type, enum tree_code op,
527 region_model_manager::get_or_create_cast (tree type, const svalue *arg)
545 /* Subroutine of region_model_manager::maybe_fold_binop for handling
558 region_model_manager::
598 /* Subroutine of region_model_manager::get_or_create_binop.
603 region_model_manager::maybe_fold_binop (tree type, enum tree_code op,
762 region_model_manager::get_or_create_binop (tree type, enum tree_code op,
788 /* Subroutine of region_model_manager::get_or_create_sub_svalue.
792 region_model_manager::maybe_fold_sub_svalue (tree type,
876 region_model_manager::get_or_create_sub_svalue (tree type,
894 /* Subroutine of region_model_manager::get_or_create_repeated_svalue.
898 region_model_manager::maybe_fold_repeated_svalue (tree type,
937 region_model_manager::get_or_create_repeated_svalue (tree type,
1016 /* Subroutine of region_model_manager::get_or_create_bits_within.
1020 region_model_manager::maybe_fold_bits_within_svalue (tree type,
1130 region_model_manager::get_or_create_bits_within (tree type,
1152 region_model_manager::get_or_create_unmergeable (const svalue *arg)
1169 region_model_manager::get_or_create_widening_svalue (tree type,
1190 region_model_manager::get_or_create_compound_svalue (tree type,
1221 region_model_manager::get_or_create_conjured_svalue (tree type,
1244 /* Subroutine of region_model_manager::get_or_create_asm_output_svalue.
1248 region_model_manager::
1264 region_model_manager::
1294 region_model_manager::
1320 region_model_manager::maybe_get_char_from_string_cst (tree string_cst,
1348 region_model_manager::get_region_for_fndecl (tree fndecl)
1364 region_model_manager::get_region_for_label (tree label)
1385 region_model_manager::get_region_for_global (tree expr)
1404 region_model_manager::get_unknown_symbolic_region (tree region_type)
1415 region_model_manager::get_field_region (const region *parent, tree field)
1437 region_model_manager::get_element_region (const region *parent,
1460 region_model_manager::get_offset_region (const region *parent,
1499 region_model_manager::get_sized_region (const region *parent,
1534 region_model_manager::get_cast_region (const region *original_region,
1558 region_model_manager::get_frame_region (const frame_region *calling_frame,
1578 region_model_manager::get_symbolic_region (const svalue *sval)
1594 region_model_manager::get_region_for_string (tree string_cst)
1611 region_model_manager::get_bit_range (const region *parent, tree type,
1637 region_model_manager::
1653 region_model_manager::create_region_for_heap_alloc ()
1664 region_model_manager::create_region_for_alloca (const frame_region *frame)
1754 region_model_manager::log_stats (logger *logger, bool show_objs) const
1846 region_model_manager::dump_untracked_regions () const