Searched refs:AVV (Results 1 – 1 of 1) sorted by relevance
134 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues() local135 if (std::find_if(AVV.begin(), AVV.end(), [&](ResultElem &Elem) { in updateAffectedValues()137 }) == AVV.end()) in updateAffectedValues()138 AVV.push_back({CI, AV.Index}); in updateAffectedValues()