Lines Matching refs:DM
1130 for (const auto &DM : VarMap) { in checkParamsForReturnTypestate() local
1131 if (isa<ParmVarDecl>(DM.first)) { in checkParamsForReturnTypestate()
1132 const ParmVarDecl *Param = cast<ParmVarDecl>(DM.first); in checkParamsForReturnTypestate()
1139 if (DM.second != ExpectedState) in checkParamsForReturnTypestate()
1142 stateToString(DM.second)); in checkParamsForReturnTypestate()
1178 for (const auto &DM : Other->VarMap) { in intersect() local
1179 LocalState = this->getState(DM.first); in intersect()
1184 if (LocalState != DM.second) in intersect()
1185 VarMap[DM.first] = CS_Unknown; in intersect()
1196 for (const auto &DM : LoopBackStates->VarMap) { in intersectAtLoopHead() local
1197 LocalState = this->getState(DM.first); in intersectAtLoopHead()
1202 if (LocalState != DM.second) { in intersectAtLoopHead()
1203 VarMap[DM.first] = CS_Unknown; in intersectAtLoopHead()
1205 DM.first->getNameAsString()); in intersectAtLoopHead()
1230 for (const auto &DM : Other->VarMap) in operator !=() local
1231 if (this->getState(DM.first) != DM.second) in operator !=()