Searched refs:ArraySym (Results 1 – 1 of 1) sorted by relevance
37 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in getArraySym() local38 return ArraySym; in getArraySym()70 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE() local71 if (!ArraySym) in REGISTER_MAP_WITH_PROGRAMSTATE()75 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()114 SymbolRef ArraySym = getArraySym(ArrayExpr, C); in checkPreStmt() local115 if (!ArraySym) in checkPreStmt()118 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()