Lines Matching refs:ClassMembers
882 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)
2123 ClassMembersTy Members = State->get<ClassMembers>(); in assignSymExprToConst()
2205 SymbolSet ClassMembers = Class.getClassMembers(State); in getConstraintMap() local
2206 assert(!ClassMembers.isEmpty() && in getConstraintMap()
2209 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()
2222 SymbolSet ClassMembers = getClassMembers(State); in dumpToStream() local
2223 for (const SymbolRef &MemberSym : ClassMembers) { in dumpToStream()
2335 ClassMembersTy Members = State->get<ClassMembers>(); in mergeImpl()
2336 ClassMembersTy::Factory &MF = State->get_context<ClassMembers>(); in mergeImpl()
2393 State = State->set<ClassMembers>(Members); in mergeImpl()
2404 if (const SymbolSet *Members = State->get<ClassMembers>(*this)) in getClassMembers()
2414 return State->get<ClassMembers>(*this) == nullptr; in isTrivial()
2538 ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>(); in removeMember()
2545 ClassMembersTy ClassMembersMap = State->get<ClassMembers>(); in removeMember()
2547 State = State->set<ClassMembers>(ClassMembersMap); in removeMember()
2593 SymbolSet ClassMembers = Class.getClassMembers(State); in simplify() local
2594 for (const SymbolRef &MemberSym : ClassMembers) { in simplify()
2677 ClassMembersTy Members = State->get<ClassMembers>(); in isClassDataConsistent()
2804 ClassMembersTy ClassMembersMap = State->get<ClassMembers>(); in removeDeadBindings()
2806 ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>(); in removeDeadBindings()
2922 State = State->set<ClassMembers>(NewClassMembersMap); in removeDeadBindings()
3206 SymbolSet ClassMembers = P.first.getClassMembers(State); in printConstraints() local
3207 for (const SymbolRef &ClassMember : ClassMembers) { in printConstraints()
3238 SymbolSet ClassMembers = Class.getClassMembers(State); in toString() local
3239 llvm::SmallVector<SymbolRef, 8> ClassMembersSorted(ClassMembers.begin(), in toString()
3240 ClassMembers.end()); in toString()
3267 ClassMembersTy Members = State->get<ClassMembers>(); in printEquivalenceClasses()