Searched refs:hasWorkRemaining (Results 1 – 6 of 6) sorted by relevance
281 void processEndWorklist(bool hasWorkRemaining) override;325 bool hasWorkRemaining() const { return Engine.hasWorkRemaining(); } in hasWorkRemaining() function
163 virtual void processEndWorklist(bool hasWorkRemaining) = 0;
141 bool hasWorkRemaining() const { return wasBlocksExhausted() || in hasWorkRemaining() function
54 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
238 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
285 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist() argument