Searched defs:size_sval (Results 1 – 9 of 9) sorted by relevance
183 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local243 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local323 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local409 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local
4539 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local5149 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local5183 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local
223 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local300 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local411 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local475 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local582 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_realloc() local
926 const svalue *size_sval = sized_reg->get_byte_size_sval (m_mgr); in check_region_for_taint() local
5195 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local5805 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local5839 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local