Searched refs:str_sval (Results 1 – 3 of 3) sorted by relevance
823 const svalue *str_sval = cd.get_arg_svalue (0); in impl_call_strchr() local825 = model->deref_rvalue (str_sval, cd.get_arg_tree (0), in impl_call_strchr()837 str_sval, offset); in impl_call_strchr()
1657 const svalue *str_sval = model->get_rvalue (string_cst_ptr, NULL); in test_program_state_2() local1658 model->set_value (p_reg, str_sval, NULL); in test_program_state_2()
4755 const svalue *str_sval = m.get_rvalue (string_cst, NULL); in test_get_representative_tree() local4756 tree rep = m.get_representative_tree (str_sval); in test_get_representative_tree()4764 const svalue *str_sval = m.get_rvalue (string_cst_ptr, NULL); in test_get_representative_tree() local4765 tree rep = m.get_representative_tree (str_sval); in test_get_representative_tree()