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()