Searched refs:SizeV (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCContainersChecker.cpp72 SVal SizeV = State->getSVal(Size, C.getLocationContext()); local
74 if (SizeV.isUnknownOrUndef())
83 C.addTransition(State->set<ArraySizeMap>(ArraySym, cast<DefinedSVal>(SizeV)));

Completed in 179 milliseconds