Searched refs:ArraySizeVal (Results 1 – 1 of 1) sorted by relevance
164 SVal ArraySizeVal = svalBuilder.evalBinOpNN( in checkPreStmt() local171 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); in checkPreStmt()