Function DEV_GUARDED

src/cpp-ethereum/libethereum/BlockQueue.cpp:270–314

{
	DEV_INVARIANT_CHECK;
	DEV_GUARDED(m_verification)
	{
		collectUnknownBad_WITH_BOTH_LOCKS(_bad);
		bool moreBad = true;
		while (moreBad)
		{
			moreBad = false;
			std::vector<VerifiedBlock> badVerified = m_verified.removeIf([this](VerifiedBlock const& _b)
			{
				return m_knownBad.count(_b.verified.info.parentHash()) || m_knownBad.count(_b.verified.info.hash());
			});
			for (auto& b: badVerified)
			{
				m_knownBad.insert(b.verified.info.hash());
				m_readySet.erase(b.verified.info.hash());
				collectUnknownBad_WITH_BOTH_LOCKS(b.verified.info.hash());
				moreBad = true;
			}

			std::vector<UnverifiedBlock> badUnverified = m_unverified.removeIf([this](UnverifiedBlock const& _b)
			{
				return m_knownBad.count(_b.parentHash) || m_knownBad.count(_b.hash);
			});
			for (auto& b: badUnverified)
			{
				m_knownBad.insert(b.hash);
				m_readySet.erase(b.hash);
				collectUnknownBad_WITH_BOTH_LOCKS(b.hash);
				moreBad = true;
			}

			std::vector<VerifiedBlock> badVerifying = m_verifying.removeIf([this](VerifiedBlock const& _b)
			{
				return m_knownBad.count(_b.verified.info.parentHash()) || m_knownBad.count(_b.verified.info.sha3Uncles());
			});
			for (auto& b: badVerifying)
			{
				h256 const& h = b.blockData.size() != 0 ? b.verified.info.hash() : b.verified.info.sha3Uncles();
				m_knownBad.insert(h);
				m_readySet.erase(h);
				collectUnknownBad_WITH_BOTH_LOCKS(h);
				moreBad = true;
			}
		}
	}
}

void BlockQueue::collectUnknownBad_WITH_BOTH_LOCKS(h256 const& _bad)