Searched refs:hasWorkRemaining (Results 1 – 6 of 6) sorted by relevance
274 void processEndWorklist(bool hasWorkRemaining) override;318 bool hasWorkRemaining() const { return Engine.hasWorkRemaining(); } in hasWorkRemaining() function
155 virtual void processEndWorklist(bool hasWorkRemaining) = 0;
138 bool hasWorkRemaining() const { return wasBlocksExhausted() || in hasWorkRemaining() function
58 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
225 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
283 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist() argument