Lines Matching refs:Size
47 void addSizeInfo(const Expr *Array, const Expr *Size,
66 void ObjCContainersChecker::addSizeInfo(const Expr *Array, const Expr *Size,
69 SVal SizeV = State->getSVal(Size, C.getLocationContext());
91 // Add array size information to the state.
117 // Retrieve the size.
125 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
127 if (!Size)
137 // Now, check if 'Idx in [0, Size-1]'.
139 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
140 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
164 // about its size any more -- so remove it from the map.
