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