Searched refs:SizeV (Results 1 – 1 of 1) sorted by relevance
64 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE() local66 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()76 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()