Searched refs:ptr_sval (Results 1 - 7 of 7) sorted by relevance
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | region-model-impl-calls.cc | 235 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 D | region-model.cc | 679 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 D | program-state.cc | 1630 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 D | sm-malloc.cc | 1839 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL); local 1840 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL);
|
H A D | store.cc | 2457 if (const region_svalue *ptr_sval = rhs_sval->dyn_cast_region_svalue ()) 2459 const region *ptr_dst = ptr_sval->get_pointee ();
|
H A D | region-model.h | 679 const region *deref_rvalue (const svalue *ptr_sval, tree ptr_tree,
|
/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | region-model.cc | 4499 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 224 milliseconds