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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCContainersChecker.cpp61 namespace { struct ArraySizeMap {}; } struct in namespace:__anon3902
63 template<> struct ProgramStateTrait<ArraySizeMap>
83 C.addTransition(State->set<ArraySizeMap>(ArraySym, cast<DefinedSVal>(SizeV)));
126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);

Completed in 44 milliseconds