Searched refs:ClassMembers (Results 1 – 1 of 1) sorted by relevance
512 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)1577 SymbolSet ClassMembers = Class.getClassMembers(State); in getConstraintMap() local1578 assert(!ClassMembers.isEmpty() && in getConstraintMap()1581 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()1699 ClassMembersTy Members = State->get<ClassMembers>(); in mergeImpl()1700 ClassMembersTy::Factory &MF = State->get_context<ClassMembers>(); in mergeImpl()1752 State = State->set<ClassMembers>(Members); in mergeImpl()1763 if (const SymbolSet *Members = State->get<ClassMembers>(*this)) in getClassMembers()1773 return State->get<ClassMembers>(*this) == nullptr; in isTrivial()1909 ClassMembersTy Members = State->get<ClassMembers>(); in isClassDataConsistent()[all …]