/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
H A D | region-model-impl-calls.cc | 183 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 D | region-model.cc | 4539 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 D | region-model-impl-calls.cc | 183 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 D | region-model.cc | 4539 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 D | region-model-impl-calls.cc | 183 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 D | region-model.cc | 4539 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 D | region-model-impl-calls.cc | 223 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 D | sm-taint.cc | 926 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 D | region-model.cc | 5195 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()
|