Searched refs:ClassMembers (Results 1 – 1 of 1) sorted by relevance
883 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)2205 ClassMembersTy Members = State->get<ClassMembers>(); in assignSymExprToConst()2287 SymbolSet ClassMembers = Class.getClassMembers(State); in getConstraintMap() local2288 assert(!ClassMembers.isEmpty() && in getConstraintMap()2291 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()2304 SymbolSet ClassMembers = getClassMembers(State); in dumpToStream() local2305 for (const SymbolRef &MemberSym : ClassMembers) { in dumpToStream()2418 ClassMembersTy Members = State->get<ClassMembers>(); in mergeImpl()2419 ClassMembersTy::Factory &MF = State->get_context<ClassMembers>(); in mergeImpl()2476 State = State->set<ClassMembers>(Members); in mergeImpl()[all …]