Searched refs:ArraySizeMap (Results 1 – 1 of 1) sorted by relevance
59 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument76 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()119 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()