Searched refs:EleSizeVal (Results 1 – 1 of 1) sorted by relevance
139 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); in checkPreStmt() local143 state, BO_Mul, ArrayLength, EleSizeVal.castAs<NonLoc>(), SizeTy); in checkPreStmt()