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