Searched refs:hasWorkRemaining (Results 1 – 7 of 7) sorted by relevance
262 void processEndWorklist(bool hasWorkRemaining);305 bool hasWorkRemaining() const { return Engine.hasWorkRemaining(); } in hasWorkRemaining() function
145 virtual void processEndWorklist(bool hasWorkRemaining) = 0;
143 bool hasWorkRemaining() const { return wasBlocksExhausted() || in hasWorkRemaining() function
58 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
372 if (Eng.hasWorkRemaining()) { in checkEndAnalysis()
224 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
272 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist() argument