Lines Matching refs:DM
1092 for (const auto &DM : VarMap) { in checkParamsForReturnTypestate() local
1093 if (isa<ParmVarDecl>(DM.first)) { in checkParamsForReturnTypestate()
1094 const auto *Param = cast<ParmVarDecl>(DM.first); in checkParamsForReturnTypestate()
1101 if (DM.second != ExpectedState) in checkParamsForReturnTypestate()
1104 stateToString(DM.second)); in checkParamsForReturnTypestate()
1140 for (const auto &DM : Other.VarMap) { in intersect() local
1141 LocalState = this->getState(DM.first); in intersect()
1146 if (LocalState != DM.second) in intersect()
1147 VarMap[DM.first] = CS_Unknown; in intersect()
1158 for (const auto &DM : LoopBackStates->VarMap) { in intersectAtLoopHead() local
1159 LocalState = this->getState(DM.first); in intersectAtLoopHead()
1164 if (LocalState != DM.second) { in intersectAtLoopHead()
1165 VarMap[DM.first] = CS_Unknown; in intersectAtLoopHead()
1167 DM.first->getNameAsString()); in intersectAtLoopHead()
1192 for (const auto &DM : Other->VarMap) in operator !=() local
1193 if (this->getState(DM.first) != DM.second) in operator !=()