Searched refs:get_pointee (Results 1 – 12 of 12) sorted by relevance
103 self.assertEqual(fields[6].type.get_pointee().kind, TypeKind.INT)111 self.assertEqual(fields[7].type.get_pointee().kind, TypeKind.POINTER)112 self.assertEqual(fields[7].type.get_pointee().get_pointee().kind, TypeKind.POINTER)113 … self.assertEqual(fields[7].type.get_pointee().get_pointee().get_pointee().kind, TypeKind.INT)
124 return region_sval->get_pointee (); in maybe_get_region()387 return region::cmp_ids (region_sval1->get_pointee (), in cmp_ptr()388 region_sval2->get_pointee ()); in cmp_ptr()684 return region_sval->get_pointee ()->get_base_region (); in maybe_get_deref_base_region()746 const region *base_reg = get_pointee ()->get_base_region (); in implicitly_live_p()765 const region *lhs_reg = lhs->get_pointee (); in eval_condition()766 const region *rhs_reg = rhs->get_pointee (); in eval_condition()
176 const region *pointee = ptr->get_pointee (); in handle_sval()
2534 return region_sval->get_pointee (); in deref_rvalue()3024 const region *pointee = ptr->get_pointee (); in eval_condition_without_cm()3110 const region *pointee = ptr->get_pointee (); in compare_initial_and_pointer()3300 unset_dynamic_extents (region_sval->get_pointee ()); in add_constraint()3373 const region *reg = ptr_sval->get_pointee (); in get_representative_path_var_1()4155 const region *ptr_dst = ptr_sval->get_pointee (); in on_binding()4242 const region *reg = fn_ptr_ptr->get_pointee (); in get_fndecl_for_call()5747 const region *merged_p_star_reg = merged_p_ptr->get_pointee (); in test_state_merging()
1897 = region_sval->get_pointee ()->get_base_region (); in make_unknown_relative_to()2459 const region *ptr_dst = ptr_sval->get_pointee (); in set_value()2596 const region *pointee = region_sval->get_pointee (); in eval_alias_1()
241 const region * get_pointee () const { return m_reg; } in get_pointee() function
425 return get_ptr_svalue (type, region_sval->get_pointee ()); in maybe_fold_unaryop()
358 const region *reg = ptr->get_pointee (); in get_default_state()
5466 (region_svalue::get_pointee): Port from region_id to
504 region_id a_rid = region_sval_a.get_pointee (); in merge_values()505 region_id b_rid = region_sval_b.get_pointee (); in merge_values()607 region_id lhs_rid = lhs->get_pointee (); in eval_condition()608 region_id rhs_rid = rhs->get_pointee (); in eval_condition()3876 region_id pointee_rid = region_sval->get_pointee (); in dump_summary_of_rep_path_vars()4505 region_id pointee_rid = ptr_to_region_sval->get_pointee (); in on_call_post()4565 region_id pointee_rid = ptr->get_pointee (); in add()4649 region_id pointee_rid = parm_ptr->get_pointee (); in handle_unrecognized_call()4694 region_id pointee_rid = ptr->get_pointee (); in handle_unrecognized_call()5140 if (ptr_svalue->get_pointee () == rid in get_or_create_ptr_svalue()[all …]
554 region_id get_pointee () const { return m_rid; } in get_pointee() function
2336 def get_pointee(self): member in Type