| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| kf-lang-cp.cc | 111 const svalue *ptr_sval variable
113 cd.maybe_set_lhs (ptr_sval);
124 const svalue *ptr_sval variable
126 cd.maybe_set_lhs (ptr_sval);
166 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
167 if (const region *freed_reg = ptr_sval->maybe_get_region ())
|
| kf-analyzer.cc | 355 const svalue *ptr_sval variable
357 cd.maybe_set_lhs (ptr_sval);
|
| call-details.cc | 306 const svalue *ptr_sval = get_arg_svalue (idx); local
307 return m_model->deref_rvalue (ptr_sval, get_arg_tree (idx), m_ctxt);
|
| sm-file.cc | 546 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
547 if (const region *reg = ptr_sval->maybe_get_region ())
582 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
583 if (const region *reg = ptr_sval->maybe_get_region ())
|
| varargs.cc | 304 const svalue *ptr_sval = new_model->get_rvalue (ap, NULL); local
305 const region *reg = new_model->deref_rvalue (ptr_sval, ap, NULL);
|
| program-state.cc | 1839 const svalue *ptr_sval = mgr->get_ptr_svalue (ptr_type_node, new_reg); local
1841 ptr_sval, NULL);
1844 smap->impl_set_state (ptr_sval, UNCHECKED_STATE, NULL, ext_state);
1845 ASSERT_EQ (smap->get_state (ptr_sval, ext_state), UNCHECKED_STATE);
1896 const svalue *ptr_sval = mgr->get_ptr_svalue (ptr_type_node, new_reg); local
1898 ptr_sval, &ctxt);
1902 smap->impl_set_state (ptr_sval, TEST_STATE, NULL, ext_state);
1903 ASSERT_EQ (smap->get_state (ptr_sval, ext_state), TEST_STATE);
|
| kf.cc | 114 const svalue *ptr_sval local
116 cd.maybe_set_lhs (ptr_sval);
146 const svalue *ptr_sval = cd.get_arg_svalue (1); variable
157 const region *ptr_reg = model->deref_rvalue (ptr_sval, ptr_tree, ctxt);
183 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
191 const region *dst_region = model->deref_rvalue (ptr_sval, ptr_tree, ctxt);
218 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
228 = model->deref_rvalue (ptr_sval, ptr_tree, ctxt);
260 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
270 = model->deref_rvalue (ptr_sval, ptr_tree, ctxt)
402 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
466 const svalue *ptr_sval local
593 const svalue *ptr_sval = cd.get_arg_svalue (0); local
631 const svalue *ptr_sval local
862 const svalue *ptr_sval = cd.get_arg_svalue (0); variable
985 const svalue *ptr_sval = cd.get_arg_svalue (0); local
1427 const svalue *ptr_sval variable
1680 const svalue *ptr_sval variable
[all...] |
| sm-fd.cc | 2709 const svalue *ptr_sval = cd.get_arg_svalue (1); variable
2710 if (const region *reg = ptr_sval->maybe_get_region ())
|
| sm-malloc.cc | 2261 const svalue *ptr_sval = old_model->get_rvalue (arg, NULL); local
2262 freed_reg = old_model->deref_rvalue (ptr_sval, arg, NULL);
2571 ptr_sval to mark a newly created region as assumed non null on malloc SM. */
2625 /* Moves ptr_sval from start to assumed non-null, for use by
2629 const svalue *ptr_sval)
2648 malloc_sm.transition_ptr_sval_non_null (this, smap, ptr_sval, *ext_state);
|
| region-model.cc | 807 const svalue *ptr_sval = get_rvalue (ptr, ctxt); local
815 ptr_sval, offset_sval);
1911 const svalue *ptr_sval = get_rvalue (ptr_tree, &my_ctxt); local
1912 const region *reg = deref_rvalue (ptr_sval, ptr_tree, &my_ctxt);
1953 const svalue *ptr_sval local
1958 = read_bytes (deref_rvalue (ptr_sval, NULL_TREE, nullptr),
1975 read_bytes (deref_rvalue (ptr_sval, NULL_TREE, ctxt),
2380 const svalue *ptr_sval = get_rvalue (ptr, ctxt); local
2382 const region *star_ptr = deref_rvalue (ptr_sval, ptr, ctxt);
2561 const svalue *ptr_sval = get_rvalue (ptr, ctxt) local
6451 const svalue *ptr_sval local
8504 const svalue *ptr_sval = mgr.get_ptr_svalue (ptr_type_node, new_reg); local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| 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->maybe_get_region ()
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...] |
| 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);
|
| 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);
|
| 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);
2504 /* Get a region for referencing PTR_SVAL, creating a region if need be, and
2506 PTR_SVAL must be of pointer type
5773 const svalue *ptr_sval = mgr.get_ptr_svalue (ptr_type_node, new_reg); local
[all...] |
