Lines Matching refs:DM
1093 for (const auto &DM : VarMap) { in checkParamsForReturnTypestate() local
1094 if (isa<ParmVarDecl>(DM.first)) { in checkParamsForReturnTypestate()
1095 const auto *Param = cast<ParmVarDecl>(DM.first); in checkParamsForReturnTypestate()
1102 if (DM.second != ExpectedState) in checkParamsForReturnTypestate()
1105 stateToString(DM.second)); in checkParamsForReturnTypestate()
1141 for (const auto &DM : Other.VarMap) { in intersect() local
1142 LocalState = this->getState(DM.first); in intersect()
1147 if (LocalState != DM.second) in intersect()
1148 VarMap[DM.first] = CS_Unknown; in intersect()
1159 for (const auto &DM : LoopBackStates->VarMap) { in intersectAtLoopHead() local
1160 LocalState = this->getState(DM.first); in intersectAtLoopHead()
1165 if (LocalState != DM.second) { in intersectAtLoopHead()
1166 VarMap[DM.first] = CS_Unknown; in intersectAtLoopHead()
1168 DM.first->getNameAsString()); in intersectAtLoopHead()
1193 for (const auto &DM : Other->VarMap) in operator !=() local
1194 if (this->getState(DM.first) != DM.second) in operator !=()