Searched defs:size_sval (Results 1 – 3 of 3) sorted by relevance
233 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca() local379 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_calloc() local490 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_malloc() local554 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_operator_new() local661 const svalue *size_sval = cd.get_arg_svalue (1); in impl_call_realloc() local
1105 const svalue *size_sval = sized_reg->get_byte_size_sval (m_mgr); in check_region_for_taint() local
5770 const svalue *size_sval = mgr.get_or_create_constant_svalue (size); in test_state_merging() local6380 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_malloc() local6414 const svalue *size_sval = model.get_rvalue (n_times_4, &ctxt); in test_alloca() local