Searched refs:ClassMembers (Results 1 – 1 of 1) sorted by relevance
1697 ClassMembersTy Members = State->get<ClassMembers>(); in assignSymExprToConst()1765 assert(!ClassMembers.isEmpty() && in getConstraintMap()1768 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()1781 SymbolSet ClassMembers = getClassMembers(State); in dumpToStream() local1782 for (const SymbolRef &MemberSym : ClassMembers) { in dumpToStream()1894 ClassMembersTy Members = State->get<ClassMembers>(); in mergeImpl()1952 State = State->set<ClassMembers>(Members); in mergeImpl()1973 return State->get<ClassMembers>(*this) == nullptr; in isTrivial()2098 for (const SymbolRef &MemberSym : ClassMembers) { in simplify()2133 ClassMembersTy Members = State->get<ClassMembers>(); in isClassDataConsistent()[all …]