Lines Matching refs:AVI
49 auto AVI = AffectedValues.find_as(V);
50 if (AVI != AffectedValues.end())
51 return AVI->second;
140 auto AVI = AffectedValues.find_as(AV.Assume);
141 if (AVI == AffectedValues.end())
145 for (ResultElem &Elem : AVI->second) {
156 AffectedValues.erase(AVI);
165 auto AVI = AC->AffectedValues.find(getValPtr());
166 if (AVI != AC->AffectedValues.end())
167 AC->AffectedValues.erase(AVI);
173 auto AVI = AffectedValues.find(OV);
174 if (AVI == AffectedValues.end())
177 for (auto &A : AVI->second)