Home
last modified time | relevance | path

Searched refs:ptr_sval (Results 1 – 7 of 7) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model-impl-calls.cc235 const svalue *ptr_sval in impl_call_alloca() local
237 cd.maybe_set_lhs (ptr_sval); in impl_call_alloca()
391 const svalue *ptr_sval in impl_call_calloc() local
393 cd.maybe_set_lhs (ptr_sval); in impl_call_calloc()
434 const svalue *ptr_sval = cd.get_arg_svalue (0); in impl_call_fgets() local
435 if (const region *reg = ptr_sval->maybe_get_region ()) in impl_call_fgets()
448 const svalue *ptr_sval = cd.get_arg_svalue (0); in impl_call_fread() local
449 if (const region *reg = ptr_sval->maybe_get_region ()) in impl_call_fread()
475 const svalue *ptr_sval = cd.get_arg_svalue (0); in impl_call_free() local
476 if (const region *freed_reg = ptr_sval->maybe_get_region ()) in impl_call_free()
[all …]
H A Dprogram-state.cc1630 const svalue *ptr_sval = mgr->get_ptr_svalue (ptr_type_node, new_reg); in test_program_state_1() local
1632 ptr_sval, NULL); in test_program_state_1()
1635 smap->impl_set_state (ptr_sval, UNCHECKED_STATE, NULL, ext_state); in test_program_state_1()
1636 ASSERT_EQ (smap->get_state (ptr_sval, ext_state), UNCHECKED_STATE); in test_program_state_1()
1687 const svalue *ptr_sval = mgr->get_ptr_svalue (ptr_type_node, new_reg); in test_program_state_merging() local
1689 ptr_sval, &ctxt); in test_program_state_merging()
1693 smap->impl_set_state (ptr_sval, TEST_STATE, NULL, ext_state); in test_program_state_merging()
1694 ASSERT_EQ (smap->get_state (ptr_sval, ext_state), TEST_STATE); in test_program_state_merging()
H A Dregion-model.cc679 const svalue *ptr_sval = get_rvalue (ptr, ctxt); in get_gassign_result() local
687 ptr_sval, offset_sval); in get_gassign_result()
1771 const svalue *ptr_sval = get_rvalue (ptr_tree, &my_ctxt); in check_external_function_for_access_attr() local
1772 const region *reg = deref_rvalue (ptr_sval, ptr_tree, &my_ctxt); in check_external_function_for_access_attr()
2101 const svalue *ptr_sval = get_rvalue (ptr, ctxt); in get_lvalue_1() local
2103 const region *star_ptr = deref_rvalue (ptr_sval, ptr, ctxt); in get_lvalue_1()
2282 const svalue *ptr_sval = get_rvalue (ptr, ctxt); in get_rvalue_1() local
2286 ptr_sval, offset_sval); in get_rvalue_1()
2510 region_model::deref_rvalue (const svalue *ptr_sval, tree ptr_tree, in deref_rvalue() argument
2513 gcc_assert (ptr_sval); in deref_rvalue()
[all …]
H A Dsm-malloc.cc1839 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL); in handle_free_of_non_heap() local
1840 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL); in handle_free_of_non_heap()
H A Dstore.cc2457 if (const region_svalue *ptr_sval = rhs_sval->dyn_cast_region_svalue ()) in set_value() local
2459 const region *ptr_dst = ptr_sval->get_pointee (); in set_value()
H A Dregion-model.h679 const region *deref_rvalue (const svalue *ptr_sval, tree ptr_tree,
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc4499 svalue *ptr_sval = get_svalue (ptr_sid); in on_call_post() local
4501 = ptr_sval->dyn_cast_region_svalue ()) in on_call_post()
5293 if (region_svalue *ptr_sval = sval->dyn_cast_region_svalue ()) in maybe_cast_1() local
5294 return get_or_create_ptr_svalue (dst_type, ptr_sval->get_pointee ()); in maybe_cast_1()
5856 if (region_svalue *ptr_sval = sval->dyn_cast_region_svalue ()) in get_representative_tree() local
5858 region_id rid = ptr_sval->get_pointee (); in get_representative_tree()
6797 if (region_svalue *ptr_sval = sval->dyn_cast_region_svalue ()) in poison_any_pointers_to_bad_regions() local
6799 region_id ptr_dst = ptr_sval->get_pointee (); in poison_any_pointers_to_bad_regions()
6930 svalue *ptr_sval = get_svalue (ptr_sid); in get_or_create_mem_ref() local
6931 tree ptr_type = ptr_sval->get_type (); in get_or_create_mem_ref()