Searched refs:forcedconstant (Results 1 – 3 of 3) sorted by relevance
90 forcedconstant, enumerator111 return getLatticeValue() == constant || getLatticeValue() == forcedconstant; in isConstant()142 assert(getLatticeValue() == forcedconstant && in markConstant()173 Val.setInt(forcedconstant); in markForcedConstant()
72 forcedconstant, enumerator92 return getLatticeValue() == constant || getLatticeValue() == forcedconstant; in isConstant()122 assert(getLatticeValue() == forcedconstant && in markConstant()145 Val.setInt(forcedconstant); in markForcedConstant()
70 forcedconstant, enumerator90 return getLatticeValue() == constant || getLatticeValue() == forcedconstant; in isConstant()120 assert(getLatticeValue() == forcedconstant && in markConstant()143 Val.setInt(forcedconstant); in markForcedConstant()