Searched refs:LessThanZeroVal (Results 1 – 1 of 1) sorted by relevance
140 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty); in checkPreStmt() local142 LessThanZeroVal.getAs<DefinedSVal>()) { in checkPreStmt()