Searched refs:zero_sid (Results 1 – 1 of 1) sorted by relevance
4778 svalue_id zero_sid = get_or_create_constant_svalue (t_zero); in on_longjmp() local4779 tristate eq_zero = eval_condition (fake_retval_sid, EQ_EXPR, zero_sid); in on_longjmp()4790 m_constraints->add_constraint (fake_retval_sid, NE_EXPR, zero_sid); in on_longjmp()