Searched refs:blocksExhausted (Results 1 – 2 of 2) sorted by relevance
77 BlocksExhausted blocksExhausted; variable140 bool wasBlocksExhausted() const { return !blocksExhausted.empty(); } in wasBlocksExhausted()154 return blocksExhausted.begin(); in blocks_exhausted_begin()157 return blocksExhausted.end(); in blocks_exhausted_end()
1467 Engine.blocksExhausted.push_back(std::make_pair(L, Sink)); in processCFGBlockEntrance()