Searched defs:str_sval (Results 1 – 3 of 3) sorted by relevance
823 const svalue *str_sval = cd.get_arg_svalue (0); in impl_call_strchr() local
1657 const svalue *str_sval = model->get_rvalue (string_cst_ptr, NULL); in test_program_state_2() local
4755 const svalue *str_sval = m.get_rvalue (string_cst, NULL); in test_get_representative_tree() local4764 const svalue *str_sval = m.get_rvalue (string_cst_ptr, NULL); in test_get_representative_tree() local