Searched refs:LessThanZeroVal (Results 1 – 1 of 1) sorted by relevance
194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize() local196 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()