Searched refs:blocksExhausted (Results 1 – 2 of 2) sorted by relevance
90 BlocksExhausted blocksExhausted; variable164 bool wasBlocksExhausted() const { return !blocksExhausted.empty(); } in wasBlocksExhausted()179 return blocksExhausted.begin(); in blocks_exhausted_begin()183 return blocksExhausted.end(); in blocks_exhausted_end()
2536 Engine.blocksExhausted.push_back(std::make_pair(L, Sink)); in processCFGBlockEntrance()