Lines Matching refs:ClassMap
881 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
1807 S1->get<ClassMap>() == S2->get<ClassMap>(); in haveEqualConstraints()
2234 if (const EquivalenceClass *NontrivialClass = State->get<ClassMap>(Sym)) in find()
2332 ClassMapTy Classes = State->get<ClassMap>(); in mergeImpl()
2333 ClassMapTy::Factory &CMF = State->get_context<ClassMap>(); in mergeImpl()
2392 State = State->set<ClassMap>(Classes); in mergeImpl()
2550 ClassMapTy Classes = State->get<ClassMap>(); in removeMember()
2551 ClassMapTy::Factory &CMF = State->get_context<ClassMap>(); in removeMember()
2553 State = State->set<ClassMap>(Classes); in removeMember()
2814 ClassMapTy Map = State->get<ClassMap>(); in removeDeadBindings()
2816 ClassMapTy::Factory &ClassFactory = State->get_context<ClassMap>(); in removeDeadBindings()
2919 State = State->set<ClassMap>(NewMap); in removeDeadBindings()