Searched refs:OneVal (Results 1 – 1 of 1) sorted by relevance
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind() local122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal, in checkBind()