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

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

Completed in 289 milliseconds