Home
last modified time | relevance | path

Searched refs:size_sval (Results 1 – 9 of 9) sorted by relevance

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/
H A Dregion-model-impl-calls.cc183 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local
184 const region *new_reg = create_region_for_alloca (size_sval); in impl_call_alloca()
243 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local
247 nmemb_sval, size_sval); in impl_call_calloc()
323 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local
324 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_malloc()
409 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local
410 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_operator_new()
H A Dregion-model.cc4539 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local
4540 const region *new_reg = model0.create_region_for_heap_alloc (size_sval); in test_state_merging()
5149 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local
5150 const region *reg = model.create_region_for_heap_alloc (size_sval); in test_malloc()
5183 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local
5184 const region *reg = model.create_region_for_alloca (size_sval); in test_alloca()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/
H A Dregion-model-impl-calls.cc183 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local
184 const region *new_reg = create_region_for_alloca (size_sval); in impl_call_alloca()
243 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local
247 nmemb_sval, size_sval); in impl_call_calloc()
323 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local
324 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_malloc()
409 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local
410 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_operator_new()
H A Dregion-model.cc4539 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local
4540 const region *new_reg = model0.create_region_for_heap_alloc (size_sval); in test_state_merging()
5149 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local
5150 const region *reg = model.create_region_for_heap_alloc (size_sval); in test_malloc()
5183 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local
5184 const region *reg = model.create_region_for_alloca (size_sval); in test_alloca()
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/
H A Dregion-model-impl-calls.cc183 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local
184 const region *new_reg = create_region_for_alloca (size_sval); in impl_call_alloca()
243 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local
247 nmemb_sval, size_sval); in impl_call_calloc()
323 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local
324 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_malloc()
409 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local
410 const region *new_reg = create_region_for_heap_alloc (size_sval); in impl_call_operator_new()
H A Dregion-model.cc4539 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local
4540 const region *new_reg = model0.create_region_for_heap_alloc (size_sval); in test_state_merging()
5149 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local
5150 const region *reg = model.create_region_for_heap_alloc (size_sval); in test_malloc()
5183 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local
5184 const region *reg = model.create_region_for_alloca (size_sval); in test_alloca()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dregion-model-impl-calls.cc223 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local
224 const region *new_reg = create_region_for_alloca (size_sval, cd.get_ctxt ()); in impl_call_alloca()
300 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local
304 nmemb_sval, size_sval); in impl_call_calloc()
411 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local
413 = create_region_for_heap_alloc (size_sval, cd.get_ctxt ()); in impl_call_malloc()
475 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local
477 = create_region_for_heap_alloc (size_sval, cd.get_ctxt ()); in impl_call_operator_new()
582 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_realloc() local
584 if (compat_types_p (size_sval->get_type (), size_type_node)) in impl_call_realloc()
[all …]
H A Dsm-taint.cc926 const svalue *size_sval = sized_reg->get_byte_size_sval (m_mgr); in check_region_for_taint() local
928 state = smap->get_state (size_sval, *ext_state); in check_region_for_taint()
931 if (taint_sm.get_taint (state, size_sval->get_type (), &b)) in check_region_for_taint()
933 tree arg = get_representative_tree (size_sval); in check_region_for_taint()
H A Dregion-model.cc5195 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local
5197 = model0.create_region_for_heap_alloc (size_sval, &ctxt); in test_state_merging()
5805 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local
5806 const region *reg = model.create_region_for_heap_alloc (size_sval, &ctxt); in test_malloc()
5809 ASSERT_EQ (model.get_capacity (reg), size_sval); in test_malloc()
5839 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local
5840 const region *reg = model.create_region_for_alloca (size_sval, &ctxt); in test_alloca()
5844 ASSERT_EQ (model.get_capacity (reg), size_sval); in test_alloca()