Searched refs:AssumeHandles (Results 1 – 2 of 2) sorted by relevance
180 erase_value(AssumeHandles, CI); in unregisterAssumption()214 assert(AssumeHandles.empty() && "Already have assumes when scanning!"); in scanFunction()221 AssumeHandles.push_back({&I, ExprResultIdx}); in scanFunction()227 for (auto &A : AssumeHandles) in scanFunction()237 AssumeHandles.push_back({CI, ExprResultIdx}); in registerAssumption()249 for (auto &VH : AssumeHandles) { in registerAssumption()
67 SmallVector<ResultElem, 4> AssumeHandles; variable137 AssumeHandles.clear(); in clear()153 return AssumeHandles; in assumptions()