Searched defs:cst_sid (Results 1 – 2 of 2) sorted by relevance
839 svalue_id cst_sid = get_sid_for_constant (constant); in add_constraint_internal() local871 svalue_id cst_sid = get_sid_for_constant (constant); in add_constraint_internal() local
4236 svalue_id cst_sid = get_rvalue (rhs1, ctxt); in on_assignment() local4974 svalue_id cst_sid = get_or_create_constant_svalue (expr); in get_lvalue_1() local5165 svalue_id cst_sid = add_svalue (new constant_svalue (cst_expr)); in get_or_create_constant_svalue() local