Searched refs:ClassMembers (Results 1 – 1 of 1) sorted by relevance
2190 ClassMembersTy Members = State->get<ClassMembers>(); in assignSymExprToConst()2273 assert(!ClassMembers.isEmpty() && in getConstraintMap()2276 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()2289 SymbolSet ClassMembers = getClassMembers(State); in dumpToStream() local2290 for (const SymbolRef &MemberSym : ClassMembers) { in dumpToStream()2402 ClassMembersTy Members = State->get<ClassMembers>(); in mergeImpl()2460 State = State->set<ClassMembers>(Members); in mergeImpl()2481 return State->get<ClassMembers>(*this) == nullptr; in isTrivial()2614 State = State->set<ClassMembers>(ClassMembersMap); in removeMember()2660 for (const SymbolRef &MemberSym : ClassMembers) { in simplify()[all …]