Searched refs:sizeV (Results 1 – 1 of 1) sorted by relevance
53 SVal sizeV = state->getSVal(SE); in checkPreStmt() local55 if (sizeV.isUndef()) { in checkPreStmt()75 if (sizeV.isUnknown()) in checkPreStmt()79 DefinedSVal sizeD = cast<DefinedSVal>(sizeV); in checkPreStmt()